program compilers; program diagnostics; software engineering; source coding; XML;
机译:使用静态单一分配表格来改进对流量不敏感的指针分析
机译:通过静态指针分析检测内存错误(初步经验)
机译:对精益实施方法的系统审查:拟议技术联合精益实施框架
机译:srcPtr:实现静态指针分析方法的框架
机译:规范和模块化静态程序分析框架的实现。
机译:负责实施研究的卫生系统决策者:建立评估嵌入式方法的过程和有效性的框架
机译:了解静态指针分析中的不确定性
机译:在概率框架中实现确定性模型的方法