Alternatives and similar repositories for ast-interpreter

Users that are interested in ast-interpreter are comparing it to the libraries listed below

• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆52Updated 2 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• another1024 / angr-analysis
  angr源码分析
  ☆33Updated 5 years ago
• Huawei / Huawei_CCA_QEMU
  ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki
  ☆27Updated 2 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 3 years ago
• axt / cfg-explorer
  CFG explorer for binaries
  ☆83Updated 11 months ago
• doyensec / vbox-fuzz
  Companion to the "Introduction to VirtualBox security research" Blog Post
  ☆31Updated 3 years ago
• pwwpche / CSE231-LLVM_Program_Analysis
  Program Analysis framework using LLVM. Course project of Advanced Compiler
  ☆18Updated 8 years ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 4 years ago
• vul337 / EnclaveFuzz
  Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
  ☆26Updated this week
• Smilencelsy / Control-Flow-Integrity
  Sth in Control-Flow Integrity
  ☆19Updated 6 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆74Updated 3 years ago
• OS3Lab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Updated 3 years ago
• zer0pwned / RISCVDockerEnv
  Docker image for RISC-V 32/64 development environment, along with Qemu
  ☆26Updated 3 years ago
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆38Updated 3 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆32Updated 3 years ago
• yonsei-sslab / moneta
  ☆23Updated 6 months 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
• vahldiek / erim
  ☆14Updated last year
• secsysresearch / DRFuzz
  ☆30Updated 3 years ago
• Kiprey / protobuf_ctf_fuzz
  A CTF fuzz powerd by protobuf.
  ☆14Updated 3 years ago
• akshithg / linux-security-papers
  ☆22Updated 5 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆31Updated 6 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• qzhang-ucr / BigFuzz
  ☆12Updated 2 years ago
• zhou-yuxin / kvm-ept-sample
  A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x
  ☆23Updated 6 years ago
• chengpeng-wang / tutorialpass
  LLVM pass
  ☆24Updated 5 years ago
• ssdemajia / vxafl
  VxWorks Fuzzer with AFL and QEMU
  ☆48Updated 5 years ago