U.S. patents available from 1976 to present.
U.S. patent applications available from 2005 to present.

Icon_funbox Celebrity Inventors

Actress Jamie Lee Curtis is a patented inventor - she created a diaper equipped with a premoistened baby wipe. And that's no act!

Newsletter  PatentStorm News

Make the Most of PatentStorm

See this month's Top Inventors and Most Cited Patents.

Stay on top of the latest patents by subscribing to an RSS feed.

Got questions? Ask a Patent Expert!

Registered users: Manage your profile, comments and alerts.

 

Class 717/141 - Analysis of code form


Subclass of Class 717 - Data processing: software development, installation, and management
Definition: Subject matter including means or steps for analyzing
No. of patents: 480
Last issue date: 02/16/2010


1                      
NumberTitleIssue Date
7665015Hardware unit for parsing an XML document
A hardware unit for parsing an XML document includes embedded logic or circuitry for accessing the document, decoding it to change a character set, validating individual characters of the document, extracting tokens, maintaining a symbol table and generating binary ...
02/16/2010
7657877Method for processing data
A method and device for translating a program to a system including at least one first processor and a reconfigurable unit. Code portions of the program which are suitable for the reconfigurable unit are determined. The remaining code of the program is extracted and...
02/02/2010
7634766Method and apparatus for pattern-based system design analysis using a meta model
A method for analyzing a target system that includes obtaining a characteristics model, loading the characteristics model into a meta model, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein each of the plural...
12/15/2009
7627860Graphically deployment of a program with automatic conversion of program type
A system and method for creating and using configuration diagrams for configuring distributed systems. The methods described herein may be used for various types of operations in configuring distributed systems, including creating programs, managing programs in the ...
12/01/2009
7620944Resolving operators with user defined operands
Techniques are disclosed to support the resolution of an operator which has been called with inconsistent typing and at least one operand of a user-defined type. In order to allow the compilation of such an operation, first all possible widening conversions for each...
11/17/2009
7610579Critical finalizers
A finalizer may include a notification that no tolerance for failure or corruption is expected. Any potential failure point, which may be induced by a runtime execution environment routine or subroutine that is associated with the finalizer may then be prepared apar...
10/27/2009
7596782Software build extensibility
In a first exemplary media implementation, one or more processor-accessible media include a build provider that is tailored for a particular file type, the build provider adapted to generate code from files corresponding to the particular file type and to contribute...
09/29/2009
7596745Programmable hardware finite state machine for facilitating tokenization of an XML document
A hardware finite state machine for facilitating the processing of an XML (Extensible Markup Language) document or other structured data stream. An accelerator is implemented in hardware to enable fast processing of a document (or a segment thereof). The accelerator...
09/29/2009
7577945Memory mapped lazy signal blocking
In an embodiment of the invention, a method for lazy signal blocking, includes: when a program is going to enter a critical region of code where signals will be blocked, then setting an enabled flag and marking a signal mask with signals to be blocked, wherein the e...
08/18/2009
7574700Supporting dynamically-typed languages in typed assembly languages
In accordance with one embodiment of the present invention, a technique for supporting dynamically typed languages in typed assembly languages is provided. According to one embodiment, a new bytecode instruction, “invokedynamic,” supplements “invokevirtual.”...
08/11/2009
7571431Processing macro information and displaying via GUI in different tools
Software development tools, such as a static analyzer, debugger or source browser, incorporates techniques to process macro expansions and provide display of macro expansion information, so as to facilitate program analysis and debugging during the development proce...
08/04/2009
7500230Raising 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 to a function can be determined by heuristics, including direct call ...
03/03/2009
7484204System and method for extensible type repositories
A system to provide an extensible type repository environment can include one or more type repositories, each of which is capable of representing a type system and maintaining one or more type definitions, each representing a type in the type system. Each type repos...
01/27/2009
7451436Aggregate handling of operator overloading
System and method for aggregate handling of operator overloading. A program is created, including an aggregate comprising multiple data elements of one or more data types, and an operator applied to the aggregate. At least one of the data types is user-defined, and ...
11/11/2008
7441238Extendable compiler framework
To meet the current trend in computer programming, a multi-programming-language compiler system is designed to include a compiler framework which creates a general environment in which to carry out compilation and language modules to encapsulate the details of vario...
10/21/2008
7434211Transient shared computer resource and settings change bubble for computer programs
Described is a mechanism that preserves the state of computer system shared resources and/or settings, and ensures that changes thereto are reverted when an application exits. A shared resource change bubble logically surrounds application code that causes system re...
10/07/2008
7430733Method for validation of binary code transformations
A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are traversed to create respective linear invariant representations. The li...
09/30/2008
7428728Interface definition language compiler
A distributed computer application can be made to communicate with a plurality of computer architectures. A first compiler compiles and converts input interface source code to produce a high level language including a plurality of computer architecture interfaces. A...
09/23/2008
7406685System and method for whole-system program analysis
Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs to analyze the individual programs in such a way that the behavior of ...
07/29/2008
7406680Method for adding extensions to the grammar for ASN.1 without modifying the basic compiler and code generator
A processing system (100) implements a translator (102) and a compiler (106) for compiling a machine readable language. When a source file (104) is provided, the system performs a line-by-line compare to determine if the file contains ext...
07/29/2008
7401327System and method supporting property values as options
A class includes fields to support values of properties in preallocated memory space and an option data structure which supports, in instances of the class, references to option values without preallocation of memory space. The field and option values are accessed i...
07/15/2008
7389499Method and apparatus for automatically converting numeric data to a processor efficient format for performing arithmetic operations
A compiler (or interpreter) detects source language instructions performing arithmetic operations using a fixed point format (preferably packed decimal). Where the operation can be performed without loss of precision or violation of other constraints of the source l...
06/17/2008
7389498Core object-oriented type system for semi-structured data
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic t...
06/17/2008
7389385Methods and apparatus to dynamically insert prefetch instructions based on compiler and garbage collector analysis
Methods and apparatus to insert prefetch instructions based on garbage collector analysis and compiler analysis are disclosed. In an example method, one or more batches of samples associated with cache misses from a performance monitoring unit in a processor system ...
06/17/2008
7386841Technique for determining a target data type in a heterogeneous multi-level environment
A method of determining a target data type in an environment having a plurality of levels is provided. Zero or more intermediate levels are between the source level and the target level. A target data type representing the transformation of a data type of an associa...
06/10/2008
7380202Method and system for customizing and personalizing page control content
A page is accessed that contains at least one computer-based module. The computer-based module can present information obtained from one or more sources. The computer-based module includes properties, such as properties that affect the appearance of the computer-bas...
05/27/2008
7379858Computation 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. ...
05/27/2008
7373632System and method for dynamic generation of proxies for isomorphic interfaces
System and method for proxying isomorphic interfaces in different subsystems. Embodiments may provide a proxy mechanism that may generate proxies for isomorphic interfaces at runtime. Embodiments may allow two mutually indifferent subsystems to communicate with each...
05/13/2008
7370318System and methodology for asynchronous code refactoring with symbol injection
A system and methodology for asynchronous code refactoring with symbol injection is described. In one embodiment, for example, a method is described for refactoring a plurality of interdependent software modules that reside in separate projects, the method comprises...
05/06/2008
7370315Visual programming environment providing synchronization between source code and graphical component objects
In an integrated development environment, there is a tight coupling between a design surface providing a visual representation of the various physical and logical entities in a software model and the underlying code structures that support the entities. The model ca...
05/06/2008
7370321Systems and methods to read, optimize, and verify byte codes for a multiplatform jit
A byte code reader provides verification while optimizing and creating an internal SSA form to allow efficient machine code generation. Many functions are combined in one component honoring the difficult time constraints of just-in-time translation. This reader is e...
05/06/2008
7365660Method and device for decoding syntax element in CABAC decoder
A method and a device for decoding a syntax element in a context-based adaptive binary arithmetic coding (CABAC) decoder perform a binary arithmetic coding (BAD) process and a binarization matching (BM) process in parallel. The method includes determining an expecte...
04/29/2008
7367015Method and system for software program editing in common language runtime environment (CLRE)
A method and system are disclosed for editing a software program in a common language runtime environment, wherein the software program has a source code component, an intermediate language component, and a native code component. The method comprises executing a fir...
04/29/2008
7367019Parameter management using compiler directives
A method, system, architecture and apparatus for managing program function parameters using compiler directives. A parameter management system can include a compiler coupled to a primary symbol-type dictionary and a supplemental symbol-type dictionary containing par...
04/29/2008
7363620Non-linear execution of application program instructions for application program obfuscation
Obfuscating an application program comprises reading a first application program, determining an application program instruction location permutation that transforms the first application program into an obfuscated application program having at least one application...
04/22/2008
7360205Minimizing interaction costs among components of computer programs
A system and method for minimizing total cost of interaction among components of a computer program which are each characterized by at least one implementation property. A implementation property may, for example, be a choice of string representation (e.g. ASCII, UN...
04/15/2008
7360207Method and system to analyze inlined functions
A method and a system for examining an inlined function using a performance analysis tool are described. An inlined function is identified in computer code. Upon identification of the inlined function, and for example in response to executing a breakpoint associated...
04/15/2008
7356672Warp processor for dynamic hardware/software partitioning
A warp processor includes a microprocessor, profiler, dynamic partitioning module, and warp configurable logic architecture. The warp processor initially executes a binary for an application entirely on the microprocessor, the profiler monitors the execution of the ...
04/08/2008
7356810Program code conversion for program code referring to variable size registers
A method for generating an intermediate representation of computer program code written for running on a programmable machine comprises: (i) generating a plurality of register objects for holding variable values to be generated by the program code; and (ii) generati...
04/08/2008
7356663Layered memory architecture for deterministic finite automaton based string matching useful in network intrusion detection and prevention systems and apparatuses
The present invention provides a method and apparatus for searching multiple strings within a packet data using deterministic finite automata. The apparatus includes means for updating memory tables stored in a layered memory architecture comprising a BRAM, an SRAM ...
04/08/2008
1                      
 
Forgot password?
Register here