angr
There are 11 repositories under angr topic.
- Language:Python 7232
alphaSeclab / awesome-reverse-engineering
Reverse Engineering Resources About All Platforms(Windows/Linux/macOS/Android/iOS/IoT) And Every Aspect! (More than 3500 open source tools and 2300 posts&videos)
decompiler-explorer / decompiler-explorer
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
Language:Python 1830ChrisTheCoolHut / Zeratool
Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
Language:Python 1089- Language:Python 820
- Language:Java 525
Discovering vulnerabilities in firmware through concolic analysis and function clustering.
Language:Python 463mborgerson / mdec
Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.
Language:Python 452andreafioraldi / IDAngr
Use angr in the IDA Pro debugger generating a state from the current debug session
Language:Python 265axt / angr-utils
Handy utilities for the angr binary analysis framework, most notably CFG visualization
Language:Python 264FSecureLABS / z3_and_angr_binary_analysis_workshop
Code and exercises for a workshop on z3 and angr
Language:Python 221Use angr inside GDB. Create an angr state from the current debugger state.
Language:Python 197- Language:Python 126
ercoppa / symbolic-execution-tutorial
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
Language:Python 121mahaloz / sailr-eval
The SAILR paper's evaluation pipline for measuring the quality of decompilation
Language:Python 85- Language:Vim Script 73
- Language:JavaScript 70
A tool for finding the one gadget RCE in libc
Language:Python 69purseclab / DnD
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
Language:Python 62Abstract library to generate angr states from a debugger state
Language:Python 57- Language:Python 50
Backwards program slice stitching for automatic CTF problem solving.
Language:Python 48- SEMA-ToolChain
csvl / SEMA-ToolChain
ToolChain using Symbolic Execution for Malware Analysis.
Language:Batchfile 41 - Language:Python 38
Use angr inside the radare2 debugger. Create an angr state from the current debugger state.
Language:Python 35farosato / angr-antievasion
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
Language:Python 35- Language:Python 33
zarkivy / BinV
👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
Language:Python 33- Language:Python 30
kapaw / pwnmachine
Vagrant setup for building a machine for CTF/exploit development
An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LLVM) and binary analysis (angr).
Language:C++ 200xSoEasY / angr-wrapper
angr-wrapper is a simple script to automatise and accelerate your basic use of angr (to solve CTF challenges for example)
Language:Python 14cxm95 / IDA_Wrapper
An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.
Language:Python 14elm3nt / argon-cli
An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
Language:Python 13ertlnagoya / lwip-bug-finder
lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
Language:Python 13
