...
机译:C程序静态分析的声抽象记忆模型
College of Computer and Communication Engineering China University of Petroleum Qingdao Shandong Province China;
software quality; static analysis; abstract memory model; memory object; defect detects;
机译:C程序静态分析的声抽象记忆模型
机译:通过抽象解释进行静态分析:一种数学编程方法
机译:静态分析中基于访问的抽象内存本地化
机译:RSTVL:用于程序静态分析的声音抽象内存模型
机译:对多线程和递归程序中的内存访问进行静态分析。
机译:科学示范文摘。演示摘要:计算机辅助医疗决策支持系统:适应性控制药物剂量方案和人群药代动力学建模的PC程序
机译:通过对发生前记忆模型的抽象解释进行静态分析