首页>
外国专利>
Universal causality graphs for bug detection in concurrent programs
Universal causality graphs for bug detection in concurrent programs
展开▼
机译:通用因果图,用于并发程序中的错误检测
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for predictive analysis includes generating an execution trace on an instrumented version of source code for a multithreaded computer program. Interleavings which potentially lead to a violation in the program are statically generated by performing a static predictive analysis using a Universal Causality Graph (UCG) to generate alternative interleavings that might lead to an error. The UCG includes a unified happens-before model for the concurrent program and a property being analyzed. The interleavings are symbolically checked to determine errors in the program.
展开▼