Search Results - RepositoryStats

31

511

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

130 commits to all branch, last one 26 days ago

33

106

unknown

7

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

15

40

mit

7

This repository has no description...

dse fuzzing concolic symbolic bug-detection hybrid-fuzzing binary-analysis static-analysis concolic-execution symbolic-execution coverage-guided-fuzzing dynamic-symbolic-execution

Created 2020-09-23

148 commits to master branch, last one 10 days ago