SaaSHub helps you find the best software and product alternatives Learn more →
Top 6 angr Open-Source Projects
-
decompiler-explorer
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Firmware_Slap
Discovering vulnerabilities in firmware through concolic analysis and function clustering.
-
BinV
👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
Project mention: 30 Years of Decompilation and the Unsolved Structuring Problem: Part 1 | news.ycombinator.com | 2024-01-03That's awesome! That's exactly how modern decompilers deal with a special type of goto occurrence. They reduce gotos (or completely eliminate them) by introducing a `while(true)` loop, followed by corresponding `continue` and `breaks`... we all, of course, know that `while(true)` did not exist in the source, but it's a nice hack!
We even do this in the angr decompiler, found here: https://github.com/angr/angr/blob/8e48d001e18a913ecd4ed2e995...
Project mention: Show HN: SEMA – Symbolic Execution for Malware Analysis/Detection Using Angr | news.ycombinator.com | 2024-03-05
angr related posts
-
30 Years of Decompilation and the Unsolved Structuring Problem: Part 1
-
Dogbolt Decompiler Explorer
-
Dogbolt Decompiler Explorer
-
Revamping Binary Analysis with Sampling and Probabilistic Inference
-
IDA Pro 8.3 released.
-
The Full Story of Large Language Models and RLHF
-
Synthesizing optimal 8051 code with an SMT solver (2020)
-
A note from our sponsor - SaaSHub
www.saashub.com | 21 May 2024
Index
What are some of the best open-source angr projects? This list will help you:
Project | Stars | |
---|---|---|
1 | angr | 7,260 |
2 | decompiler-explorer | 1,842 |
3 | Zeratool | 1,093 |
4 | Firmware_Slap | 463 |
5 | SEMA-ToolChain | 44 |
6 | BinV | 33 |
Sponsored