sqlab-sustech / APER-tool
☆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
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆22Updated 2 years ago
- ☆24Updated last year
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆50Updated 3 years ago
- ☆74Updated 2 years ago
- Fair Android Explorer☆21Updated 2 years ago
- ☆18Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆53Updated 2 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆36Updated 7 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆74Updated 2 years ago
- ☆32Updated 2 months ago
- An external project example using SVF as a library☆22Updated last month
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- ☆39Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆93Updated last year
- ☆16Updated 2 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated last year
- ☆37Updated last year
- 20 benchmark programs☆47Updated 4 years ago
- ☆41Updated 5 months ago
- Recent Paper About Bug Detection☆31Updated 5 years ago
- Time-travel Testing☆106Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 9 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆93Updated last year
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆116Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆68Updated last year