Pinned Loading

1. r2ninja r2ninja Public

   Binary Ninja plugin for interacting with radare2

   Python 1

2. aeg_manticore aeg_manticore Public

   Solution to aeg challenge on pwnable.kr (too slow to get points though)

   Python 1

3. pwnables pwnables Public

   a small sample of some pwnable solutions

   Python

4. sym_examples sym_examples Public

   Translating angr examples to manticore, different symbolic execution tools

   Python 2

5. manticore manticore Public

   Forked from trailofbits/manticore

   Symbolic execution tool

   Python

6. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++