首页>
外国专利>
Path-sensitive analysis through infeasible-path detection and syntactic language refinement
Path-sensitive analysis through infeasible-path detection and syntactic language refinement
展开▼
机译:通过不可行路径检测和语法语言优化进行路径敏感分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for infeasible path detection includes performing a static analysis on a program to prove a property of the program. If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation. Information about such infeasible paths is used to achieve the effects of path-sensitivity in path-insensitive program analysis.
展开▼