/posts/chapter-0/ 2026-06-17T19:13:20+00:00 /posts/chapter-1/ 2026-06-02T01:24:06+00:00 /posts/chapter-10/ 2026-06-02T01:24:06+00:00 /posts/chapter-11/ 2026-06-17T19:13:20+00:00 /posts/chapter-12/ 2026-06-17T19:13:20+00:00 /posts/chapter-13/ 2026-06-17T19:13:20+00:00 /posts/chapter-14/ 2026-06-17T19:13:20+00:00 /posts/chapter-15/ 2026-06-17T19:13:20+00:00 /posts/chapter-16/ 2026-06-17T19:13:20+00:00 /posts/chapter-17/ 2026-06-17T19:13:20+00:00 /posts/chapter-18/ 2026-05-27T16:00:00+00:00 /posts/chapter-19/ 2026-05-27T16:00:00+00:00 /posts/chapter-2/ 2026-05-27T20:12:26+00:00 /posts/chapter-3/ 2026-05-27T20:12:26+00:00 /posts/chapter-4/ 2026-06-17T19:13:20+00:00 /posts/chapter-5/ 2026-05-27T23:23:55+00:00 /posts/chapter-6/ 2026-06-17T19:13:20+00:00 /posts/chapter-7/ 2026-06-17T19:13:20+00:00 /posts/chapter-8/ 2026-06-02T01:24:06+00:00 /posts/chapter-9/ 2026-06-17T19:13:20+00:00 /categories/ 2026-06-17T19:14:07+00:00 /tags/ 2026-06-17T19:14:07+00:00 /archives/ 2026-06-17T19:14:07+00:00 /about/ 2026-06-17T19:14:07+00:00 / /tags/compilers/ /tags/lowlevel/ /tags/systems/ /tags/isa/ /tags/assembly/ /tags/graphtheory/ /tags/typetheory/ /tags/il/ /tags/ir/ /tags/decompilers/ /categories/decompiler-construction/ /categories/chapter-0-introduction/ /categories/chapter-1-utilizing-dynamic-binary-instrumentation-for-lifting/ /categories/chapter-10-dead-code-elimination-and-ir-canonicalization/ /categories/chapter-11-control-flow-recovery-and-branch-simplification/ /categories/chapter-12-abstract-modeling-pages/ /categories/regions/ /categories/self-modifying-code/ /categories/and-indirect-calls/ /categories/chapter-13-safe-page-level-optimization/ /categories/chapter-14-modeling-inlined-functions-as-virtual-function/ /categories/chapter-15-recovering-virtual-functions/ /categories/chapter-16-deobfuscation-mixed-boolean-arithmetic-and-opaque-predicate-removal/ /categories/chapter-17-lowering-ir-to-readable-and-executable-code/ /categories/chapter-18-practical-decompilation-results-and-pipeline-evaluation/ /categories/chapter-19-practical-decompilation-results-and-pipeline-evaluation/ /categories/chapter-2-designing-an-isa-like-intermediate-language-il/ /categories/chapter-3-lifting-assembly-to-an-intermediate-language/ /categories/chapter-4-designing-an-architecture-agnostic-ir/ /categories/chapter-5-lifting-il-to-ir/ /categories/chapter-6-ir-semantics-edge-cases/ /categories/undefined-behavior/ /categories/and-special-handling/ /categories/chapter-7-reconstructing-control-flow-using-graph-theory/ /categories/ssa/ /categories/and-types/ /categories/chapter-8-designing-safe-optimization-passes/ /categories/chapter-9-coverage-guided-fuzzing-for-validation-and-symbolic-execution/ /page2/