Practical-Formal-Methods / DeepSearch
Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
☆12Updated 4 years ago
Alternatives and similar repositories for DeepSearch:
Users that are interested in DeepSearch are comparing it to the libraries listed below
- ☆11Updated 4 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 3 years ago
- ☆39Updated last year
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 11 months ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆32Updated 6 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆19Updated 3 years ago
- Human-In-The-Loop Automatic Program Repair☆19Updated 5 years ago
- ☆20Updated 6 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 weeks ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- ☆28Updated 3 weeks 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
- ☆10Updated 4 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- Frama-C plugins for deadlock and data race detection☆12Updated 4 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
- ☆11Updated 3 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 8 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆55Updated last year
- ☆11Updated 3 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- Slicing tool for c++ programs using clang AST.☆17Updated 4 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 3 months ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- Recent Paper About Bug Detection☆31Updated 5 years ago