Record · corpus.blog/posts/01a0879e-9cb5-721a-b9ff-40d12da6827a

30 Years of Decompilation and the Unsolved Structuring Problem: Part 2

mahaloz.re · published 10 January 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at mahaloz.re Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 27
Words captured: 3,249

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://news.ycombinator.com/item?id=38859219

news.ycombinator.com

https://www.reddit.com/r/ReverseEngineering/comments/18xrsgn/30_years_of_decompilation_and_the_unsolved/

reddit.com

https://twitter.com/mahal0z/status/1742576555153355223

twitter.com

https://www.usenix.org/system/files/conference/usenixsecurity13/sec13-paper_schwartz.pdf

usenix.org

https://github.com/uxmal/reko/blob/63ba0cc20449ef51b23d3c8e89aa903715cf0714/src/Decompiler/Structure/StructureAnalysis.cs

github.com

https://www.gnu.org/software/coreutils/

gnu.org

https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf

homepages.cwi.nl

https://ghidra-sre.org/

ghidra-sre.org

https://hex-rays.com/ida-pro/

hex-rays.com

https://binary.ninja/

binary.ninja

https://net.cs.uni-bonn.de/fileadmin/ag/martini/Staff/yakdan/dream_ndss2015.pdf

net.cs.uni-bonn.de

https://en.wikipedia.org/wiki/Boolean_satisfiability_problem

en.wikipedia.org

https://github.com/angr/angr/blob/0fa30cd21b4814c3ee299244cb5601c4c32b5c54/angr/analyses/decompiler/structuring/dream.py

github.com

https://docs.google.com/presentation/d/1qiZ9TuMZoC8dGqIATininf13PRk4YLG04Ne69kp-1LY/edit

docs.google.com

https://iss.oden.utexas.edu/Publications/Papers/PLDI1994.pdf

iss.oden.utexas.edu

https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7546501

ieeexplore.ieee.org

https://rev.ng/downloads/asiaccs-2020-paper.pdf

rev.ng

https://www.reddit.com/r/Compilers/comments/18xtvam/comment/kgf1lcm/?utm_source=share&utm_medium=web2x&context=3

reddit.com

https://www.reddit.com/r/Compilers/comments/18xtvam/comment/kggunv8/?utm_source=share&utm_medium=web2x&context=3

reddit.com

https://www.zionbasque.com/files/publications/sailr_usenix24.pdf

zionbasque.com

https://github.com/mahaloz/angr-sailr

github.com

https://github.com/mahaloz/sailr-eval

github.com

https://github.com/mahaloz/sailr-eval/blob/e1af48353c1c5b32cc53cbaa015722d57767bd6e/sailreval/decompilers/angr_dec.py

github.com

https://dl.acm.org/doi/pdf/10.1145/355609.362337

dl.acm.org

https://en.wikipedia.org/wiki/Graph_edit_distance

en.wikipedia.org

https://github.com/mahaloz/cfgutils/blob/main/cfgutils/similarity/cfged.py

github.com

https://www.darpa.mil/program/assured-micropatching

darpa.mil