Baker Botts L.L.P.
Optimizing libraries for validating C++ programs using symbolic execution
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.
Fujitsu Limited
G G
G06F G06F
inventional inventional
Guodong Sreeranga P. Indradeep
Li Rajan Ghosh