指针安全相关硕士博士期刊学术论文 - 搜论网

指针安全相关论文

一个出具证明编译器后端的设计与实现

设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和......

期刊

高可信软件出具证明编译器指针安全汇编代码 high-assurance software certifying compiler pointer safe

看过本文同时还关注