Patent ID: 8745593

Claim:
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 ( 240 ) said executable program (E) to generate ( 245 ) an error report (R); 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 2 ; io_sper 3 ; io_sper 4 ) that is able to verify, during the operation of execution, whether an index (y) supplied for said variable x is valid, replacing ( 230 ) in said 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 2 ; io sper 3 ; io sper 4 ) in said variable, substituting the index (y) of the variable (x) with said test function (f( . . . ); io sper; io sper 2 ; io sper 3 ; io sper 4 ).