Practical-Formal-Methods / DeepSearch
Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
☆12Updated 4 years ago
Related projects: ⓘ
- Public BanditFuzz Repo☆12Updated 3 years ago
- ☆10Updated 3 years ago
- ☆38Updated last year
- A model-based API Fuzzer for SMT Solvers.☆11Updated 3 weeks ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 2 years ago
- A practical fuzzing tool for SMT solvers☆11Updated last month
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆18Updated last year
- Static Analyzer and Verifier☆44Updated 9 months ago
- Map2Check: Finding Software Vulnerabilities☆27Updated 3 years ago
- ☆20Updated 5 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 2 weeks ago
- ☆19Updated 3 years ago
- ☆15Updated 3 months ago
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆44Updated 5 months ago
- Static analysis framework for EVM bytecode☆28Updated 4 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆50Updated 5 months ago
- ☆13Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- Program Vulnerability Repair via Inductive Inference☆18Updated 9 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 2 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆12Updated 2 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆17Updated 6 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 4 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated last year
- Frama-C plugin for deadlock detection☆10Updated last year
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- ☆10Updated last year
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆20Updated last year
- ☆21Updated 7 years ago