Alternatives and similar repositories for cis573vm

Users that are interested in cis573vm are comparing it to the libraries listed below

• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆51Updated 2 years ago
• another1024 / angr-analysis
  angr源码分析
  ☆33Updated 5 years ago
• DrShabulaji / Paper_Obfs
  Open source of the paper "击败SOTA反混淆方法"
  ☆18Updated 2 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆28Updated 2 years ago
• CISPA-SysSec / binary-tsan
  Binary Only Thread Sanitizer
  ☆15Updated last year
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆37Updated 3 years ago
• OMH4ck / PolyGlot
  ☆41Updated last year
• Augment-Decompiler / Control-Flow-Structuring
  ☆13Updated 3 years ago
• doyensec / vbox-fuzz
  Companion to the "Introduction to VirtualBox security research" Blog Post
  ☆30Updated 3 years ago
• vanhauser-thc / dynTaintTracer
  a taint tracer based on DynamoRIO, currently ARM only
  ☆40Updated 5 years ago
• hac425xxx / joern-ida
  IDA Hexrays To Joern
  ☆40Updated 9 months ago
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 4 years ago
• Learner0x5a / DataFlowAnalysis-miasm
  Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
  ☆20Updated 3 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆26Updated 5 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• zzcentury / Exploit-Re
  ☆29Updated 4 years ago
• wtdcode / fuzzercorn
  Bring libfuzzer to Unicorn
  ☆26Updated 3 years ago
• geeksonsecurity / idatips
  IDAPython / IDC tips and tricks
  ☆38Updated 2 years ago
• scotty-kdw / ARM-Analyzer
  Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation
  ☆48Updated 8 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆21Updated 2 years ago
• YunDingLab / struct_sanitizer
  a new cfi mechanism
  ☆32Updated 3 years ago
• blocksecteam / BpfChecker
  This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…
  ☆14Updated 8 months ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated 2 years ago
• za233 / Flowork
  a java decompiler demo
  ☆15Updated last year
• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 years ago
• fuzzm / fuzzm-project
  ☆29Updated 3 years ago
• Kiprey / protobuf_ctf_fuzz
  A CTF fuzz powerd by protobuf.
  ☆14Updated 3 years ago