Alternatives and similar repositories for sok-dbi-security

Users that are interested in sok-dbi-security are comparing it to the libraries listed below

• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆71Updated last year
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆34Updated 6 months ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆57Updated 3 years ago
• ispras / rop-benchmark
  ROP Benchmark is a tool to compare ROP compilers
  ☆43Updated 2 years ago
• securesystemslab / agamotto
  Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
  ☆125Updated 5 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆41Updated 6 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 4 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• junxzm1990 / afl-pt
  ☆53Updated 6 years ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated 2 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆80Updated 7 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 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 3 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆26Updated last year
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆65Updated 4 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆34Updated 8 years ago
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆26Updated last year
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆34Updated 5 years ago
• Agnoctopus / Tartiflette
  Snapshot fuzzing with KVM and LibAFL
  ☆96Updated 3 years ago
• degrigis / symbion-use-cases
  Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
  ☆15Updated 3 years ago
• MSRSSP / hyperfuzzer-seeds
  ☆10Updated 4 years ago
• andreafioraldi / ConstrainedMemorySanitizer
  ☆14Updated 4 years ago
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago
• pietroborrello / raindrop
  This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …
  ☆62Updated 4 years ago
• pagabuc / kallsyms-extractor
  Tool to extract the kallsyms (System.map) from a memory dump
  ☆28Updated 2 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago