statica
Statica - static analysis group at Faculty of Informatics at Masaryk University in Brno, Czech Republic
- 26 followers
- Brno, Czech Republic
- statica@fi.muni.cz
Pinned Loading
Repositories
Showing 10 of 32 repositories
- TestCoCa Public
Executes a program for each test in its test suite to measure certain quantities, like branch coverage.
staticafi/TestCoCa’s past year of commit activity - binsalac Public
A collection of three programs. Two of them form a compiler from LLVM to Sala and the third is Sala program optimizer.
staticafi/binsalac’s past year of commit activity - datsalat Public
A package of benchmarks used as regression tests for Sala compiler, interpreter and input-flow analysis.
staticafi/datsalat’s past year of commit activity - libllvmutl Public
A library providing utility function commonly useful when working with LLVM framework.
staticafi/libllvmutl’s past year of commit activity - libsala Public
A library providing representation of Sala programs with their interpretation and analysis.
staticafi/libsala’s past year of commit activity - symbiotic Public
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
staticafi/symbiotic’s past year of commit activity