HackerDom / ructfe-2019Links
RuCTFE 2019. Developed with ♥ by HackerDom team
☆26Updated 4 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:
- ☆12Updated 5 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆224Updated 7 months ago
- Target-centric program analysis.☆76Updated 2 weeks ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Updated 3 years ago
- SPRITZ plays CTFs! Writeups by spritzers☆63Updated 8 years ago
- An interactive memory info for pwning / exploiting☆98Updated 2 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆57Updated last year
- A tool for finding the one gadget RCE in libc☆77Updated 5 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆75Updated 4 years ago
- Lazy python wrapper of KLEE for solving CTF challenges☆64Updated 5 years ago
- A description of the "House of Corrosion" GLIBC heap exploitation technique.☆225Updated 5 years ago
- a grammar based feedback fuzzer☆165Updated 2 years ago
- Research on WebAssembly☆41Updated 3 years ago
- ☆52Updated 4 years ago
- My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.☆159Updated 7 years ago
- rune - radare2 based symbolic emulator☆27Updated 8 years ago
- ☆64Updated 6 years ago
- Slack bot for challenge management in large teams☆60Updated 3 years ago
- ☆51Updated 7 years ago
- Automated Return-Oriented Programming Chaining☆85Updated 9 years ago
- A GUI fuzzing application set up to fuzz calc.exe right now☆37Updated 5 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
- Use angr inside GDB. Create an angr state from the current debugger state.☆203Updated 5 years ago
- Abstract library to generate angr states from a debugger state☆61Updated 5 years ago
- A fuzzing introspection tool☆167Updated 5 years ago
- Rewriting functions in compiled binaries using McSema☆91Updated 6 years ago
- SymGDB - symbolic execution plugin for gdb☆218Updated 7 years ago
- Tasteless CTF 2019☆20Updated 6 years ago
- Code samples used for the blog post☆24Updated 9 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 8 years ago