CN1129070C - Recognition method for internal stored operation error in programming - Google Patents
Recognition method for internal stored operation error in programming Download PDFInfo
- Publication number
- CN1129070C CN1129070C CN 98104528 CN98104528A CN1129070C CN 1129070 C CN1129070 C CN 1129070C CN 98104528 CN98104528 CN 98104528 CN 98104528 A CN98104528 A CN 98104528A CN 1129070 C CN1129070 C CN 1129070C
- Authority
- CN
- China
- Prior art keywords
- pointer
- statement
- memory block
- plug
- mounting
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
The present invention relates to a method for recognizing memory operation mistakes in program design. The insertion of source programs is carried out on the basis of an insertion library which comprises a pointer handle table and a color table; for memory blocks of which the statements contain dynamic memories, variables and character string constants, statements for registering the memory blocks are inserted; for pointer assignment statements, statements for registering pointers and establishing a relationship with the memory blocks are inserted; for arrays and expression statements, statements for checking the arrays and expressions are inserted. By the method, relevant programming errors in memory operation can be effectively detected, testing efficiency and program quality can be raised, and testing cost can be reduced.
Description
The present invention relates to the computer software testing technology, be specifically related to a kind of method for testing software that is used for the wrong internal memory operation of trace routine design, more particularly, relate to the recognition methods of internal stored operation error in a kind of C/C++ program design.
C/C++ as system programming language is a kind of language of high flexible, and also this just dirigibility is that correctly writing of program brought very big difficulty, seems to be correct program and usually causes system crash because of wrong pointer and array manipulation.External existing similar testing tool, as Purify, Visionsoft and Smartheap etc., its function emphasizes particularly on different fields.Visionsoft and smartheap function aspect the internal memory operation that detects mistake is very weak, because it can not carry out effective plug-in mounting to the measured source program.Above-mentioned testing tool Purify can detect many EMS memory error operations, but it has a major defect, that is: it does not set up related between memory block and pointer, it can only judge whether quoting of pointer points to illegal memory, and do not know whether it has pointed to the legal internal memory of another piece, this is a gross error.For example, as shown in the figure, memory block 1 and memory block 2 are two internal memories that purify registers, and their first location and size is respectively (0 * 1000,4), (0 * 1008,8).One pointer p is arranged now, program composes the first location of memory block 1 to it, be that p has pointed to memory block 1, have one to quote * (p+10) now about pointer p, it has run off memory block 1 and has arrived the inside of memory block 2, because purify thinks that memory block 2 is legal internal memories, it can not report this mistake.Its basic reason is: purify is that the foundation of pointer and memory block is related, and it does not know which piece internal memory a pointer should point to.
The objective of the invention is to propose the method for internal stored operation error in a kind of new recognizer design, the above-mentioned weakness that it can cross the border and exist aspect the inspection at pointer at purify class software, it is wrong to detect the institute that purify class software can detect, and can also judge exactly whether quoting of pointer has run off its memory block pointed.For the pointer border-crossing error in the last example, it can judge at an easy rate.
The object of the present invention is achieved like this, the method of constructing internal stored operation error in a kind of recognizer design may further comprise the steps: source program is carried out plug-in mounting, and the program behind compiling and the operation plug-in mounting obtains error message from the error log that operation produces, it is characterized in that, comprising:
A, in the plug-in mounting storehouse definition pointer handle table and color table, described pointer handle table indicates and the memory block handle for each pointer entry writes down its pointer, described color table is that each memory block item writes down memory block sign, attribute and its pointer handle of sensing;
B, source program is carried out plug-in mounting, comprising: open source program, judge whether file finishes, and finish the plug-in mounting flow process in this way, otherwise reading statement is judged to statement to buffer zone from source program, and insert different statements according to judged result:
When including the memory block of Dram, variable and character string constant in the while statement, insert the statement of registration memory block;
When pointer assignment statement occurring in the while statement, insert the statement that concerns between registration pointer and foundation and memory block;
When having array and expression statement in the while statement, insert the statement that array and expression formula are checked;
Tested program behind C, the operation plug-in mounting detects internal stored operation error according to the pointer handle table and the color table that define in the plug-in mounting storehouse, comprising:
Receiving inspection request to array expression when the plug-in mounting storehouse, carry out group address and array expression address assignment, is that the memory block item searched in key word with the group address in color table, as not finding then misregistration information; Otherwise, whether cross the border according to memory block determined property array expression address, as the then misregistration information of crossing the border, otherwise end is to the inspection of this array;
Receiving inspection request to the pointer expression formula when the plug-in mounting storehouse, to pointer address and pointer expression formula address assignment, is that key word is searched corresponding pointer entry in pointer handle table with the pointer address, as not finding then misregistration information; Otherwise, with the corresponding pointer entry that finds as the memory block handle, search memory block item corresponding in the color table, as do not find the memory block item, misregistration information then, otherwise, whether cross the border according to memory block determined property pointer expression formula, as the then misregistration information of crossing the border, as the inspection of end of not crossing the border to this array.
According to method provided by the invention, it is characterized in that, the statement of described insertion registration memory block comprises: to the Dram piece, take over the Dram partition function, in new Dram partition function at first calling system provide be replaced before partition function finish physical memory and share out the work, call the Dram that respective function in the plug-in mounting storehouse is registered firm distribution then; To character string constant, with the character string constant " bag " that is occurred in the tested program, the respective function of calling in the plug-in mounting storehouse in " bag " its function is registered this character string constant with a function; To variable, remember the definition of each variable, and after the appropriate location insert the statement of these variablees of registration.
According to method provided by the invention, it is characterized in that, described insertion registration pointer and set up and memory block between the statement that concerns be meant the back of finding at all for the expression formula of pointer assignment, insert the registration pointer and set up the statement of contact, if for the outermost layer of "=" right expression formula in the expression formula of pointer assignment finally can be summed up as '+', the result of '-' computing of a pointer through limited number of time, then with "=" left pointer and the same internal memory of this pointed that finds; Otherwise, mate in color table with the value of right expression formula, if its value drops among a certain internal memory, then think this piece internal memory of left pointed of "=", in the time can not distinguishing above two kinds of situations, handle by second kind of situation.
According to method provided by the invention, it is characterized in that, the statement that described insertion is checked array and expression formula is meant in each array expression and pointer expression formula front, successively check by order from inside to outside, insert respective code, so that can check out that exactly pointer crosses the border and the Array Bound faulty operation in the program according to described pointer handle table and color table.
Implement the recognition methods of internal stored operation error in the program design provided by the invention, can detect the following mistake in programming such as the C/C++ programming language effectively: the pointer of 1) quoting no initializtion; 2) array reference crosses the border; 3) pointer is quoted and is crossed the border; 4) read the Dram of no initializtion; 5) discharge invalid memory block; 6) Dram distributes and release (memory overflow).Recognition methods provided by the invention is not limited to a certain product, also is not subjected to the restriction of operation platform, is a general means of testing.Utilize method of the present invention, can improve program reliability greatly, improve testing efficiency and program quality, and can be reduced in the expense of software test aspect greatly.
In conjunction with the accompanying drawings and embodiments, further specify characteristics of the present invention, in the accompanying drawing:
Fig. 1 is the memory organization synoptic diagram that is used to illustrate when internal stored operation error takes place;
Fig. 2 is the synoptic diagram that concerns between pointer handle table and the color table among explanation the present invention;
Fig. 3 is the overall flow synoptic diagram that utilizes internal stored operation error in the method recognizer design of the present invention;
Fig. 4 utilizes method of the present invention to carry out the schematic flow sheet of the plug-in mounting program of internal stored operation error identification in the program design;
Fig. 5 utilizes method of the present invention array expression to be discerned the schematic flow sheet of processing;
Fig. 6 utilizes method of the present invention the pointer expression formula to be discerned the schematic flow sheet of processing.
For further specifying method of the present invention, the key concept that wherein relates to is described as follows:
1) plug-in mounting: for given source program, insert code and repacking program by predetermined rule, this process is plug-in mounting.Having determined necessary plug-in mounting measured source program to compare it by the C/C++ Characteristics of Language improves and inspection exactly.
2) plug-in mounting storehouse: the function library that will move together with tested program, it provides a series of service, as registration memory block, registration pointer, the inspection of pointer expression formula, array expression inspection etc.These services all are that the form with the C function exists, and obtain service by calling these functions.
3) plug-in mounting standard: all need the sentence pattern of plug-in mounting limit, formulate corresponding plug-in mounting rule.The set of these rules is exactly the plug-in mounting standard.Every rule comprises two-part content: need this plug-in mounting in what situations; What content of plug-in mounting.
4) plug-in mounting program: by given plug-in mounting standard plug-in mounting measured source program.Its specific implementation every rule in the plug-in mounting standard.
5) pointer handle table and color table: be used for clear and definite each pointer memory block pointed, and two tables that save as which pointer indication in, the description that it is complete relation between each pointer and memory block.The structure of these two tables has been defined in the plug-in mounting storehouse, the plug-in mounting storehouse also provides corresponding service to operate this two tables, the plug-in mounting program will be called these services in needs statement is inserted in the measured source program, and tested program is dynamically safeguarded this two tables according to these statements when operation.
Pointer handle table is the set of pointer entry, and color table is the set of memory block item.As shown in Figure 2, the information of each each pointer of record in the pointer handle table 201 includes the handle of its memory block pointed in color table, and the memory block handle in the last example among pointer entry 1,2, the n is respectively: 1,1,2.
Color table 202 record each legal memory block (Dram, variable, character string constant) information, wherein include the handle of pointer in pointer handle table that points to it, in the last example, the handle of its pointer of storing among memory block item 1,2, the n of sensing is respectively: and 1,2}, { n}, Φ.
When memory block withdraws from action scope, will in color table, find its pairing memory block item,, in pointer handle table, find corresponding pointer entry, the memory block handle in these pointer entry will be put sky by the handle of its pointer of sensing that it write down.
It is an address that pointer indicates, i.e. the address at pointer place, to a given pointer pointer, it be denoted as: ﹠amp; Pointer; It also is an address that memory block indicates, and is the first location of this piece internal memory.We just simply get and are denoted as 1,2 in the last example ... etc.
Fig. 3 shows the overall flow synoptic diagram that utilizes internal stored operation error in the method recognizer design of the present invention.As shown in the figure, elder generation analyzes measured source program 301 in square frame 302 and carries out plug-in mounting by predetermined rule, to compile in frame 304 customer-furnished program compilers through the source program 303 of plug-in mounting, form executable tested program 305, and in frame 306, executable tested program 305 is carried out, in the process of implementation, produce error log (frame 307), the call error information browser is browsed mistake in frame 308 at last.Because the code that utilizes the inventive method to provide has been provided measured source program (frame 301), and has carried out reequiping (frame 302) on request, detect and browse to the internal stored operation error that exists in the former tested program so can dynamically follow the tracks of.
As previously mentioned, key of the present invention is by the plug-in mounting code, can dynamically follow the tracks of tested program, with the scrutiny program mistake.Therefore content of inserting (being referred to as the plug-in mounting storehouse) and plug-in mounting standard will seem particularly important in implementing method of the present invention, also be the places that the inventive method was different from and was better than the key of prior art.
Have only the statement that will call the plug-in mounting storehouse correctly to insert tested program, the plug-in mounting storehouse is just valuable, and the plug-in mounting standard has determined the content in plug-in mounting storehouse, and the plug-in mounting standard is the core of entire method and enforcement thereof.The plug-in mounting program is in strict accordance with plug-in mounting canonical parse and plug-in mounting tested program, and the content that it inserts is to call the statement of the service that the plug-in mounting storehouse provided.The statement that inserts can be finished such two large divisions's work when tested program is moved: keep pointer handle table and color table and the relation between them; Pointer expression formula and array expression are checked.Fig. 4 shows and utilizes method of the present invention to carry out the flow process of the plug-in mounting program of internal stored operation error identification in the program design.As shown in Figure 4, behind the beamhouse operation 401 that carries out, open the measured source program file at frame 402, whether in decision box 403, judge the end of file, the end of file in this way, then forward end block 409 to, as not being the end of file, then in frame 404, from the measured source program, read a statement to buffer zone s, again in analysis block 405 to S in content analyze, and different situations are carried out respective handling respectively, as to analyze be Dram, variable and character string constant, then insert the operation of the statement of registration memory block in frame 406; As analyze and occur pointer assignment statement in the program, then in frame 407, insert the registration pointer and set up and memory block between the operation of the statement that concerns; As analyze and comprise array expression or pointer expression statement in the statement, then in frame 408, insert the statement that array and pointer expression formula are checked; After the operation in finishing frame 406,407 and 408, forward again whether frame 403 is the judgement of the end of file to, so circulation, up to reading the end of file, program ends at frame 409.
Below in conjunction with three main processing procedures among Fig. 4: insert the statement (frame 406) of registration memory block, insert the registration pointer and set up it and memory block between the statement (frame 407) that concerns; The statement (frame 408) that insertion is checked array and pointer expression formula further specifies the plug-in mounting standard that is adopted in the method for the present invention.<1〉inserts the statement of registering memory block
Only consider a few like this class memory blocks of registration herein: Dram, variable and character string constant.Be described below respectively:
The registration standard of Dram piece: take over the Dram partition function, in new Dram partition function at first calling system provide be replaced before partition function finish physical memory and share out the work, call the Dram that respective function in the plug-in mounting storehouse is registered firm distribution then.
Character string constant registration standard: with the character string constant " bag " that is occurred in the tested program, the respective function of calling in the plug-in mounting storehouse in " bag " its function is registered this character string constant with a function.
Variable registration standard: remember the definition of each variable, and after the appropriate location insert the statement of registering these variablees.Suitable position shows that tested program is C or C++ and decide, and for c program, will insert the code of registering these variablees after all variable-definitions and before the non-variable-definition statement of article one in this block statement; For the C++ program, can after definition, insert code and register these variablees followed by variable.<2〉insert the registration pointer and set up it and memory block between the statement that concerns
Method of the present invention is only just registered this pointer analyzing when routine package contains pointer assignment statement, also just some memory block in the color table and this pointer have been connected in the time of the registration pointer.Particularly, be the expression formula of pointer assignment with finding all, after insert the registration pointer and set up the statement of contact.
When being pointer and memory block foundation contact, we have taked a kind of like this strategy.That is: finding each is the expression formula of pointer assignment, according to the structure of "=" right expression formula, it is divided into two kinds of situations, does different processing respectively.If the outermost layer of right expression formula finally can be summed up as pointer '+', result of '-' computing through limited number of time, we will think "=" left pointer and the same internal memory of this pointed that finds.Otherwise we will mate in color table with the value of right expression formula, if its value drops among a certain internal memory, then think this piece internal memory of left pointed of "=".In the time can not distinguishing above two kinds of situations, we will handle by second kind of situation.<3〉insert the statement that array and pointer expression formula are checked
Pointer expression formula and array expression always can be expressed as such two kinds of forms:
P[expr1] [expr2] ... [exprn] reaches
*(…*(*(p+expr1)+expr2)+exprn)。Expr1 wherein, expr2 ... exprn may be again pointer expression formula or array expression, and this is nested expression.
Method of the present invention all will by order from inside to outside, be inserted respective code, inspection in layer in its front for each array expression that occurs in the tested program and pointer expression formula.
In case the plug-in mounting program is inserted into the relevant detection statement in the tested program, when tested program is moved, these statements will be checked out internal memory operation wrong in the program exactly according to pointer handle table and color table, and the internal memory behaviour of mistake comprises that mainly pointer crosses the border and Array Bound.
How these statements that insert checks array expression and pointer expression formula if being discussed below.
Fig. 5 shows the idiographic flow of array expression being discerned processing.Inspection is performed such to array expression, as shown in Figure 5, the plug-in mounting storehouse is after receiving the request that array expression is checked, at first in frame 501, prepare, in frame 502, carry out the assignment of id and addr, at frame 503 address of array is searched in color table as key word, in frame 504, judge, as find memory block, then enter frame 505, according to memory block attribute (first location, size) judges in frame 506 whether this array reference addr crosses the border, as cross the border just in frame 507 misregistration information, as not crossing the border, then enter end block 508.
Fig. 6 shows the flow process of the pointer expression formula being discerned processing.As shown in Figure 6, the plug-in mounting storehouse is after receiving the request that the pointer expression formula is checked, from 601 beginnings of beginning frame, in frame 602, id and addr are carried out assignment, then in frame 603, pointer address id as key word, in pointer handle table, search its respective items pointer, in frame 604, judge whether find, as do not find, then enter frame 609, misregistration information; As finding, then in frame 605, as the memory block handle, search memory block item mem corresponding in the color table with the poniter that finds in the frame 603, in frame 606, as do not find internal memory to open item, then enter frame 609, misregistration information; As finding, then at frame 607, judge according to the memory block attribute of storing in this memory block item (first location, size etc.) whether this pointer expression formula crosses the border, be to cross the border as in frame 608, judging, then enter frame 609, misregistration information; As not crossing the border, then enter end block 610, after frame 609 has write down error message, also forward end block 610 to.<4〉other standard
For specific sentence pattern, as statements such as while, do-while, for, switch, the plug-in mounting standard will be reequiped it, to satisfy the needs of our above-mentioned registration and inspection.
As subsidiary work, can insert that code is finished such as the Dram of reading no initializtion, discharged invalid memory block, Dram distributes and not inspection such as release.
Introduce a concrete case study on implementation of the inventive method at last: the testing tool Clearify that utilizes method construct of the present invention is a testing tool that has nothing to do with product and operation platform, only requires that the place platform provides standard C/C++ compiler to get final product.Utilize this testing tool Clearify, we are to the identification of an internal stored operation error that carries out with the larger switch software of C/C++ programming, and its using method is as follows:
Grand CC in the makefile file of tested software (or module) is changed to CC=clearify hc386 hc386, fill order make compiles tested software, the executable program that obtains is input in main frame or the simulated environment, the error message browser location mistake that Clearify provides is called in operation at last.Usually, in the C/C++ program, internal stored operation error occupies maximum specific weight in all possible mistake, especially for the large software of hundreds thousand of row.A predictable effect is that therefore switch will move more stablely, and we can get rid of this mistake at least.
Claims (4)
1. the method for the internal stored operation error during a recognizer designs may further comprise the steps: source program is carried out plug-in mounting, and the program behind compiling and the operation plug-in mounting obtains error message from the error log that operation produces, and it is characterized in that, comprising:
A, in the plug-in mounting storehouse definition pointer handle table and color table, described pointer handle table indicates and the memory block handle for each pointer entry writes down its pointer, described color table is that each memory block item writes down memory block sign, attribute and its pointer handle of sensing;
B, source program is carried out plug-in mounting, comprising: open source program, judge whether file finishes, and finish the plug-in mounting flow process in this way, otherwise reading statement is judged to statement to buffer zone from source program, and insert different statements according to judged result:
When including the memory block of Dram, variable and character string constant in the while statement, insert the statement of registration memory block;
When pointer assignment statement occurring in the while statement, insert the statement that concerns between registration pointer and foundation and memory block;
When having array and expression statement in the while statement, insert the statement that array and expression formula are checked;
Tested program behind C, the operation plug-in mounting detects internal stored operation error or pointer operation mistake according to pointer handle table that defines in the plug-in mounting storehouse and color table, comprising:
Receiving inspection request to array expression when the plug-in mounting storehouse, carry out group address and array expression address assignment, is that the memory block item searched in key word with the group address in color table, as not finding then misregistration information; Otherwise, whether cross the border according to memory block determined property array expression address, as the then misregistration information of crossing the border, otherwise end is to the inspection of this array;
Receiving inspection request to the pointer expression formula when the plug-in mounting storehouse, to pointer address and pointer expression formula address assignment, is that key word is searched corresponding pointer entry in pointer handle table with the pointer address, as not finding then misregistration information; Otherwise, with the corresponding pointer entry that finds as the memory block handle, search memory block item corresponding in the color table, as do not find the memory block item, misregistration information then, otherwise, whether cross the border according to memory block determined property pointer expression formula, as the then misregistration information of crossing the border, as the inspection of end of not crossing the border to this array.
2. method according to claim 1, it is characterized in that, the statement of described insertion registration memory block comprises: to the Dram piece, take over Dram piece partition function, in new Dram partition function at first calling system provide be replaced before partition function finish physical memory and share out the work, call the Dram that respective function in the plug-in mounting storehouse is registered firm distribution then; To character string constant, with the character string constant " bag " that is occurred in the tested program, the respective function of calling in the plug-in mounting storehouse in " bag " its function is registered this character string constant with a function; To variable, remember the definition of each variable, and after the appropriate location insert the statement of these variablees of registration.
3, method according to claim 1, it is characterized in that, described insertion registration pointer and set up and memory block between the statement that concerns be meant the back of finding at all for the expression formula of pointer assignment, insert the registration pointer and set up the statement of contact, if for the outermost layer of "=" right expression formula in the expression formula of pointer assignment finally can be summed up as '+', the result of '-' computing of a pointer through limited number of time, then with "=" left pointer and the same internal memory of this pointed that finds; Otherwise, mate in color table with the value of right expression formula, if its value drops among a certain internal memory, then think this piece internal memory of left pointed of "=", in the time can not distinguishing above two kinds of situations, handle by second kind of situation.
4. method according to claim 1, it is characterized in that, the statement that described insertion is checked array and expression formula is meant in each array expression and pointer expression formula front, successively check by order from inside to outside, insert respective code, so that can check out that exactly pointer crosses the border and the Array Bound faulty operation in the program according to described pointer handle table and color table.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 98104528 CN1129070C (en) | 1998-02-06 | 1998-02-06 | Recognition method for internal stored operation error in programming |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 98104528 CN1129070C (en) | 1998-02-06 | 1998-02-06 | Recognition method for internal stored operation error in programming |
Publications (2)
Publication Number | Publication Date |
---|---|
CN1188933A CN1188933A (en) | 1998-07-29 |
CN1129070C true CN1129070C (en) | 2003-11-26 |
Family
ID=5218265
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN 98104528 Expired - Fee Related CN1129070C (en) | 1998-02-06 | 1998-02-06 | Recognition method for internal stored operation error in programming |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN1129070C (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101853205A (en) * | 2010-06-23 | 2010-10-06 | 山东中创软件商用中间件股份有限公司 | Method and apparatus for monitoring the running of program |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1332315C (en) * | 2002-09-27 | 2007-08-15 | 佛山市顺德区顺达电脑厂有限公司 | Internal storage testing method |
CN1324475C (en) * | 2002-10-24 | 2007-07-04 | 联想(北京)有限公司 | Internal storage error generator and internal storage error correction function test method of computer main board |
US7523450B2 (en) * | 2004-11-15 | 2009-04-21 | International Business Machines Corporation | Apparatus, system, and method for identifying fixed memory address errors in source code at build time |
US7774761B2 (en) * | 2005-12-27 | 2010-08-10 | International Business Machines Corporation | Use of memory watch points and a debugger to improve analysis of runtime memory access errors |
CN104133733B (en) * | 2014-07-29 | 2017-03-29 | 北京航空航天大学 | A kind of detecting memory errors method |
DE102016105844A1 (en) * | 2016-03-31 | 2017-10-05 | Dspace Digital Signal Processing And Control Engineering Gmbh | Method for testing a control program of a control device in a simulation environment on a computer |
CN109901908A (en) * | 2017-12-11 | 2019-06-18 | 中国移动通信集团山西有限公司 | Destroy method, apparatus, equipment and the medium of docker container |
CN109711167B (en) * | 2018-12-21 | 2020-08-18 | 华中科技大学 | UAF vulnerability defense method based on multi-level pointers |
-
1998
- 1998-02-06 CN CN 98104528 patent/CN1129070C/en not_active Expired - Fee Related
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101853205A (en) * | 2010-06-23 | 2010-10-06 | 山东中创软件商用中间件股份有限公司 | Method and apparatus for monitoring the running of program |
Also Published As
Publication number | Publication date |
---|---|
CN1188933A (en) | 1998-07-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US5696974A (en) | Methods to support multimethod function overloading with compile-time type checking | |
US9158514B2 (en) | Method and apparatus for providing change-related information | |
Bacchelli et al. | Extracting structured data from natural language documents with island parsing | |
CN103473171A (en) | Coverage rate dynamic tracking method and device based on function call paths | |
CN106354630A (en) | Software defect detecting method based on dynamic symbolic execution | |
CN108897572B (en) | Complex type reconstruction method based on variable association tree | |
CN1129070C (en) | Recognition method for internal stored operation error in programming | |
US8141082B2 (en) | Node-based representation of multi-threaded computing environment tasks, and node-based data race evaluation | |
CN107085533A (en) | A kind of analysis method and system of pointer modified influence | |
US20040128661A1 (en) | Automatic data locality optimization for non-type-safe languages | |
CN103235757B (en) | Several apparatus and method that input domain tested object is tested are made based on robotization | |
US20130152053A1 (en) | Computer memory access monitoring and error checking | |
CN114282227B (en) | Safety analysis and detection method for intelligent contract of Fabric block chain system | |
US20040073892A1 (en) | Event-driven observability enhanced coverage analysis | |
CN103365931B (en) | The method and device of quick mapping function performance inventory in performance analysis tool | |
US5987253A (en) | Method for classification of year-related data fields in a program | |
EP0365186A2 (en) | Apparatus for enhanced tagged data processing in a generalized computer execution unit | |
CN116680705B (en) | Rust program defect automatic detection method and system based on feature extraction | |
CN112487438B (en) | Heap object Use-After-Free vulnerability detection method based on identifier consistency | |
CN115796166B (en) | Regular expression testing method and system for intelligent logistics control system | |
CN113312087B (en) | Cache optimization method based on RISC processor constant pool layout analysis and integration | |
Babati et al. | EVALUATION OF PREDICATES IN THE C++ STANDARD TEMPLATE LIBRARY. | |
CN101937390A (en) | Region-based memory modeling method in source code defect analysis | |
JPH06214802A (en) | Register allotment system | |
CN116561005A (en) | Special control flow jump procedure verification method based on semantic interpretation and legal stack constraint |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
DD01 | Delivery of document by public notice |
Addressee: Huawei Technologies Co., Ltd. Document name: Notification to Pay the Fees |
|
DD01 | Delivery of document by public notice |
Addressee: Huawei Technologies Co., Ltd. Document name: Notification of Termination of Patent Right |
|
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20031126 Termination date: 20160206 |
|
CF01 | Termination of patent right due to non-payment of annual fee |