-
error-prone Public
Forked from google/error-proneCatch common Java mistakes as compile-time errors
Java Apache License 2.0 UpdatedFeb 14, 2025 -
-
-
-
-
-
sushi-lib Public
Forked from pietrobraione/sushi-libThe runtime library part of SUSHI
Java UpdatedNov 2, 2017 -
klee-uclibc Public
Forked from klee/klee-uclibcklee-uclibc
C GNU Lesser General Public License v2.1 UpdatedOct 10, 2017 -
-
sushi Public
Forked from pietrobraione/sushiThe SUSHI test case generator
Java UpdatedSep 27, 2017 -
jbse Public
Forked from pietrobraione/jbseA symbolic Java virtual machine for program analysis, verification and test generation
Java GNU General Public License v3.0 UpdatedSep 20, 2017 -
-
sbes-experiments Public
Search-Based synthesis of Equivalent method Sequences - Experiments
-
-
simmetrics Public
Forked from Simmetrics/simmetricsSimilarity or Distance Metrics, e.g. Levenshtein, for Java
Java Apache License 2.0 UpdatedOct 4, 2016 -
afl Public
Forked from mirrorer/aflamerican fuzzy lop (copy of the source code for easy access)
C UpdatedSep 7, 2016 -
llvm-29 Public
Forked from llvm-mirror/llvmDeterministic linking in LLVM 2.9
C++ Other UpdatedJun 1, 2016 -
{{ message }}