-
r2ninja Public
Binary Ninja plugin for interacting with radare2
-
-
-
sym_examples Public
Translating angr examples to manticore, different symbolic execution tools
-
aeg_manticore Public
Solution to aeg challenge on pwnable.kr (too slow to get points though)
-
manticore Public
Forked from trailofbits/manticoreSymbolic execution tool
Python GNU Affero General Public License v3.0 UpdatedDec 14, 2018 -
-
deepmath Public
Forked from tensorflow/deepmathExperiments towards neural network theorem proving
C++ Apache License 2.0 UpdatedNov 13, 2017 -
Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.
Python BSD 2-Clause "Simplified" License UpdatedOct 6, 2017 -
Heap_Senior_Driver Public
Forked from houcy/Heap_Senior_DriverSome heap exploitation tricks : )
Python UpdatedMar 24, 2016
{{ message }}