ms1995 / ella-customized
A customized version of Ella used in the paper `An Empirical Study of Android Test Generation Tools in Industrial Cases`.
☆10Updated 4 years ago
Alternatives and similar repositories for ella-customized:
Users that are interested in ella-customized are comparing it to the libraries listed below
- Fair Android Explorer☆20Updated last year
- ☆20Updated last year
- Time-travel Testing☆106Updated 2 years ago
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- Automatic Input Generation System for Android Apps☆36Updated 5 years ago
- ☆37Updated last year
- 使用Soot进行android应用静态分析☆67Updated 6 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆54Updated 4 years ago
- Project FlowCog (2017)☆27Updated 6 years ago
- Framework for testing the reachability of native functions in Android applications.☆10Updated last year
- This hosts the original version of the PScout Android permission mapping tool☆20Updated 6 years ago
- ☆22Updated 8 years ago
- PScout Android permission mappings☆24Updated 2 years ago
- Inter-component communication Taint Analysis for Android☆92Updated 8 years ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆144Updated last year
- Flow analysis using Soot☆51Updated 4 years ago
- Black-box tool that uses Deep Reinforcement Learning to test and explore Android applications☆72Updated last year
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆36Updated 2 months ago
- The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.☆64Updated 5 years ago
- ☆23Updated last year
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆18Updated 7 years ago
- ☆16Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆50Updated 2 years ago
- ☆11Updated last year
- IC3: Inter-Component Communication Analysis in Android☆36Updated 5 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆50Updated 5 years ago
- A dynamic analysis platform for Android☆42Updated 5 years ago