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
17,017 commits to main branch, last one 19 hours ago
A static analysis tool for finding errors in PHP applications
Created
2016-11-21
14,400 commits to 5.x branch, last one 10 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 about a month 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 3 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 2 months 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 about a year 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 about a month 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 about a month ago
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Created
2023-05-15
4 commits to main branch, last one 8 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 15 days ago