trailofbits / binary_type_inference

Related projects: ⓘ

• falconre / finch
  Symbolic Execution over Falcon IL
  ☆28Updated 3 years ago
• vusec / triereme
  ☆14Updated last year
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆36Updated last month
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 2 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• GrammaTech / retypd
  ☆66Updated 8 months ago
• binsync / varbert_api
  A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.
  ☆34Updated last week
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆25Updated last year
• 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
  ☆27Updated 2 years ago
• adrianherrera / datAFLow
  ☆28Updated this week
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆74Updated 2 years ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆63Updated this week
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆41Updated 8 months ago
• Vector35 / tanto
  Tantō slices functions into more consumable chunks
  ☆45Updated last year
• b17fr13nds / lxfuzz
  lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…
  ☆19Updated last month
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆47Updated 2 months ago
• LordCasser / weggli-enhance
  weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…
  ☆12Updated 3 months ago
• bajinsheng / ReZZan
  ☆37Updated last year
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆26Updated 2 months ago
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆24Updated last year
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆130Updated this week
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• vandaltool / vandalir
  ☆22Updated last year
• nyx-fuzz / spec-fuzzer
  ☆38Updated 2 years ago
• quarkslab / numbat
  Library to manipulate and create Sourcetrail databases
  ☆14Updated last month
• jpleasu / ghidraal
  A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.
  ☆56Updated 3 years ago
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆118Updated 2 weeks ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• subwire / libmatch
  ☆19Updated 9 months ago