DroidTest / TimeMachine
Time-travel Testing
☆105Updated 2 years ago
Alternatives and similar repositories for TimeMachine:
Users that are interested in TimeMachine are comparing it to the libraries listed below
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆22Updated 8 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- Fair Android Explorer☆21Updated last year
- ☆37Updated last year
- Automatic Input Generation System for Android Apps☆36Updated 5 years ago
- ☆104Updated last year
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆10Updated 3 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- Source-binary patch presence test system.☆83Updated 2 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- fuzzing + concolic = fuzzolic :)☆120Updated 10 months ago
- We hinder fuzzing☆67Updated 3 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆176Updated 11 months ago
- Inter-component communication Taint Analysis for Android☆92Updated 9 years ago
- ☆74Updated 3 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆42Updated 2 months ago
- Flow analysis using Soot☆51Updated 4 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆87Updated 10 months ago
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- ☆23Updated last year
- ☆90Updated 3 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- Run fuzzing experiments in Docker☆100Updated 4 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- List the real world programs evaluated in fuzzing papers.☆57Updated 6 years ago
- UAF Fuzzing Benchmark☆57Updated 4 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- IC3: Inter-Component Communication Analysis in Android☆37Updated 5 years ago