Method and system for analyzing source code
AssigneeCisco Technology, Inc.
InventorLakshmankumar Mukkavilli
Life of this patent
Estimating the term…
Abstract
Methods and systems are provided for analyzing a source code. The method includes collecting function entry information during the execution of tests on the source codes. The function entry information is then converted into symbolic codes. The function calls are replaced by the elements of the symbolic codes in the source codes. The elements can be in the form of functions. Subsequently, static analysis is performed on the source code by using the mapping between the function calls and the functions in the source code.
Claims19
A method for analyzing a source code, the method comprising
- identifying a function corresponding to zero or more function calls in the source code;
- and
- conducting a static analysis on the source code based on the mapping of the zero or more function calls to the identified function.
A system for analyzing a source code, the system comprising
- means for identifying a function corresponding to zero or more function calls in the source code;
- and
- means for conducting a static analysis on the source code based on the mapping of the zero or more function calls to the identified function.
An apparatus for analyzing a source code, the apparatus comprising
- a processing system including a processor coupled to a display and user input device;
- a machine-readable medium including instructions executable by the processor comprising
- one or more instructions for identifying a function corresponding to zero or more function calls in a source code;
- and
- one or more instructions for conducting a static analysis on the source code based on the mapping of the zero or more function calls to the identified function.
A machine-readable medium for analyzing a source code, the machine-readable medium including instructions executable by the processor comprising
- one or more instructions for identifying a function corresponding to zero or more function calls in a source code;
- and
- one or more instructions for conducting a static analysis on the source code based on the mapping of the zero or more function calls to identified function.
Dependencies are inferred from the claim text.