| facebook/pyre-check |
6,606 |
|
23 |
31 |
about 2 years ago |
77 |
October 19, 2023 |
146 |
mit |
OCaml |
| Performant type-checking for python. |
| vimeo/psalm |
5,385 |
|
964 |
2,792 |
about 2 years ago |
408 |
November 22, 2023 |
1,640 |
mit |
PHP |
| A static analysis tool for finding errors in PHP applications |
| JonathanSalwan/Triton |
3,157 |
|
0 |
1 |
over 2 years ago |
3 |
December 23, 2022 |
16 |
apache-2.0 |
C++ |
| Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. |
| find-sec-bugs/find-sec-bugs |
2,160 |
|
36 |
68 |
over 2 years ago |
21 |
April 06, 2022 |
98 |
lgpl-3.0 |
Java |
| The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects) |
| python-security/pyt |
2,005 |
|
11 |
1 |
over 5 years ago |
15 |
November 01, 2018 |
20 |
gpl-2.0 |
Python |
| A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications |
| BinaryAnalysisPlatform/bap |
1,926 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
OCaml |
| Binary Analysis Platform |
| pascal-lab/Tai-e |
1,143 |
|
0 |
0 |
about 2 years ago |
1 |
September 23, 2023 |
8 |
lgpl-3.0 |
Java |
| An easy-to-learn/use static analysis framework for Java |
| JonathanSalwan/Tigress_protection |
880 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
|
LLVM |
| 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. |
| AngoraFuzzer/Angora |
867 |
|
0 |
0 |
over 3 years ago |
0 |
|
39 |
apache-2.0 |
C++ |
| Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution. |
| decaf-project/DECAF |
756 |
|
0 |
0 |
almost 3 years ago |
0 |
|
27 |
gpl-3.0 |
C |
| 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 is now an extension to DECAF. |
