diffblue / cbmc

git clone https://github.com/diffblue/cbmc.git

C Bounded Model Checker

stars, 24h · #11,772

+~7

stars, 7 days · #12,291

+~30

stars, 30 days · #17,648

1.1k

★ total · +1% this week

310

forks · 851 open issues

2026-10-20 · 1,146 ★ 2026-10-22 · 1,149 ★

LanguageC++

License—

Created2016-02-16 (10y ago)

Last push2d ago

OwnerOrganization