Patent · US Active

Optimizing libraries for validating C++ programs using symbolic execution

US8943487B2 · kind B2 · utility

5Cited by

14References

14Claims

0Family size

Assignee

FUJITSU LIMITED · JP

Inventors

Guodong Li · Hornsby, AU
Sreeranga P. Rajan · Sunnyvale, US
Indradeep Ghosh · Cupertino, US

Key dates

Filing date	Jan 20, 2011
Grant date	Jan 27, 2015
Priority date	—
Expiry date	Jan 9, 2033

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3684
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.