~/talk

How to Build A Decompiler

links:none on file
slides:none on file

Describes the architecture and transformation pipeline used to turn native or bytecode into equivalent high-level source, covering theoretical foundations, limitations and trade-offs of each transformation step. Presents specific techniques and heuristics to improve the readability of decompiled output, evaluates practical limits and usefulness of decompilation, and gives a brief overview of common obfuscation methods and their implications.

AI-written summary · about

  1. 0:00Start
  2. 7:57DECOMPILATION STAGES
  3. 11:08EXPRESSION DECOMPILER - IMPLEMENTATION DETAILS
  4. 11:39SINGLE STATIC ASSIGNMENT AND PHI FUNCTIONS
  5. 15:51TYPE INFERENCE - THE SOLUTION
  6. 20:03THREE STAGE ALGORITHM - STAGES 2 AND 3
  7. 23:39THE CONTROL FLOW GRAPH - SAMPLE
  8. 26:16DOMINATORS
  9. 27:31DOMINANCE FRONTIERS
  10. 30:24IF RECONSTRUCTION ALGORITHM
  11. 31:41IF RECONSTRUCTION EXAMPLE
  12. 36:09LOOP RECONSTRUCTION ALGORITHM
  13. 37:25LOOP RECONSTRUCTION EXAMPLE
  14. 41:23SYNTAX SUGAR/ LANGUAGE FEATURES DECOMPILATION
  15. 42:18PATTERN MATCHING SAMPLE - SWITCH BY STRING
  16. 45:36PATTERN MATCHING UHITS
  17. 46:37CODE READABILITY IMPROVEMENTS
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.