sophoslabs / WebAssembly

Related projects: ⓘ

• andreafioraldi / angrdbg
  Abstract library to generate angr states from a debugger state
  ☆58Updated 4 years 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 6 years ago
• gamozolabs / guifuzz
  A GUI fuzzing application set up to fuzz calc.exe right now
  ☆35Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆61Updated 4 years ago
• vanhauser-thc / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆72Updated 3 years ago
• zznop / bnida
  Suite of plugins that provide the ability to transfer analysis data between Binary Ninja and IDA
  ☆117Updated 7 months ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆85Updated 5 years ago
• panda-re / symbll
  Symbolic execution for LLVM traces produced by PANDA
  ☆40Updated 5 years ago
• fmagin / angr-cli
  Repo for various angr ipython features to give it more of a cli feeling
  ☆52Updated 4 months ago
• s3team / loop
  Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
  ☆47Updated 8 years ago
• quarkslab / whvp
  PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
  ☆67Updated 3 years ago
• nccgroup / libdlmalloc
  Heap analysis tooling for dlmalloc
  ☆26Updated 2 years ago
• ChrisTheCoolHut / Rocket-Shot
  Backwards program slice stitching for automatic CTF problem solving.
  ☆50Updated 5 years ago
• gamozolabs / basic_mutator
  About as basic of a mutator as you can get, but it does the trick in most situations
  ☆58Updated 4 years ago
• angr / archr
  Target-centric program analysis.
  ☆72Updated 3 weeks ago
• JonathanSalwan / X-Tunnel-Opaque-Predicates
  IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
  ☆51Updated 5 years ago
• joxeankoret / membugtool
  A DBI tool to discover heap memory related bugs
  ☆126Updated 6 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
• MozillaSecurity / libfuzzer-python-bridge
  INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators
  ☆74Updated 5 years ago
• gamozolabs / falkervisor_beta
  ☆75Updated 4 years ago
• withzombies / bnil-graph
  A BinaryNinja plugin to graph a BNIL instruction tree
  ☆82Updated last year
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆30Updated 6 years ago
• o-o-overflow / dc2019q-rtooos
  pwning challenge with a minimal hypervisor on apple hypervisor framework
  ☆13Updated 5 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆78Updated 6 years ago
• ChrisTheCoolHut / Easy-Pickings
  Automatic function exporting and linking for fuzzing cross-architecture binaries.
  ☆49Updated 6 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 8 years ago
• JonathanSalwan / stuffz
  Some low-level stuff
  ☆103Updated 4 months ago
• Cisco-Talos / covnavi
  ☆63Updated 5 years ago
• thebabush / nampa
  Nampa - FLIRT for (binary) ninjas
  ☆81Updated last year