CrosshairAn analysis tool for Python that blurs the line between testing and type systems.
Stars: ✭ 586 (+2690.48%)
Mutual labels: static-analysis, symbolic-execution, fuzzing
BapBinary Analysis Platform
Stars: ✭ 1,385 (+6495.24%)
Mutual labels: static-analysis, symbolic-execution, binary-analysis
crete-devCRETE under development
Stars: ✭ 56 (+166.67%)
Mutual labels: symbolic-execution, binary-analysis, concolic-execution
ApisanAPISan: Sanitizing API Usages through Semantic Cross-Checking
Stars: ✭ 46 (+119.05%)
Mutual labels: static-analysis, symbolic-execution
AndromedaAndromeda - Interactive Reverse Engineering Tool for Android Applications
Stars: ✭ 627 (+2885.71%)
Mutual labels: static-analysis, binary-analysis
Befa LibraryHigh-level library for executable binary file analysis
Stars: ✭ 12 (-42.86%)
Mutual labels: static-analysis, binary-analysis
freki🐺 Malware analysis platform
Stars: ✭ 327 (+1457.14%)
Mutual labels: static-analysis, binary-analysis
UTBotCppTool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Stars: ✭ 59 (+180.95%)
Mutual labels: static-analysis, symbolic-execution
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (+609.52%)
Mutual labels: static-analysis, symbolic-execution
binary-auditing-solutionsLearn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.
Stars: ✭ 61 (+190.48%)
Mutual labels: static-analysis, binary-analysis
SixtyPicalA 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (+19.05%)
Mutual labels: static-analysis, symbolic-execution
BEFA-LibraryHigh-level library for executable binary file analysis
Stars: ✭ 14 (-33.33%)
Mutual labels: static-analysis, binary-analysis
sleighcraftsleigh craft!
Stars: ✭ 221 (+952.38%)
Mutual labels: static-analysis, binary-analysis
BineeBinee: binary emulation environment
Stars: ✭ 408 (+1842.86%)
Mutual labels: static-analysis, binary-analysis
Freki🐺 Malware analysis platform
Stars: ✭ 285 (+1257.14%)
Mutual labels: static-analysis, binary-analysis
Detect It EasyProgram for determining types of files for Windows, Linux and MacOS.
Stars: ✭ 2,982 (+14100%)
Mutual labels: static-analysis, binary-analysis
KleeflSeeding fuzzers with symbolic execution
Stars: ✭ 172 (+719.05%)
Mutual labels: symbolic-execution, fuzzing
ManticoreSymbolic execution tool
Stars: ✭ 2,599 (+12276.19%)
Mutual labels: symbolic-execution, binary-analysis
KirenenkoSuper Fast Concolic Execution Engine based on Source Code Taint Tracing
Stars: ✭ 84 (+300%)
Mutual labels: symbolic-execution, fuzzing
binary-decompilationExtracting high level semantic information from binary code
Stars: ✭ 55 (+161.9%)
Mutual labels: symbolic-execution, binary-analysis
