sqlab-sustech / APER-toolLinks
☆10Updated 3 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:
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- Time-travel Testing☆106Updated 3 years ago
- ☆24Updated last year
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆50Updated 4 years ago
- ☆68Updated 3 years ago
- ☆22Updated 2 years ago
- ☆22Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- ☆74Updated 2 years ago
- ☆16Updated this week
- Mutation-guided mutation-based fuzz testing☆46Updated last year
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 4 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆80Updated last month
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- DiAne is a smart fuzzer for IoT devices☆40Updated last year
- 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
- COVA - A static analysis tool to compute path conditions☆36Updated this week
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- Flow analysis using Soot☆51Updated 5 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆31Updated 5 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…☆98Updated last year
- Detect missing check bugs in OS kernels☆110Updated last year
- ☆50Updated 4 years ago
- ☆22Updated 8 years ago
- ☆14Updated 7 years ago
- ☆25Updated 3 years ago
- ☆41Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆95Updated last year
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆65Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆32Updated 2 years ago