2 results found Sort:

BurtonQin
lockbud BurtonQin
27
449
bsd-3-clause
9
Statically detect memory, concurrency bugs and possible panic locations for Rust.
mir rust bug-detection static-analyzer deadlock-detection
Created 2020-06-04
123 commits to all branch, last one about a month ago
beyondacm
SmartEmbed beyondacm
32
104
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