kframework / c-semantics
Semantics of C in K
☆306Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for c-semantics
- Research prototype tool for modular formal verification of C and Java programs☆359Updated 2 weeks ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- C Intermediate Language☆360Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆192Updated 4 months ago
- SeaHorn Verification Framework☆440Updated 2 months ago
- A static checker for identifying unstable code.☆359Updated 9 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆174Updated 5 years ago
- A compiler frontend for the C programming language☆539Updated last week
- The Yices SMT Solver☆371Updated last week
- SMACK Software Verifier and Verification Toolchain☆431Updated 2 weeks ago
- A static verifier for concurrent C programs☆128Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆167Updated 4 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆611Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆525Updated last month
- Public snapshots of "ACSL by Example"☆101Updated 3 years ago
- Verified Assembly Language for Everest☆270Updated 8 months ago
- custom type systems for Clang☆96Updated 9 years ago
- A library for building abstract interpretation-based analyses☆232Updated 2 weeks ago
- Semantics of x86-64 in K☆143Updated 4 years ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆335Updated 2 months ago
- Csmith, a random generator of C programs☆1,018Updated 9 months ago
- Super-parallel Python port of the C-Reduce☆242Updated last month
- Yet Another Random Program Generator☆487Updated 3 months ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆396Updated last week
- Sail architecture definition language☆615Updated this week
- C99 parser and frontend for libfirm☆340Updated last year
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆283Updated 4 years ago
- ☆83Updated 2 years ago