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!