2 results found Sort:

BurtonQin
lockbud BurtonQin
21
359
unknown
9
Statically detect Rust deadlocks bugs
mir rust bug-detection static-analyzer deadlock-detection
Created 2020-06-04
113 commits to all branch, last one 8 months ago
beyondacm
SmartEmbed beyondacm
32
97
unknown
8
A Tool for clone detection and bug detection in smart contracts
clones ethereum code-clones bug-detection code-embedding smart-contracts
Created 2019-05-16
31 commits to master branch, last one about a year ago