Program verification can be done both on source code and assembly code.
程序验证可以对源代码进行，也可以对汇编代码进行。
youdao
应用推荐
模块上移
模块下移
不移动