HackerDom / ructfe-2019Links
RuCTFE 2019. Developed with ♥ by HackerDom team
☆26Updated 3 years ago
Alternatives and similar repositories for ructfe-2019
Users that are interested in ructfe-2019 are comparing it to the libraries listed below
Sorting:
- ☆11Updated 5 years ago
- Target-centric program analysis.☆77Updated this week
- Lazy python wrapper of KLEE for solving CTF challenges☆65Updated 4 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆216Updated last month
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- a grammar based feedback fuzzer☆165Updated 2 years ago
- A tool for finding the one gadget RCE in libc☆77Updated 5 years ago
- A description of the "House of Corrosion" GLIBC heap exploitation technique.☆223Updated 4 years ago
- ☆63Updated 6 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆56Updated 6 months ago
- SymGDB - symbolic execution plugin for gdb☆217Updated 7 years ago
- ☆50Updated 3 years ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆202Updated 6 years ago
- A distributed fuzzer which aims to pull in the best technologies, make them play nicely together, and run on multiple O/Ses.☆194Updated 4 years ago
- An interactive memory info for pwning / exploiting☆102Updated 2 years ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆113Updated 4 years ago
- My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.☆159Updated 6 years ago
- A fuzzing introspection tool☆167Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 4 years ago
- ☆82Updated 10 months ago
- This repository contains the currently implemented angr concrete targets.☆34Updated last year
- A GUI fuzzing application set up to fuzz calc.exe right now☆36Updated 5 years ago
- Leak other players' temporary workspaces for ctf and wargames.☆86Updated 2 years ago
- cLEMENCy is the LEgitbs Middle ENdian Computer architecture developed by Lightning for DEF CON CTF 2017☆122Updated 8 years ago
- Research on WebAssembly☆41Updated 3 years ago
- Code and exercises for a workshop on z3 and angr☆230Updated 4 years ago
- Rewriting functions in compiled binaries using McSema☆89Updated 6 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆67Updated 7 years ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆199Updated 5 years ago
- rune - radare2 based symbolic emulator☆27Updated 7 years ago