arguslab / Argus-SAF-playgroundLinks
Learning playground for Argus-SAF
☆10Updated 6 years ago
Alternatives and similar repositories for Argus-SAF-playground
Users that are interested in Argus-SAF-playground are comparing it to the libraries listed below
Sorting:
- ☆10Updated 3 years ago
- DroidSafe Android Static Analysis Source Repository☆97Updated 8 years ago
- ☆22Updated 8 years ago
- Argus static analysis framework☆194Updated 2 years ago
- Binary Instrumentation of Android Apps☆69Updated 9 years ago
- Inter-component communication Taint Analysis for Android☆92Updated 9 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- Time-travel Testing☆104Updated 3 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Updated 9 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Updated 7 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- This repository contains several examples of logic bomb.☆112Updated last year
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆287Updated 3 months ago
- Seeding fuzzers with symbolic execution☆201Updated 8 years ago
- Flow analysis using Soot☆51Updated 5 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Updated 3 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Updated 7 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 3 years ago
- ☆17Updated last month
- ☆23Updated 2 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- source code for savior fuzzer☆127Updated 5 years ago
- An external project example using SVF as a library☆23Updated 2 months ago
- ☆54Updated 7 years ago
- ☆20Updated 6 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43Updated 5 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆137Updated 3 years ago