rschumi0 / ExAIS
Prolog specification of TensorFlow layers
☆14Updated last year
Related projects: ⓘ
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆15Updated last year
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆13Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆27Updated last year
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 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
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- Collect simple coverage information in memory.☆11Updated last year
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆20Updated last year
- A Computational Graph Generator for AI Compiler Fuzzing☆13Updated last year
- 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
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 2 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- ☆25Updated 3 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆45Updated 3 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆13Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- A Static Differential Analysis Tool of Network Protocol Parsers☆17Updated 6 months ago
- ☆38Updated last year
- ☆25Updated 3 months ago
- ☆25Updated 2 weeks ago
- ☆10Updated last year
- Program Vulnerability Repair via Inductive Inference☆18Updated 8 months ago
- ☆96Updated this week
- Code for tracelet-level symbolic execution☆16Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆72Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆82Updated 3 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆39Updated last week