static-analysis-engineering / CodeHawk-CLinks
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
☆29Updated 4 months ago
Alternatives and similar repositories for CodeHawk-C
Users that are interested in CodeHawk-C are comparing it to the libraries listed below
Sorting:
- Static Analyzer and Verifier☆48Updated 11 months ago
- Program analysis tools developed at Draper on the CBAT project.☆104Updated 2 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated last week
- ☆17Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 7 months ago
- SMT solver for the theory of floating-point arithmetic☆26Updated 7 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- ☆52Updated 9 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Map2Check: Finding Software Vulnerabilities☆30Updated 4 years ago
- DAI: Demanded Abstract Interpretation☆16Updated last year
- Sys, but no longer in Haskell☆18Updated 3 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Updated 2 years ago
- Manipulate C-family ASTs with Clang☆68Updated 6 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Updated last year
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- Generation of mutant programs☆20Updated 6 years ago
- CClyzer port to souffle lang☆18Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆51Updated 4 months ago
- Open source binary analysis tools.☆230Updated last week
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- Parser for the llvm bitcode format☆59Updated 3 weeks ago