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 5 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 6 years ago
• andreatulimiero / PinCFGReconstructor
  Implementation trade-offs in using Intel Pin for instruction tracing of complex programs
  ☆15Updated 5 years ago
• carter-yagemann / vmi-unpack
  VMI-Unpack - A Virtual Machine Introspection (VMI) based generic unpacker.
  ☆55Updated 5 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 4 months 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).
  ☆35Updated 7 years ago
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆33Updated 5 years ago
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆70Updated last year
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Updated 6 years ago
• adrianherrera / malware-s2e
  Code for my blog post on using S2E for malware analysis
  ☆25Updated 5 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆65Updated 3 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆28Updated 3 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆79Updated 6 years ago
• anhvvcs / corana
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆26Updated last year
• 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
• vandaltool / vandalir
  ☆24Updated 2 years ago
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago
• tianweiz07 / Cloud_Integrity
  Using LibVMI to detect malware
  ☆31Updated 2 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 3 years ago
• Brandon-Everhart / AngryIDA
  Python based angr plug in for IDA Pro.
  ☆34Updated 7 years ago
• junxzm1990 / afl-pt
  ☆53Updated 5 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆26Updated 11 years ago
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆25Updated last year
• Vector35 / function_detection_test_suite
  suite of binaries used to test function identification
  ☆28Updated 7 years ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆39Updated last year
• vanhauser-thc / qemu_taint
  First level taint implementation with qemu for linux user mode
  ☆27Updated 4 years ago
• rudyerudite / AngErza
  Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.
  ☆18Updated 3 years ago
• kevinkoo001 / ropf
  Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack
  ☆26Updated 8 years ago