DroidTest / TimeMachine
Time-travel Testing
☆106Updated 2 years ago
Related projects: ⓘ
- Automatic Input Generation System for Android Apps☆36Updated 4 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆36Updated 7 months ago
- ☆35Updated 8 months ago
- ☆21Updated 7 years ago
- ☆45Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆45Updated 3 years ago
- Fair Android Explorer☆20Updated last year
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated last year
- LibD: Scalable and Precise Third-party Library Detection in Android Markets☆68Updated 5 years ago
- ACVTool (Android Code Coverage Tool) is a tool to measure fine-grained code coverage of 3rd-party Android apps.☆86Updated 3 months ago
- Python bindings for Shimple/Jimple IR from Soot.☆41Updated 8 months ago
- Static Analysis Framework for Android Hybrid Applications☆24Updated 3 years ago
- IC3: Inter-Component Communication Analysis in Android☆36Updated 4 years ago
- Project FlowCog (2017)☆26Updated 6 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆57Updated last year
- Flow analysis using Soot☆51Updated 4 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆13Updated 2 years ago
- ☆29Updated last year
- A database of crash (exception) bugs for Android apps☆20Updated 8 months ago
- 使用Soot进行android应用静态分析☆66Updated 6 years ago
- ☆10Updated 2 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆64Updated 6 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 5 years ago
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆40Updated 4 years ago
- DroidMate-2: A Platform for Android Test Generation☆28Updated 3 years ago
- EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…☆17Updated 5 years ago
- Android Benchmark Reproduction Framework☆12Updated 2 years ago
- Inter-component communication Taint Analysis for Android☆92Updated 8 years ago