Search Results - RepositoryStats

29

485

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

128 commits to all branch, last one 6 days ago

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

15

40

mit

8

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

147 commits to master branch, last one about a month ago