首页>
外国专利>
Optimizing libraries for validating C++ programs using symbolic execution
Optimizing libraries for validating C++ programs using symbolic execution
展开▼
机译:优化库以使用符号执行来验证C ++程序
展开▼
页面导航
摘要
著录项
相似文献
摘要
Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution, comprising for each loop, if there is a branching condition within the loop, then rewrite the loop to move the branching condition outside the loop. Particular embodiments may further optimize the C++ function through simplified symbolic expressions and adding constructs forcing delayed interpretation of symbolic expressions during the symbolic execution.
展开▼