|
Match
|
Document |
Document Title |
|
|
7617489 |
Method and system for detecting interprocedural vulnerability by analysis of source code
Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in...
|
|
|
7590978 |
Inferring object invariant method and system
A local analysis analyzes the values of objects paying attention to program flow and a global analysis analyses the object independent of the flow. The local and global analysis interact to infer...
|
|
|
7587710 |
Method for determining the processing sequence of function blocks of an automated system and corresponding automated system
The invention relates to a method and an automated system for determining the processing sequence of function blocks of a technological function. According to said method, a first function block,...
|
|
|
7584463 |
State as a first-class citizen of an imperative language
A state component saves a present state of a program or model. This state component can be invoked by the program or model itself, thereby making state a first-class citizen. As the state of the...
|
|
|
7552428 |
Method for JIT compiler to optimize repetitive synchronization
Repetitive synchronization in program code is optimized through lock coarsening that is performed subject to a number of constraints. Using a forward pass over the program code followed by a...
|
|
|
7549147 |
Security framework for protecting rights in computer software
A method for protecting software is provided, where source code for the software has a first directive marking an encryption beginning point and a second directive marking an encryption end point....
|
|
|
7539983 |
Tool for processing software programs using modified live-ness definition
A compiler that forms an intermediate representation of a program using a flow graph with less than all possible edges used to model asynchronous transfers within the program. The flow graph is...
|
|
|
7539884 |
Power-gating instruction scheduling for power leakage reduction
A method of power-gating instruction scheduling for leakage power reduction comprises receiving a program, generating a control-flow graph dividing the program into a plurality of blocks, analyzing...
|
|
|
7539833 |
Locating wasted memory in software by identifying unused portions of memory blocks allocated to a program
A method of intra-block memory usage analysis for a program can include identifying a memory block that has been allocated to the program and determining at least one intra-memory block usage...
|
|
|
7530063 |
Method and system for code modification based on cache structure
A method and system of modifying instructions forming a loop is provided. A method of modifying instructions forming a loop includes modifying instructions forming a loop including: determining...
|
|
|
7516481 |
Program development supporting apparatus, method, program and recording medium
A program development supporting apparatus that groups a plurality of events each executed in an information processor to divide the events into a plurality of parallel execution units to be...
|
|
|
7516448 |
Method for improving irreducible region commoning compile speed
A method for improving compile speed in irreducible code regions within a computer program is disclosed. The method comprises determining which of a plurality of code regions within a computer...
|
|
|
7506326 |
Method and apparatus for choosing register classes and/or instruction categories
An improved method, apparatus, and computer instructions for generating instructions to process multiple similar expressions. Parameters are identified for the expressions in the original...
|
|
|
7500233 |
Parallel filter check using an arithmetic memory location
Performing parallel comparisons of variables to determine program code execution flow or to compare multiple variables is disclosed. Memory locations are packed with multiple sub-variables for...
|
|
|
7500230 |
Raising native software code
Ambiguous stack references in low level software instructions can be resolved when raising a representation of low level software instructions, such as native code. The number of parameters passed...
|
|
|
7496894 |
Methods for enhancing pointer analyses
Methods are described that enhance pointer analysis for programs. Whereas previous methods are constrained by the extremes of an inverse relationship between time and information, the present...
|
|
|
7493610 |
Versioning optimization for dynamically-typed languages
A system and method for optimizing program code in dynamic languages includes gathering hot-type information from a program by employing inferencing or profiling to get the hot-type information for...
|
|
|
7493609 |
Method and apparatus for automatic second-order predictive commoning
A method and apparatus for automatic second-order predictive commoning is provided by the present invention. During an analysis phase, the intermediate representation of a program code is analyzed...
|
|
|
7493607 |
Statically speculative compilation and execution
A system, for use with a compiler architecture framework, includes performing a statically speculative compilation process to extract and use speculative static information, encoding the...
|
|
|
7478375 |
Directed acyclic graph (DAG) exploration through separation of concerns
A method for concern-based processing of a directed acyclic graph (DAG) using aspect-oriented programming includes instantiating a plurality of aspects, each aspect associated with one concern for...
|
|
|
7472132 |
Attributing memory usage by individual software components
A method, system and computer-usable medium for attributing memory usage are presented. The method includes the steps of creating an object graph of a portion of a memory heap, wherein the object...
|
|
|
7464375 |
Method for flattening hierarchically structured flows
There is disclosed a method for flattening hierarchically structured flows using a breadth-first approach. At each level of hierarchy of a hierarchically structured source flow, complex nodes are...
|
|
|
7451438 |
Method, system and product for identifying and executing locked read regions and locked write regions in programming languages that offer synchronization without explicit means to distinguish between such regions
A technique for identifying and executing synchronized read regions and synchronized write regions is provided. The technique processes program code with a software tool to convert the code to an...
|
|
|
7451403 |
System and method for developing user interfaces purely by modeling as meta data in software application
A system, method and computer program that enables an application designer to automate the process of development of user interfaces (UIs). The designer develops UIs by modeling. The process of...
|
|
|
7444626 |
Apparatus and method for linear dead store elimination
An apparatus and method for removing stores to local variables that are not aliased by other variables or to variables which have already been removed by previous optimizations prior to performing...
|
|
|
7409679 |
System and method for computer-aided graph-based dependency analysis
The present invention is directed to a system and methods for analyzing dependencies. The dependencies that may be analyzed include, for example, dependencies among methods or procedures in...
|
|
|
7406686 |
Systems and methods for software performance tuning
Methods and apparatus for determining a level of performance of a first application in a computer system are disclosed. A selection of a second one of a plurality of applications is received. The...
|
|
|
7401329 |
Compiling computer programs to exploit parallelism without exceeding available processing resources
A compilation technique for computer programs forms a data flow graph of vertices which are analysed to form clusters C for parallel execution where those clusters are added to up to the point at...
|
|
|
7395532 |
Process for running programs on processors and corresponding processor system
Programs having a given instruction-set architecture are executed on a multiprocessor system comprising a plurality of processors, for example of a VLIW type, each of said processors being able to...
|
|
|
7392516 |
Method and system for configuring a dependency graph for dynamic by-pass instruction scheduling
There is disclosed a method and system for configuring a data dependency graph (DDG) to handle instruction scheduling in computer architectures permitting dynamic by-pass execution, and for...
|
|
|
7392513 |
Methods and apparatus for merging critical sections
Methods and apparatus for merging critical sections are disclosed. An example disclosed system estimates the cost of merging a first critical section and a second critical section using a dataflow...
|
|
|
7379858 |
Computation of all-pairs reaching probabilities in software systems
A Markov chain model of a software system may be used to compute all-pairs reaching probabilities to provide guidance in performing speculative operations with respect to the software system.
|
|
|
7376940 |
Thread suspension and method in a multi-threaded environment
Mechanisms can be used to facilitate suspension of a mutator thread (or mutator threads) while imposing negligible overhead on the mutator computation during periods when thread suspension is not...
|
|
|
7367022 |
Methods and apparatus for optimizing the operating speed and size of a computer program
Apparatus and methods for optimizing an operating speed and size of a computer program are disclosed. In an example, an apparatus includes an execution module to run a computer program, an...
|
|
|
7353505 |
Tracing the execution path of a computer program
The invention relates to tracing the execution path of a computer program comprising at least one module including a plurality of instructions. At least one of these instructions is a branch...
|
|
|
7353503 |
Efficient dead code elimination
Disclosed is a method for eliminating dead code from a computer program using an operands graph generated from a flow graph of a computer program. In one embodiment of the present invention, the...
|
|
|
7320124 |
Apparatus and method for analyzing and displaying operations of computer and computer program for the same
A novel apparatus and method for analyzing and displaying the operation of a computer is provided, that can display a timing chart with which the relationship between transmission processes and...
|
|
|
7307986 |
State record processing
The invention provides apparatuses and methods for quickly modifying state information. Preprocessing prepares the state information to be modified. A logic unit modifies the state information....
|
|
|
7293264 |
Method and a device for abstracting instruction sequences with tail merging
A method and a device for abstracting instruction sequences in a computer program. First, a control flow graph of the program is generated and analysed in order to detect multiple occurrences of a...
|
|
|
7278138 |
Computer program conversion and compilation
The present invention provides methods, apparatus, and systems to remove a redundant, sign extension instruction from a program and to improve the execution efficiency of the program. In an example...
|
|
|
7272829 |
Factored assert chains
Factored assert chains allow for improved tracking of implicit information in a computer program. The compiler may generate assert statements at various points in the program where there is...
|
|
|
7260817 |
Method using array range check information for generating versioning code before a loop for execution
A system and method are provided that in one aspect eliminate redundant array range checks by performing a versioning for a loop. In another aspect, a system and method optimize array range checks...
|
|
|
7240344 |
Register allocation and code spilling using interference graph coloring
An improved method is provided for performing register allocation in a compiler. This method determines the allocation of a plurality R of registers of a processor for use during the execution of a...
|
|
|
7240337 |
Executing scalar replacement in program optimization
The present invention enables one to execute scalar replacement in program optimization, more effectively without executing analysis in a method. The present invention is provided with a code...
|
|
|
7228535 |
Methods and apparatus for multimedia stream scheduling in resource-constrained environment
Techniques for computing a multimedia stream schedule in a resource-constrained environment. In one aspect of the invention, a technique for processing multiple media streams in accordance with a...
|
|
|
7228530 |
Source program processing method
Comparison indices each for two components incorporated in a source program are used for easy and quantitative evaluation of functional redundancy in the program, effective and accurate extraction...
|
|
|
7219341 |
Code analysis for selective runtime data processing
A method, system and apparatus for performing selective data processing based upon a static analysis of the code of a compiled object. A compiled object, for example an enterprise bean, can be...
|
|
|
7210135 |
Data flow analysis of transactional processes
A XLANG/s compilation method is provided that uses data flow analysis of a program's flow graph to determine lifetimes of a data object. A flowgraph is created according to abstract computer...
|
|
|
7185329 |
Use of different color sequences for variables of different sizes and different semantics
Colors to be used in register allocation are grouped into a number of sequences. Each sequence is associated with an attribute (e.g. size and/or type) of variables whose nodes in an interference...
|
|
|
7185327 |
System and method for optimizing operations via dataflow analysis
A method for modifying serial dependencies in a procedure includes a step of building a graph representation of the procedure. The graph representation has an origin as well as a unique position,...
|