jbangert / mithril

Related projects ⓘ

Alternatives and complementary repositories for mithril

• q3k / ctf
  Stuff from CTF contests
  ☆39Updated 5 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆74Updated 2 years ago
• Cisco-Talos / covnavi
  ☆63Updated 5 years ago
• FSecureLABS / z3_and_angr_binary_analysis_workshop
  Code and exercises for a workshop on z3 and angr
  ☆222Updated 3 years ago
• securisec / r2wiki
  Radare 2 wiki
  ☆91Updated 4 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆212Updated last month
• gamozolabs / falkervisor_grilled_cheese
  ☆171Updated 2 years ago
• legitbs / cLEMENCy
  cLEMENCy is the LEgitbs Middle ENdian Computer architecture developed by Lightning for DEF CON CTF 2017
  ☆124Updated 7 years ago
• TechSecCTF / z3_splash_class
  This repo holds materials for our Splash 2017 class on Z3.
  ☆25Updated 6 years ago
• david942j / heapinfo
  An interactive memory info for pwning / exploiting
  ☆100Updated last year
• ucsb-seclab / leakless
  Function redirection via ELF tricks.
  ☆156Updated 9 years ago
• RolfRolles / SynesthesiaYS
  Synesthesia, implemented as Yices scripts
  ☆89Updated 7 years ago
• googleprojectzero / CompareCoverage
  Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files
  ☆201Updated 5 years ago
• kokjo / universalrop
  Small tool for generating ropchains using unicorn and z3
  ☆197Updated 6 years ago
• immunityinc / libptrace
  An event driven multi-core process debugging, tracing, and manipulation framework.
  ☆171Updated 4 years ago
• jonoberheide / ksymhunter
  Routines for hunting down kernel symbols.
  ☆81Updated 13 years ago
• REMath / implementations
  Implementations of program analysis tools with a focus on machine code
  ☆207Updated 10 years ago
• radareorg / r2con2018
  ☆92Updated 6 years ago
• Wenzel / r2vmi
  Hypervisor-Level Debugger based on Radare2 / LibVMI, using VMI IO and debug plugins
  ☆133Updated 5 years ago
• bx / elf-bf-tools
  ☆110Updated 10 years ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆186Updated 3 years ago
• grimm-co / killerbeez
  A distributed fuzzer which aims to pull in the best technologies, make them play nicely together, and run on multiple O/Ses.
  ☆194Updated 3 years ago
• yannayl / glibc_malloc_for_exploiters
  GlibC Malloc for Exploiters presentation
  ☆146Updated 5 years ago
• trailofbits / binjascripts
  Scripts for Binary Ninja
  ☆252Updated last year
• guedou / r2m2
  radare2 + miasm2 = ♥
  ☆101Updated 4 years ago
• monosource / radare2-explorations
  A book on learning radare2.
  ☆46Updated 4 years ago
• HexHive / T-Fuzz
  ☆248Updated 4 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆83Updated 8 years ago
• kkamagui / shadow-box-for-x86
  Shadow-Box: Lightweight and Practical Kernel Protector for x86 (Presented at BlackHat Asia 2017/2018, beVX 2018 and HITBSecConf 2017)
  ☆184Updated 5 years ago
• felixwilhelm / mario_baslr
  PoC for breaking hypervisor ASLR using branch target buffer collisions
  ☆165Updated 8 years ago
• sashs / arm_exploitation
  Exploitation on ARM-based Systems (Troopers18)
  ☆146Updated 6 years ago