bug-detection topic

List bug-detection repositories

lockbud

353
Stars
20
Forks
Watchers

Statically detect Rust deadlocks bugs

SmartEmbed

97
Stars
32
Forks
Watchers

A Tool for clone detection and bug detection in smart contracts

IMChecker

17
Stars
4
Forks
Watchers

An automatic API misuse checker for C programs!