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
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 7 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).
  ☆34Updated 7 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆30Updated 7 years ago
• Vector35 / function_detection_test_suite
  suite of binaries used to test function identification
  ☆29Updated 7 years ago
• carter-yagemann / vmi-unpack
  VMI-Unpack - A Virtual Machine Introspection (VMI) based generic unpacker.
  ☆56Updated 5 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆80Updated 6 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆35Updated 6 years ago
• Brandon-Everhart / AngryIDA
  Python based angr plug in for IDA Pro.
  ☆35Updated 7 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆71Updated last year
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago
• kriw / ropchain
  ROPChain generator.
  ☆40Updated 6 years ago
• andreatulimiero / PinCFGReconstructor
  Implementation trade-offs in using Intel Pin for instruction tracing of complex programs
  ☆15Updated 5 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 7 years ago
• necst / arancino
  Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.
  ☆72Updated 3 years ago
• tianweiz07 / Cloud_Integrity
  Using LibVMI to detect malware
  ☆31Updated 3 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆67Updated 7 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• adrianherrera / malware-s2e
  Code for my blog post on using S2E for malware analysis
  ☆25Updated 6 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• cylance / winapi-deobfuscation
  Towards Generic Deobfuscation of Windows API Calls
  ☆50Updated 6 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆68Updated 4 years ago
• MohamadMansouri / funcDiffEval
  Evaluating function diffing existing techniques
  ☆12Updated 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…
  ☆28Updated last year
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 5 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago