Patent ID: 8745593
Filing Date: 2014-06-03
Classification: G06F

Abstract:
1. A process for verifying errors in computer codes in C/C++ language in a computer, which comprises the operations of: making available in said computer a source computer program (P) containing computer codes in C/C++ language; compiling (Z) said source computer program (P) to obtain an executable program (E); and executing ( wherein said process comprises prior to the operation of compilation (Z): executing an operation of syntactic analysis (AS) to identify variables (x) having a vector or pointer structure; and modifying said source computer program (P) via the application to said identified variables (x) of a test function (f( . . . ); io_sper; io_sper replacing ( identified variables (x) codes of said source program (P) with codes created by said operation of syntactic analysis (AS) by encapsulating said test function (f( . . . ); io sper; io sper