statica
- 23 followers
- Brno, Czech Republic
- statica@fi.muni.cz
Pinned Loading
Repositories
- 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 - 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 - JetKleeProgressExplorer Public
Java tool providing visual exploration of JetKlee's progress during symbolic execution of a program
staticafi/JetKleeProgressExplorer’s past year of commit activity - libutility Public
A library with several utility classes and functions usable across many C++ projects.
staticafi/libutility’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 - libsala Public
A library providing representation of Sala programs with their interpretation and analysis.
staticafi/libsala’s past year of commit activity - dg Public Forked from mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
staticafi/dg’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…