首页>
外国专利>
PATH-SENSITIVE DATAFLOW ANALYSIS INCLUDING PATH REFINEMENT
PATH-SENSITIVE DATAFLOW ANALYSIS INCLUDING PATH REFINEMENT
展开▼
机译:包括路径优化在内的路径敏感数据流分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
Methods, systems, and computer-readable media are disclosed to perform path-sensitive dataflow analysis including path refinement. A path-insensitive dataflow analysis may be performed on a control flow graph (CFG) of a computer program to detect a set of potential defects in the computer program. A path-sensitive dataflow analysis may be performed to identify one or more infeasible paths of the CFG without modifying the CFG. Potential defects associated with the one or more infeasible paths may be removed from the set of potential defects to produce a resulting reduced set of potential defects. The resulting reduced set of potential defects may be output.
展开▼