Datalog Disassembly

 (github.com)

58 points | by aboardRat4 6 days ago

3 comments

  • aboardRat4 6 days ago
    HN does not seem to have discussed ddisasm enough.

    When I discovered it, I was amazed, astonished, stunned, thrilled, and in disbelief.

    It turns out that it actually works.

    [-]
  • BobbyTables2 13 hours ago
    How does this actually work in practice?

    I suppose altering instruction count or size still dooms the executable to become non-functional?

    Or do all absolute & relative code & data references all get magically updated?

    [-]
    • not_a9 8 hours ago
      Generally binary rewriters will add a new section for the rewritten code/other stuff that needs regeneration (relocations, exception info, the like)
    • saidnooneever 12 hours ago
      elf and pe have relocation info so u can patch things effectively. binary blobs might be problematic but project targets elf/pe from what i can tell.

      there is no magic in computer -_-

  • sterlind 15 hours ago
    ooh souffle! wonder how they avoid saturation explosion. that's doomed my souffle projects in the past. but obviously they've found a way to partition (maybe by block?)