安全子集相关论文
摘要：航天型号C语言安全子集是确保程序安全、正确运行的编程设计规范，它由语法、语义等级别的安全使用规则构成。支持C安全子集是减......
为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C＋＋源代码控制流提取算法,通过该模型获取控制流切片,产生......
