Similar repositories to SRI-CSL/clam-prov:

• SRI-CSL/clam-prov github similar
• awruef/crab-clang github similar
• securesystemslab/multicompiler-clang github similar
• SRI-CSL/OCCAM github similar
• ucsb-seclab/sasi github similar
• vbpf/ebpf-samples github similar
• TJAndHisStudents/TaintFlowAnalysis github similar
• allvm/allvm-tools github similar
• SRI-CSL/whole-program-llvm github similar
• jirislaby/LLVMSlicer github similar
• plast-lab/cclyzer github similar
• psycopaths/jdart github similar
• ropas/sparrow github similar
• securesystemslab/multicompiler github similar
• SRI-CSL/gllvm github similar
• Frama-C/Frama-C-snapshot github similar
• GJDuck/LowFat github similar
• GaloisInc/macaw github similar
• vbpf/ebpf-verifier github similar
• GJDuck/e9afl github similar
• smackers/smack github similar
• secure-software-engineering/phasar github similar
• GJDuck/e9patch github similar
• SVF-tools/SVF github similar
• cmu-sei/pharos github similar
• microsoft/ebpf-for-windows github similar
• BinaryAnalysisPlatform/bap github similar
• NASA-SW-VnV/ikos github similar
• lifting-bits/mcsema github similar
• JonathanSalwan/ROPgadget github similar