mborgerson / bintrace

Related projects: ⓘ

• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 2 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• gamozolabs / vectorized_mmu
  Snapshot of the vectorized MMU that lines up with the vectorized MMU blog
  ☆22Updated 4 years ago
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆58Updated 3 months ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆39Updated last month
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆62Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• SNSystems / llvm-debuginfo-analyzer
  ☆22Updated last year
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆28Updated 3 years ago
• revng / orchestra
  rev.ng configuration for orchestra. The starting point for any development.
  ☆32Updated this week
• ctfhacker / binja-rs
  Some Rust bindings for Binary Ninja
  ☆31Updated 11 months ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆47Updated 3 weeks ago
• athre0z / disas-bench
  X86 disassembler benchmark
  ☆53Updated 2 months ago
• iximeow / yaxpeax-core
  program analysis for machine code
  ☆31Updated 2 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated 11 months ago
• immunant / dwarf-writer
  Updates DWARF debug sections and ELF symbols with info obtained through disassembly
  ☆26Updated 2 months ago
• yabits / ebcvm
  EFI Byte Code Virtual Machine in userspace
  ☆77Updated last year
• philzook58 / pcode2c
  Convert low ghidra pcode to verifiable C
  ☆17Updated this week
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆26Updated 4 years ago
• GrammaTech / mc-asm
  Assemble code to bytes using LLVM's MC layer
  ☆14Updated 11 months ago
• meme / sumo
  Binary Ninja MLIL to LLVM IR lifter
  ☆14Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆56Updated last week
• yabits / llvm
  LLVM backend for EFI Byte Code
  ☆11Updated 5 years ago
• gamozolabs / rv32i_jit
  A super simple RV32i JIT, designed for ease of understanding and modification
  ☆83Updated last year
• Qubasa / perf_kernel
  Multicore x64 kernel with a focus on introspection and debugging capabilities.
  ☆59Updated 2 months ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 4 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆15Updated last year
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆27Updated last week