statica

icon indicating an email [email protected]

icon location Brno, Czech Republic icon location Statica - static analysis group at Faculty of Informatics at Masaryk University in Brno, Czech Republic

Results 30 repositories owned by statica

symbiotic

300
Stars
55
Forks
Watchers

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

verified publisher icon staticafi

sbt-instrumentation

31
Stars
12
Forks
Watchers

Configurable instrumentation of LLVM bitcode

verified publisher icon staticafi

llvm2c

73
Stars
9
Forks
Watchers

Decompiler of LLVM bitcode to C

verified publisher icon staticafi