thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / diffblue/cbmc

$ show diffblue/cbmc

[account ↗] [repo ↗] UNKNOWN ★ 0 0 ● unknown

── AI DEEP ANALYSIS ──

── METRICS ──

RATINGN/A/10

MAINTENANCEunknown

DRIFTunknown

OPEN ISSUES0

LAST COMMITunknown

── TAGS ──

── FILE BREAKDOWN ──

Files by Type (count)

Other (.desc)

11663

C

9222

C++

1624

Java

1058

C/C++ Header

988

Other (.class)

711

XML

429

Text

290

Other (.smt2)

146

Markdown

141

Makefile

126

Shell

59

Files by Type (size)

Other (.i)

13MB

C++

11MB

Other (.ii)

9MB

C

7MB

C/C++ Header

3MB

Other (.desc)

2MB

Other (no ext)

873KB

Markdown

799KB

C++ Header

641KB

Other (.class)

602KB

Java

513KB

Python

490KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled