22 results found Sort:

437
6.9k
mit
112
Performant type-checking for python.
Created 2017-11-10
16,994 commits to main branch, last one 12 hours ago
660
5.6k
mit
62
A static analysis tool for finding errors in PHP applications
Created 2016-11-21
14,396 commits to 5.x branch, last one 25 days ago
539
3.5k
apache-2.0
137
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Created 2015-01-25
4,256 commits to master branch, last one 20 days ago
474
2.3k
lgpl-3.0
89
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Created 2012-05-17
1,367 commits to master branch, last one 2 months ago
238
2.2k
gpl-2.0
68
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Created 2016-10-26
1,576 commits to master branch, last one 4 years ago
163
1.7k
unknown
77
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Created 2017-05-29
4,581 commits to master branch, last one about a month ago
175
1.4k
lgpl-3.0
30
An easy-to-learn/use static analysis framework for Java
Created 2022-07-22
2,127 commits to master branch, last one about a month ago
167
924
apache-2.0
41
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Created 2018-03-19
165 commits to master branch, last one 2 years ago
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
Created 2016-10-28
39 commits to master branch, last one 11 months ago
168
803
gpl-3.0
61
DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the DroidScope dynamic Android malware analysis platform. DroidScope...
Created 2014-12-17
161 commits to master branch, last one 3 years ago
46
531
apache-2.0
39
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Created 2019-10-31
2,319 commits to master branch, last one 3 months ago
31
487
gpl-3.0
9
Python source code auditing and static analysis on a large scale
Created 2020-09-23
233 commits to dev branch, last one about a year ago
18
327
gpl-3.0
7
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Created 2022-03-23
73 commits to main branch, last one 10 months ago
42
249
gpl-2.0
22
A taint-tracking plugin for the Valgrind memory checking tool
Created 2012-04-28
355 commits to master branch, last one about a year ago
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
Created 2019-01-07
80 commits to master branch, last one 2 years ago
Corax for Java: A general static analysis framework for java code checking.
Created 2023-08-29
62 commits to main branch, last one about a month ago
Teaching and Learning Software Analysis via SVF
Created 2020-12-30
252 commits to main branch, last one 16 days ago
12
159
apache-2.0
3
A structure-aware grey box fuzzer based on modeling the input processing logic.
Created 2023-09-06
22 commits to main branch, last one 27 days ago
10
73
agpl-3.0
2
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Created 2023-05-15
4 commits to main branch, last one 7 months ago
14
49
upl-1.0
11
Performant taint analysis for Node.js
Created 2020-08-11
606 commits to main branch, last one 3 months ago
Taint Analysis Engine and Trace Exploration : Overcome Obfuscation
Created 2023-09-18
121 commits to main branch, last one a day ago