coderrect-inc / coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
☆9Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for coderrect-github-action
- A WebAssembly test case generator☆43Updated 4 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Various dominator tree algorithms☆22Updated 4 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆15Updated 3 years ago
- Libraries and tools for the SMT-LIB-2 standard.☆21Updated 2 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Simple grammar-based test case generator☆30Updated 6 months ago
- setup for fuzzing the Rust compiler☆58Updated 6 months ago
- A pretty printing library☆24Updated 5 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 8 months ago
- Variation of american fuzzy lop for testing compilers☆119Updated 2 years ago
- Hierarchical Delta Debugging Framework☆57Updated this week
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 5 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 4 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- SFI verifier of Wasm binaries☆81Updated last year
- Reverse engineering framework.☆36Updated 2 years ago
- The Gillian Platform main repository☆79Updated this week
- A library for building abstract interpretation-based analyses☆233Updated last month
- Dynamically discover the commands used to create a piece of software☆46Updated 2 weeks ago
- Continuously read/write to disk using random offsets and lengths .☆27Updated 10 months ago
- ☆24Updated 6 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆48Updated 9 months ago
- Synthesis of Loop-free Programs in Rust☆63Updated 4 years ago
- Staged Abstract Interpreters☆65Updated last year
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago