blukat29 / regex-crossword-solver
https://regexcrossword.com/ solver using Z3py
☆19Updated 3 years ago
Alternatives and similar repositories for regex-crossword-solver:
Users that are interested in regex-crossword-solver are comparing it to the libraries listed below
- A decompiler for GHC-compiled Haskell☆106Updated 6 years ago
- Lazy python wrapper of KLEE for solving CTF challenges☆65Updated 4 years ago
- IDA plugin for software reverse-engineering and visualization.☆7Updated 9 years ago
- radare2 cLEMENCy plugins☆24Updated 7 years ago
- WTF are those magic numbers?!!☆33Updated 3 years ago
- Writeups and solutions for RC3CTF 2016☆14Updated 8 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- ☆22Updated 8 years ago
- ☆18Updated 5 years ago
- This repo holds materials for our Splash 2017 class on Z3.☆25Updated 7 years ago
- Simple hash-mining c library and its python binding.☆64Updated 5 years ago
- Proof of Work generator☆12Updated 5 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 8 years ago
- symbolic execution engine for brainfuck because lol☆13Updated 8 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- checksec tool for win10☆24Updated 7 years ago
- Use Dispatch to add AFL-compatible instrumentation to your binaries☆12Updated 8 years ago
- Belluminar 2016 Beijing stuff☆26Updated 8 years ago
- MIT's abstract interpretation class taught by Cousot☆40Updated 10 years ago
- Some RSA attacks with sage☆11Updated 8 years ago
- A python library to find one-gadget☆28Updated 6 years ago
- ☆14Updated 7 years ago
- Modified from pwndbg. Enhance the UI part for better usage.☆26Updated 5 years ago
- writeup of some ctf challs☆11Updated last week
- ☆12Updated 4 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Updated 9 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- To share the material for presentation☆11Updated 5 years ago
- Code samples used for the blog post☆23Updated 8 years ago
- ☆53Updated 3 years ago