-
witch Public
Forked from ayazip/witchSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Python MIT License UpdatedNov 8, 2025 -
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedOct 15, 2025 -
-
-
GobPie Public
Forked from goblint/GobPieGoblint IDE integration via MagpieBridge
Java MIT License UpdatedFeb 19, 2024 -
goblint Public
Forked from goblint/analyzerStatic analysis framework for C
OCaml MIT License UpdatedMay 9, 2023 -
-
randoop Public
Forked from randoop/randoopAutomatic test generation for Java
Java MIT License UpdatedMar 24, 2023 -
MagpieBridge Public
Forked from MagpieBridge/MagpieBridgeMagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
Java Eclipse Public License 2.0 UpdatedJan 20, 2023 -
-
-
{{ message }}