typetools / sparta
Static Program Analysis for Reliable Trusted Apps
☆22Updated 6 years ago
Alternatives and similar repositories for sparta:
Users that are interested in sparta are comparing it to the libraries listed below
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆50Updated 4 years ago
- Symbolic/concolic execution of Android apps☆56Updated 8 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Static Analysis Framework for Android Hybrid Applications☆24Updated 4 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- ☆15Updated 4 years ago
- Auditing behaviour of Android Apps☆38Updated 7 years ago
- DroidSafe Android Static Analysis Source Repository☆94Updated 7 years ago
- The Static Android Analysis Framework.☆37Updated 9 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- Dynamic android vulnerability scanner using OpenNebula and Android-x86 emulators.☆42Updated 7 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Updated 10 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Source code for the beta release of CobraDroid☆14Updated 4 years ago
- static taint analysis of hybrid Android Apps (Java + HTML)☆13Updated 3 years ago
- StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications☆23Updated last year
- Goal-directed static analysis tool for JVM languages.☆57Updated 8 years ago
- ☆22Updated 7 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…☆68Updated 6 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- Automated GUI testing utility developed for Marvin-dynamic-analyzer.☆16Updated 8 years ago
- ☆63Updated 3 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- Broadcast Intent FUZzing Framework for Android☆80Updated 9 years ago
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 10 years ago
- Java fuzz testing library for implementations of ABNF rules such as IETF RFCs☆33Updated 3 months ago
- An index of archived code and papers. Open an issue to request an addition.☆23Updated 5 years ago