arguslab / NativeFlowBench
Benchmark apps for static analyzing native world of Android applications.
☆11Updated 5 years ago
Related projects: ⓘ
- aurora-d☆20Updated 2 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated last year
- Symbolic Execution of Android Framework☆14Updated 7 years ago
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆35Updated last year
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆45Updated 3 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆63Updated 2 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆20Updated 3 years ago
- The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"☆28Updated 5 years ago
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- PITracker: Detecting Android PendingIntent Vulnerabilities through Intent Flow Analysis☆12Updated 2 years ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆12Updated 2 years ago
- ☆21Updated 10 months ago
- Sensitive and Collaborative Fuzzing with AFL☆26Updated 5 years ago
- ☆11Updated 3 years ago
- DiAne is a smart fuzzer for IoT devices☆38Updated 5 months ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆34Updated 2 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- ☆11Updated 2 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 5 years ago
- The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.☆63Updated 5 years ago
- A Coverage-Based fuzzing tools☆22Updated 3 years ago
- ☆44Updated 4 years ago
- MS-Fuzz data☆14Updated last year
- UAF Fuzzing Benchmark☆54Updated 3 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆11Updated 3 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆57Updated last year
- A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to…☆47Updated 4 years ago
- ☆19Updated this week