22 results found Sort:
- Filter by Primary Language:
- C++ (6)
- Python (4)
- OCaml (3)
- Java (2)
- C (2)
- Shell (1)
- JavaScript (1)
- Kotlin (1)
- LLVM (1)
- PHP (1)
- +
Performant type-checking for python.
Created
2017-11-10
16,994 commits to main branch, last one 12 hours ago
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
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
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
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
Binary Analysis Platform
Created
2014-10-30
1,275 commits to master branch, last one 3 months ago
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
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
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
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
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
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
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
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
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
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
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