-
Updated
Aug 22, 2017 - C
angr
Here are 58 public repositories matching this topic...
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
-
Updated
Oct 23, 2017 - Python
AFL fuzzing coverage CFG visualization
-
Updated
Jan 19, 2018 - Python
Here are some examples and solution of CTF Reverse Engineering and Pwning challenges where I have participated and solved using many tools such as Z3, Angr, IDA Pro and others software and tools.
-
Updated
Nov 22, 2018 - Smali
-
Updated
Feb 4, 2019 - C
Handy utilities for the angr binary analysis framework, most notably CFG visualization
-
Updated
Mar 15, 2019 - Python
SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool
-
Updated
Apr 5, 2020 - C
BINRELAY: Finding race conditions on binaries with symbolic execution.
-
Updated
Apr 16, 2020 - Python
Improve this page
Add a description, image, and links to the angr topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the angr topic, visit your repo's landing page and select "manage topics."