dogear

enter for all results · esc to close

JBMC

cprover.orgsite

Bounded model-checker for Java (bytecode), verifies 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. CBMC cprover.org
    site category #static-analysis link ↗

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

  2. jmh openjdk.java.net
    site category #jvm link ↗

    Micro benchmarks written in Java and other languages targetting the JVM.

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

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

  4. 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.

  5. ckjm spinellis.gr
    site category #msr link ↗

    Chidamber and Kemerer Java Metrics.

  6. bcs-js github.com
    tool category #move link ↗

    JavaScript implementation of the BCS serialization scheme used by Move, may be useful for implementing wallets.

Static Analysis & Code Quality › Programming Languages: “Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.”