| 7013457 |
Prioritized debugging of an error space in program code |
| Mar-14-2006 |
A computer system has an input system and an output system. Program code to be debugged has a plurality of program code statements. The input system is utilized to indicate an error variable in the program... |
| 7010781 |
Methods and apparatus for managing debugging I/O |
| Mar-7-2006 |
Methods and apparatus for providing replacement functions for a set of system services include requesting a primitive function from one of the set of system services, the primitive function replicating... |
| 7003507 |
Scalable propagation-based methods for call graph construction |
| Feb-21-2006 |
A program storage device, readably by a machine, tangibly embodying instructions to perform method steps for constructing a call graph whereby for each method M, a set of types SM of objects... |
| 6983456 |
Process for converting programs in high-level programming languages to a unified executable for hybrid computing platforms |
| Jan-3-2006 |
A system and method for compiling computer code written to conform to a high-level language standard to generate a unified executable containing the hardware logic for a reconfigurable processor, the instructions... |
| 6983455 |
Mechanism for profiling computer code |
| Jan-3-2006 |
A set of computer code is profiled by breaking each code segment of the computer code down into basic instructions. Thereafter, the set of computer code is executed. As each code segment is executed, a... |
| 6971089 |
Debugger impact reduction through motion of induction variable based breakpoints |
| Nov-29-2005 |
Debugger impact reduction through motion of an induction variable based breakpoint ("IV-breakpoint") set within a program loop, where the IV-breakpoint and the loop are controlled by an induction variable... |
| 6966051 |
Automatically generated symbol-based debug script executable by a debug program for software debugging |
| Nov-15-2005 |
A method, system, and product are disclosed for automatically generating a symbol-based debug script, which is executable by a debug program, for debugging a software program. Function symbols included... |
| 6948154 |
Methodology for testing spreadsheets |
| Sep-20-2005 |
The invention includes a method for testing a spreadsheet cell. Du-associations are collected for the spreadsheet cell. The cell's execution trace is tracked. After the user validates the cell, the du-associations... |
| 6934938 |
Method of programming linear graphs for streaming vector computation |
| Aug-23-2005 |
A method for producing a formatted description of a computation representable by a data-flow graph and computer for performing a computation so described. A source instruction is generated for each input... |
| 6931635 |
Program optimization |
| Aug-16-2005 |
A program optimization method for converting program source code written in a programming language into machine language includes steps of: analyzing a target program and detecting an exception generative... |
| 6915509 |
Method and system for debugging a program |
| Jul-5-2005 |
In a method and system for debugging a program, a debugging module is loaded into a normal thread of execution of the program. A user may then send commands to the debugger module from a command console... |
| 6904590 |
Methods for enhancing program analysis |
| Jun-7-2005 |
Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model,... |
| 6898785 |
Handling calls from relocated instrumented functions to functions that expect a return pointer value in an original address space |
| May-24-2005 |
Method and apparatus for handling calls from relocated instrumented functions to functions that expect a return pointer value in an original address space. In various embodiments of the invention, instrumented... |
| 6874105 |
Operation graph based event monitoring system |
| Mar-29-2005 |
A non-obtrusive activity monitor is proposed for advantageously monitoring and tracing disjunct, concurrent computer system operations in heavily queued computer systems. For each traced and pending computer... |
| 6857120 |
Method for characterizing program execution by periodic call stack inspection |
| Feb-15-2005 |
A method for characterizing runtime behavior of a computer program executing in an execution environment comprising: generating a call stack runtime data structure for tracking methods currently active... |
| 6848100 |
Hierarchical software path profiling |
| Jan-25-2005 |
A hierarchical software profiling mechanism that gathers hierarchical path profile information has been described. Software to be profiled is instrumented with instructions that save an outer path sum... |
| 6757887 |
Method for generating a software module from multiple software modules based on extraction and composition |
| Jun-29-2004 |
There is provided a method for generating a software module based upon elements from multiple software modules. The method includes the step of extracting a plurality of sets of elements from the multiple... |
| 6754887 |
Methods for implementing virtual bases with fixed offsets in object oriented applications |
| Jun-22-2004 |
There is provided a method for implementing virtual bases with fixed offsets in a class hierarchy graph corresponding to an object oriented program. The graph has nodes representing object classes and... |
| 6745383 |
Early warning mechanism for enhancing enterprise availability |
| Jun-1-2004 |
A computer method for issuing an early warning includes determining, using change and test coverage and control flow and data flow analyses of a program, locations in the program at which to insert early... |
| 6681385 |
Method and apparatus for determining the relationships and useful lifetime of objects in a program |
| Jan-20-2004 |
A method for determining object bounds for objects within a program comprises receiving the program code in a suitable language and analyzing the received code with a set of rules defining an escape analysis... |
| 6668372 |
Software profiling method and apparatus |
| Dec-23-2003 |
An efficient software profiling technique utilizes a combination of software resources and hardware resources. Control flow graphs are partitioned into single entry regions and then further into blocks.... |
| 6651243 |
Method and system for periodic trace sampling for real-time generation of segments of call stack trees |
| Nov-18-2003 |
A method and system for profiling a program using periodic trace sampling is provided. During the execution of the program, sample-based profiling of the executing program is performed--for a predetermined... |
| 6634023 |
Compile method, exception handling method and computer |
| Oct-14-2003 |
The present invention enables re-ordering of instructions to be executed while assuring a precise exception. In Java language, an optimization process of re-ordering instructions to be executed is performed... |
| 6598181 |
Method and system for debugging multiple function calls |
| Jul-22-2003 |
A method of debugging multiple function calls in a block of program code includes examining a line of code within the block of program code; detecting if the line of code is a call instruction; and if... |
| 6574792 |
Dynamically generating expanded user messages in a computer system |
| Jun-3-2003 |
Dynamically generating expanded user messages, in a computer system having a logging tool for creating a log file. The log file comprises log messages produced in response to events occurring during execution... |
| 6553565 |
Method and apparatus for debugging optimized code |
| Apr-22-2003 |
Methods and apparatus for providing a substantially full set of state information to a debugger, without significantly compromising system performance, in order to debug optimized computer program code... |
| 6522934 |
Dynamic unit selection in a process control system |
| Feb-18-2003 |
A process control system includes a controller that executes a control routine which performs a series of unit procedures within a process. The control routine is written or created to specify the class... |
| 6519765 |
Method and apparatus for eliminating redundant array range checks in a compiler |
| Feb-11-2003 |
Java language is, as its specification, capable of detecting an access exceeding an array range, and when there is no user-defined exception handler, moving control to an invoked method after getting out... |
| 6442751 |
Determination of local variable type and precision in the presence of subroutines |
| Aug-27-2002 |
A method is provided for tracking the type of at least one local variable after calling a subroutine. The exemplary method associates each one of a plurality of branch instructions calling the subroutine... |
| 6425121 |
Method and apparatus for resolving divergent paths in graphical programming environments |
| Jul-23-2002 |
The invention relates to a mechanism for detecting forks within data flow diagrams corresponding to application programs and for controlling the execution of such application programs. The flow diagram... |
| 6425120 |
Repeating program object for use with a graphical program-development system |
| Jul-23-2002 |
A program object is provided for use in developing application programs through a program-development environment. Using the program-development environment, a developer graphically specifies a flow diagram... |
| 6415434 |
Apparatus and method for a runtime method overloading resolver |
| Jul-2-2002 |
A method and apparatus for resolving method overloading at runtime that includes accessing an application programming interface file to retrieve methods that belong to the same class as a target method... |
| 6305010 |
Test, protection, and repair through binary code augmentation |
| Oct-16-2001 |
A type mismatch problem in computer programs is said to occur when there is a mismatch between the form or classification of a value encountered during program execution and that anticipated by the program.... |
| 6240549 |
Method and system for analyzing and displaying program information |
| May-29-2001 |
Through an operation of a debugger 57, a process with respect to certain assumed collaboration is carried out for each module such that breakpoints may be set up at appropriate locations in a program.... |
| 6154876 |
Analysis of the effect of program execution of calling components with data variable checkpointing and resource allocation analysis |
| Nov-28-2000 |
An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine... |
| 6126329 |
Method and apparatus for accurate profiling of computer programs |
| Oct-3-2000 |
An object code expansion profiler equips a program for execution profiling by preprocessing the object code files of the program so as to add profiling monitoring code to the beginning of all or substantially... |
| 6077311 |
Method and apparatus for extraction of program region |
| Jun-20-2000 |
A method and apparatus for marking a region of source code within a program unit and extracting an executable version of this marked region of code. The executable version has a initialized program state... |
| 6067415 |
System for assisting a programmer find errors in concurrent programs |
| May-23-2000 |
A designer creates a program with the editor 1. The division means 2 divides each process of the program into a plurality of controllable sections. The detection means 3 finds the dependency relations... |
| 6026234 |
Method and apparatus for profiling indirect procedure calls in a computer program |
| Feb-15-2000 |
An apparatus and method provide more complete profile data by instrumenting indirect procedure calls in a computer program. Indirect procedure calls have a number of counters allocated in a table at each... |
| 6002872 |
Method and apparatus for structured profiling of data processing systems and applications |
| Dec-14-1999 |
A method for monitoring performance of a program. A periodically occurring event is detected and a stack associated with the program is identified in response to a detection of the periodically occurring... |
| 5963740 |
System for monitoring computer system performance |
| Oct-5-1999 |
A program for monitoring computer system performance includes a collection of source code modules in the form of a high level language. Each of the source code modules is compiled into a corresponding... |
| 5963739 |
Method for verifying the total correctness of a program with mutually recursive procedures |
| Oct-5-1999 |
A computer-implemented method, apparatus, and article of manufacture for verifying the total correctness of a computer program with mutually recursive procedures. A computer program is received into the... |
| 5903758 |
Method and apparatus for auditing dynamically linked procedure calls |
| May-11-1999 |
The present invention is a method and apparatus for providing instrumentation of procedure calls in dynamically linked environments. More specifically, an embodiment of the present invention includes an... |
| 5828883 |
Call path refinement profiles |
| Oct-27-1998 |
A method and system for measuring the usage of a focus resource by a target program which has a plurality of call paths and at least one procedure, which allows a user to select a focus call path from... |
| 5802371 |
Method of walking-up a call stack for a client/server program that uses remote procedure call |
| Sep-1-1998 |
When displaying the caller stack of a distributed client/server program that uses Remote Procedure Calls (RPC), the user is provided the capability of viewing the RPC calls in the same manner as normal... |
| 5794047 |
Method of walking-up a call stack for a client/server program that uses remote procedure call |
| Aug-11-1998 |
When displaying the caller stack of a distributed client/server program that uses Remote Procedure Calls (RPC), the user is provided the capability of viewing the RPC calls in the same manner as normal... |
| 5740443 |
Call-site specific selective automatic inlining |
| Apr-14-1998 |
A compiler implemented method performs call-site specific selective automatic procedure integration over a program call graph. Individual call sites are selected for inlining based on two cost functions... |
| 5579520 |
System and methods for optimizing compiled code according to code object participation in program activities |
| Nov-26-1996 |
A development system having a compiler, a linker, an interface, and a code packing optimization module is described. The compiler generates or "compiles" source listings into object modules, which may... |
| 5485616 |
Using program call graphs to determine the maximum fixed point solution of interprocedural bidirectional data flow problems in a compiler |
| Jan-16-1996 |
By novel use of the Program Call Graph representation of computer programs, this method and apparatus provides a general analysis method for interprocedural bidirection data flow problems in computer software... |
| 5481717 |
Logic program comparison method for verifying a computer program in relation to a system specification |
| Jan-2-1996 |
It is an object of the present invention to provide a logic program comparison method which makes it possible to do verification by comparing parameterized logic programs and which increases the efficiency... |
