Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Symbolic Execution Angr Open Source Projects

Open source projects categorized as Symbolic Execution Angr
Categories > Angr
Categories > Security > Symbolic Execution
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213most recent commit 3 months agopypi angr} Downloads
Angryghidra ⭐ 501
Use angr in Ghidra
most recent commit 3 months ago
Idangr ⭐ 263
Use angr in the IDA Pro debugger generating a state from the current debug session
most recent commit 4 years ago
Symbolic Execution Tutorial ⭐ 73
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
most recent commit 3 years ago
Dnd ⭐ 52
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
most recent commit 4 months ago
Angr Antievasion ⭐ 33
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
most recent commit 7 years ago
Sema Toolchain ⭐ 22
ToolChain using Symbolic Execution for Malware Analysis.
most recent commit 6 months ago
Lwip Bug Finder ⭐ 13
lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
most recent commit 4 years ago
Smartcat ⭐ 5
SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool
most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.