2024.04.10

（太巧啦，刚好2年！）

竟然找到了HN的讨论，热度还挺高（119 point）

  • https://news.ycombinator.com/item?id=19729286

源码和运行方式参考

  • https://github.com/sdasgup3/PLDI19-ArtifactEvaluation
    • https://github.com/sdasgup3/binary-decompilation
      • 这个仓库的内容好丰富的样子！是做X86到LLVM IR的反编译的！！！
        • docs/related-work.md是调研工作！！
2022.04.10

2.2 Strata Project

《Stratified Synthesis: Automatically Learning the x86-64 Instruction Set》

Scope of the Work

不支持的指令

  • System-level
  • x87
  • MMX
  • concurrency-related e.g. atomic, fences
  • cryptography