最近工作中涉及到了比较多的 go ssa ,所以准备写一个详细介绍 ssa 的小册子,毕竟 go ssa 本身的文档并不算多,概念也有些模糊 https://xieyuschen.github.io/go-ssa-book/
1
nagisaushio 70 天前 via Android
之前借助 ssa 写过一个 staticcheck 检查所有 type A coerced into type B 的地方。一开始在 ast 层面捣鼓了很久没弄出来,后来发现用 ssa 简直太容易了
|
2
lointo 70 天前 via Android
挺有用 不过现在我都是用 github copilot 来,写这片的逻辑 太多常量需要记忆了
|
3
griffinx OP @nagisaushio 是的,ssa 在生成 ir 过程中做了很多的处理,对于语义层面的解析非常有帮助。
|