Similar repositories to uwplse/SaltShaker:

• uwplse/SaltShaker github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• dwijnand/sbt-dynver github similar
• Eloston/ungoogled-chromium github similar
• BinaryAnalysisPlatform/bap-veri github similar
• regehr/llvm-dataflow-info github similar
• nirhasabnis/seclab_eissec github similar
• kuhar/TyDsa github similar
• alastairreid/verifast-play github similar
• gokhankici/iodine github similar
• ymanerka/rtlcheck github similar
• siamumar/tinyAES github similar
• ucsb-seclab/autofacts github similar
• gangtan/CPUmodels github similar
• schieb/ELFManip github similar
• cdonovick/peak github similar
• rsnikhil/RISCV_ISA_Formal_Spec_in_BSV github similar
• bchurchill/pldi19-equivalence-checker github similar
• tudasc/MetaCG github similar
• jcdutton/reference github similar
• dyninst/tools github similar
• SRI-CSL/musllvm github similar
• kth-step/HolBA github similar
• sdasgup3/validating-binary-decompilation github similar
• nickgildea/z3_codegen github similar
• binsec/klee21-tina-artifact github similar
• uw-unsat/serval-sosp19 github similar
• kframework/llvm-backend github similar
• SRI-CSL/llvm2smt github similar
• rsnikhil/RISCV_ISA_Spec_Tour github similar
• hackwa/pynqfire github similar
• thestr4ng3r/llvm-dbas github similar
• RafaelTupynamba/quicksampler github similar
• maltanar/rosetta github similar
• gergo-/ldrgen github similar
• mangpo/swizzle-inventor github similar
• microsoft/AliveInLean github similar
• StanfordPL/strata github similar
• GaloisInc/semmc github similar