Alternatives and similar repositories for BE-PUM

Users that are interested in BE-PUM are comparing it to the libraries listed below

• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 6 years ago
• andreatulimiero / PinCFGReconstructor
  Implementation trade-offs in using Intel Pin for instruction tracing of complex programs
  ☆15Updated 5 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆35Updated 6 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆30Updated 7 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆34Updated 7 years ago
• kriw / ropchain
  ROPChain generator.
  ☆40Updated 6 years ago
• carter-yagemann / vmi-unpack
  VMI-Unpack - A Virtual Machine Introspection (VMI) based generic unpacker.
  ☆55Updated 5 years ago
• season-lab / sok-dbi-security
  Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…
  ☆22Updated 5 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 6 months ago
• adrianherrera / malware-s2e
  Code for my blog post on using S2E for malware analysis
  ☆25Updated 5 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• wcventure / PC-Malware-Sklearner
  [SmartCom2017] An Effective Malware Detection based on Behaviour and Data Feature
  ☆19Updated 6 years ago
• necst / arancino
  Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.
  ☆72Updated 3 years ago
• Brandon-Everhart / AngryIDA
  Python based angr plug in for IDA Pro.
  ☆35Updated 7 years ago
• MohamadMansouri / funcDiffEval
  Evaluating function diffing existing techniques
  ☆12Updated 6 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 5 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 3 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• andreafioraldi / ConstrainedMemorySanitizer
  ☆13Updated 4 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 3 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆47Updated 8 years ago
• vanhauser-thc / qemu_taint
  First level taint implementation with qemu for linux user mode
  ☆29Updated 4 years ago
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆30Updated 4 years ago
• tianweiz07 / Cloud_Integrity
  Using LibVMI to detect malware
  ☆31Updated 3 years ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆31Updated 7 years ago
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago