首页>
外国专利>
WEAKEST PRECONDITION ANALYSIS FOR COMPUTER PROGRAMS
WEAKEST PRECONDITION ANALYSIS FOR COMPUTER PROGRAMS
展开▼
机译:计算机程序的最弱先决条件分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
Improved weakest conditions analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a predetermined data flow analysis. In one embodiment, the predetermined data flow analysis may be a static single assignment analysis, or a partial redundancy analysis. Next, each of these candidates is examined via a weakest precondition analysis to determine whether the candidate actually is defective. The end result is a faster analysis, because the weakest precondition analysis is only performed on those candidates that are deemed potentially defective by the initial predetermined data flow analysis performed.
展开▼