Patent
Assembly language programming potential error detection scheme sensing apparent inconsistency with a previous operation
Robert G. Hansen
- 29 Nov 1989
15
TL;DR: In this article, a debugging tool is presented to identify potential Assembly language source code source code errors resulting from the analysis of statements which do not contain incorrect syntax, limits, operand specification, etc.
read more
Abstract: A computer aided software engineering tool is disclosed which is particularly well adapted to identify potential Assembly language source code errors resulting from the analysis of statements which do not contain incorrect syntax, limits, operand specification, etc.; i.e., do not contain any errors of the type which can be generally categorized as incorrect usage. This objective is achieved by providing a debugging program which has a complete awareness of the specific machine architecture, such as the function of each instruction and the register(s), flags, etc. it affects. By essentially stepping through the Assembly language statements in much the same manner as a computer would while executing the corresponding instructions, the debugging program is able, through such simulation, to identify, in the Assembly language program under study, specific potential inconsistencies with previous operations which the debugging program has been coded to detect and, upon such detection, to issue an appropriate warning message. The programmer may then examine the flagged Assembly language code to determine if a genuine error exists.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Method and apparatus for modifying relocatable object code files and monitoring programs
Reed Hastings
- 05 Jun 1992
TL;DR: In this paper, an object code expansion program is used to add instructions to object code files of a second program, to monitor substantially all of the memory accesses of the second program.
245
Patent
System and method for identifying and eliminating vulnerabilities in computer software applications
Thomas J. Walls,Viren Shah,Anup K. Ghosh +2 more
- 18 Jan 2002
TL;DR: In this paper, a system and method for certifying software for essential and security-critical systems is presented, which provides a methodology and corresponding analysis engines increase the level of confidence that common vulnerabilities are not present in a particular application.
97
Patent
Use of stack depth to identify machine code mistakes
Richard L. Sites
- 07 Mar 1991
TL;DR: In this paper, a code translator, constructed similar to a compiler, accepts as an input to be translated the assembly code written for one architecture (e.g., VAX) and produces as an output object code for a different machine architecture (i.e., RISC).
76
Patent
Static debugging tool and method
David Rickel,James B. McBeath +1 more
- 08 Aug 1996
TL;DR: In this article, a static debugging tool for use with a computer and for debugging a binary program file includes an analyzer for causing the computer to statically analyze a representation of binary program files to detect the presence of program errors and potential errors.
69
Patent
Method and apparatus for checking validity of memory operations
Robert A. Eustace,Louis Marcel Gino Monier +1 more
- 01 Jul 1994
TL;DR: In this article, the authors present a memory monitoring system that allows a computer program to monitor its own memory accesses using a table of write tags, each representing a single-bit flag corresponding to a different one of the memory's locations.
47
References
Experiments in Automatic Microcode Generation
TL;DR: A procedure is described which permits applications problems coded in a higher level language to be compiled to microcode for horizontally microprogrammed processors and the experimental results are presented with an interpretation and analysis, along with recommendations for future study.
17
A Symbolic Simulator for Microprogram Development
TL;DR: A symbolic microprograni simulator is described which is used in developing microprograms for a signal processor and a brief example of its use is given.
4
Related Papers (5)
[...]
Charles H. Davidson
- 01 Jan 2003
Shinobu Asao,忍 浅尾 +1 more
- 11 May 2006
Yaron Kashai,Matthew John Morley +1 more
- 10 Jun 2002