Pinned Loading

1. NASA-SW-VnV/ikos NASA-SW-VnV/ikos Public

   Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   C++ 3.2k 218

2. python3-pwntools python3-pwntools Public archive

   Forked from Gallopsled/pwntools

   CTF framework and exploit development library in python3 (pwntools and binjitsu fork)

   Python 283 41

3. formatstring formatstring Public

   Format string exploitation helper

   Python 47 3

4. git-dumper git-dumper Public

   A tool to dump a git repository from a website

   Python 2.6k 299

5. mcarton/CRAPS-Kernel mcarton/CRAPS-Kernel Public

   A simple operating system, processor and compiler for Nexys2

   Java 7 3

6. dyne/tomb dyne/tomb Public

   the Crypto Undertaker

   Shell 1.6k 161