typetools / sparta
Static Program Analysis for Reliable Trusted Apps
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for sparta
- Static Analysis Framework for Android Hybrid Applications☆24Updated 4 years ago
- Symbolic/concolic execution of Android apps☆56Updated 8 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Updated 4 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Updated 10 years ago
- Goal-directed static analysis tool for JVM languages.☆57Updated 8 years ago
- static taint analysis of hybrid Android Apps (Java + HTML)☆13Updated 2 years ago
- Auditing behaviour of Android Apps☆38Updated 7 years ago
- ☆23Updated 7 years ago
- The Static Android Analysis Framework.☆36Updated 8 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 8 years ago
- Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…☆68Updated 5 years ago
- Dynamic android vulnerability scanner using OpenNebula and Android-x86 emulators.☆42Updated 7 years ago
- A Static Analysis Tool For Android Apps☆18Updated last month
- ☆62Updated 3 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆35Updated 4 years ago
- Java* Fuzzer for Android*☆12Updated 8 years ago
- Control Flow Graph Scanning for Android☆59Updated 9 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆24Updated 12 years ago
- A protocol reverse engineer tool written in java.☆29Updated 8 years ago
- Automated GUI testing utility developed for Marvin-dynamic-analyzer.☆16Updated 8 years ago
- A symbolic execution engine for Python☆45Updated 11 years ago
- Security Certifier for anDroid☆59Updated 11 years ago
- DroidSafe Android Static Analysis Source Repository☆94Updated 7 years ago
- DroidMate is an automated GUI execution generator for Android apps.☆38Updated 4 years ago
- DOM fuzzers - not maintained anymore☆15Updated 5 years ago