Similar repositories to FAU-Inf2/StarSmith:

• FAU-Inf2/StarSmith github similar
• squaresLab/SynthLift github similar
• iu-parfunc/liteinst github similar
• binsec/icse2021-artifact992 github similar
• embecosm/cgen github similar
• jku-ssw/gcc-builtin-study github similar
• HexHive/HexVASAN github similar
• ucsb-seclab/autofacts github similar
• andreafioraldi/ConstrainedMemorySanitizer github similar
• tudasc/TypeART github similar
• google-research-datasets/great github similar
• davidhildenbrand/drob github similar
• kyouko-taiga/mvs-calculus github similar
• microsoft/toga github similar
• cxreet/razor github similar
• kaist-plrg/jiset github similar
• uw-unsat/serval-sosp19 github similar
• kupl/ParaDySE github similar
• bchurchill/pldi19-equivalence-checker github similar
• davidtr1037/chopper github similar
• GaloisInc/semmc github similar
• GaloisInc/renovate github similar
• omerktz/TraFix github similar
• OOPSLA-2019-BugDetection/OOPSLA-2019-BugDetection github similar
• renatahodovan/picireny github similar
• sdasgup3/validating-binary-decompilation github similar
• nettrino/slowfuzz github similar
• nccgroup/binja_explain_instruction github similar
• BinTuner/Dev github similar
• mjyan0720/InvisiSpec-1.0 github similar
• Marcono1234/codeql-java-queries github similar
• duytai/sFuzz github similar
• wcventure/MemLock-Fuzz github similar
• HexHive/libdetox github similar
• junxzm1990/pomp github similar
• sdasgup3/binary-decompilation github similar
• vusec/dangsan github similar
• NWU-NISL-Fuzzing/COMFORT github similar
• test-pipeline/orthrus github similar
• Generative-Program-Analysis/GenSym github similar