2 results found Sort:

abenkhadra
bcov abenkhadra
9
146
other
8
Static instrumentation tool for efficient binary-level coverage analysis.
elf coverage binary-analysis binary-rewriting coverage-analysis reverse-engineering static-instrumentation
Created 2020-04-29
20 commits to master branch, last one 3 years ago
GaloisInc
grift GaloisInc
8
55
agpl-3.0
20
Galois RISC-V ISA Formal Tools
risc-v coverage simulation formal-methods coverage-analysis formal-specification
Created 2018-08-08
480 commits to master branch, last one 11 months ago