dogear

enter for all results · esc to close

CBMC

cprover.orgsite

Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.

visit cprover.org ↗
0
sign in to dogear this
from
Static Analysis & Code Quality
added
2026-10-10
likes
0

similar

  1. JBMC cprover.org
    site category #static-analysis link ↗

    Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.

  2. ESBMC esbmc.org
    site category #static-analysis link ↗

    ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

  3. Volume 5: Verifiable C softwarefoundations.cis.upenn.edu
    site category #coq link ↗

    An extended tutorial on specifying and verifying C programs using the Verified Software Toolchain.

  4. Checker Framework types.cs.washington.edu
    site category #jvm link ↗

    Compiler plug-ins that find bugs or verify their absence.

  5. bencher github.com
    tool category #javascript link ↗

    A suite of continuous benchmarking tools designed to catch performance regressions in CI

  6. bcc github.com
    tool category #ebpf link ↗

    Framework and set of tools - One way to handle BPF programs, in particular for tracing and monitoring. Also includes some utilities that may help inspect maps or programs on the system.

Static Analysis & Code Quality › Programming Languages: “Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.”