Fare9 / KUNAI-static-analyzer

Related projects ⓘ

Alternatives and complementary repositories for KUNAI-static-analyzer

• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆106Updated 2 weeks ago
• radareorg / esilsolve
  A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)
  ☆159Updated last year
• ant4g0nist / Sloth
  Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emula…
  ☆119Updated last year
• jhftss / IDA2Obj
  Static Binary Instrumentation
  ☆118Updated 3 years ago
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆209Updated 4 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆124Updated last year
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆139Updated last year
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆71Updated this week
• mrT4ntr4 / MODeflattener
  MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.
  ☆165Updated 3 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆60Updated 3 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆72Updated last year
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆160Updated 2 years ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆97Updated 6 months ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆73Updated 2 years ago
• joshwatson / f-ing-around-with-binaryninja
  Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"
  ☆105Updated 3 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆98Updated 2 months ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated last year
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆64Updated 3 years ago
• s3team / gdop
  A Generalized Dynamic Opaque Predicate Obfuscator
  ☆45Updated 8 years ago
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆67Updated this week
• qilingframework / rootfs
  ☆45Updated 3 months ago
• eset / stadeo
  Control-flow-flattening and string deobfuscator
  ☆145Updated 3 years ago
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆73Updated last month
• DennyDai / headless-ida
  Run IDA scripts headlessly.
  ☆112Updated 2 weeks ago
• idapython / pyhexraysdeob
  A port of Rolf Rolles' https://github.com/RolfRolles/HexRaysDeob to Python
  ☆163Updated 2 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆182Updated this week
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆42Updated 6 years ago
• degrigis / awesome-angr
  A collection of resources/tools and analyses for the angr binary analysis framework.
  ☆163Updated 2 years ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆44Updated 2 years ago