Secure-Platforms-Lab-W-M / MASC-Artifact
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for MASC-Artifact
- DiAne is a smart fuzzer for IoT devices☆39Updated 7 months ago
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- Static Analysis Framework for Android Hybrid Applications☆24Updated 4 years ago
- ☆68Updated 3 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 4 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆59Updated last year
- ☆44Updated 2 years ago
- Time-travel Testing☆106Updated 2 years ago
- Benchmark apps for static analyzing native world of Android applications.☆12Updated 6 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated last year
- This is a deep learning dataset for cross-version binary code similarity detection.☆25Updated 6 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆84Updated 6 months ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆34Updated 3 years 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
- ☆90Updated 3 weeks ago
- ☆70Updated 3 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- Project FlowCog (2017)☆26Updated 6 years ago
- Source-binary patch presence test system.☆82Updated 2 years ago
- An Automated Vulnerability Detection System☆57Updated 8 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- ☆53Updated 4 years ago
- Unofficial implementation of asm2vec using pytorch ( with GPU acceleration )☆75Updated last year
- A regression greybox fuzzer aflchurn☆64Updated 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 4 years ago
- ☆33Updated 2 years ago
- Recent Paper About Bug Detection☆30Updated 5 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- ☆50Updated 6 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago