nimble-code / Cobra
An interactive (fast) static source code analyzer
☆158Updated 2 weeks ago
Alternatives and similar repositories for Cobra:
Users that are interested in Cobra are comparing it to the libraries listed below
- simple static source code analysis tool for C code, with user-definable properties☆27Updated 8 months ago
- Public snapshots of "ACSL by Example"☆107Updated 3 years ago
- Semantics of C in K☆311Updated 3 years ago
- static analysis benchmarks from Toyota ITC☆114Updated last year
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆82Updated 3 months ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆21Updated 2 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆238Updated 5 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated 3 weeks ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆335Updated this week
- Release snapshots of the Frama-C platform for source code analysis☆171Updated 4 years ago
- The Yices SMT Solver☆393Updated this week
- SMACK Software Verifier and Verification Toolchain☆435Updated 5 months ago
- ☆253Updated last year
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- NaiveSystems Analyze is a static analysis tool for code security and compliance.☆181Updated this week
- Port of libgcov portions to enable a way to generate GCDA files for embedded systems☆32Updated 8 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆33Updated 3 weeks ago
- CREST is a concolic test generation tool for C.☆160Updated 4 years ago
- GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or stand…☆186Updated last year
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆161Updated 6 years ago
- Metrix++ is an extendable tool for code metrics collection and analysis.☆77Updated last year
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆342Updated 7 months ago
- C code refactoring browser☆207Updated this week
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆112Updated 3 weeks ago
- SeaHorn Verification Framework☆445Updated 3 weeks ago
- Suite of C/C++ tooling built on LLVM/Clang☆105Updated this week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆279Updated 11 months ago
- Research prototype tool for modular formal verification of C, Rust and Java programs☆396Updated this week
- Super-parallel Python port of the C-Reduce☆273Updated 2 months ago
- Create minimum MCDC test sets for a boolean expression☆38Updated 4 years ago