sqlab-sustech / APER-toolLinks
☆10Updated 4 years ago
Alternatives and similar repositories for APER-tool
Users that are interested in APER-tool are comparing it to the libraries listed below
Sorting:
- Time-travel Testing☆106Updated 3 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆43Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆50Updated 4 years ago
- ☆23Updated 2 years ago
- ☆68Updated 4 years ago
- ☆22Updated 8 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Updated 3 years ago
- ☆23Updated 3 years ago
- ☆106Updated 2 years ago
- Inter-component communication Taint Analysis for Android☆94Updated 9 years ago
- ☆38Updated 2 years ago
- ☆54Updated 3 years ago
- ☆53Updated 5 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆42Updated 5 years ago
- ☆74Updated 2 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆102Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆146Updated 2 weeks ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Updated 2 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 5 years ago
- Binary Instrumentation of Android Apps☆69Updated 9 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Updated 7 years ago
- COVA - A static analysis tool to compute path conditions☆40Updated 6 months ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 3 years ago
- AUSERA: Automated Security Vulnerability Detection for Android Apps☆32Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆100Updated 2 months ago
- Detect missing check bugs in OS kernels☆113Updated 2 years ago
- Flow analysis using Soot☆52Updated 5 years ago
- A use-after-free checker based on SVF.☆20Updated 8 years ago
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆38Updated last year
- ☆22Updated 3 years ago