汇编级证明

在机器指令层面而非源代码层面进行的安全属性验证，能捕获编译器引入的错误及底层内存安全问题。