摘要 |
<P>PROBLEM TO BE SOLVED: To provide a method and system for optimizing libraries for validating C++ programs using symbolic execution. <P>SOLUTION: Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution. This optimization comprises for each loop, if there is a branching condition within the loop, rewriting 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. <P>COPYRIGHT: (C)2012,JPO&INPIT |