Bizarre Patents
Crispy Chip Sandwich and Process of Producing a Sandwich Product
A food product comprising a multilayer cookie or snack having outer layers formed from a crispy type edible food product such as a potato chip or corn chip, etc. with an intermediate marshmallow layer being in contact with the inner surface of each crispy chip and one or more filler substances.
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8166464 | Analysis and detection of soft hang responsiveness program errors Analyzing and detecting soft hang program errors may lead to suggestions for either curing the programming errors at runtime or refactoring the source code. For instance, responsive function invocation patterns and blocking function invocation patterns may be used t... | 04/24/2012 |
| 8156479 | System and method of monitoring dynamic scopes in synchronous and asynchronous calls A system and method for monitoring dynamic scopes in a runtime environment is disclosed. The system and method utilizes an algorithm which may be applied to both synchronous and asynchronous invocations. The method comprises determining an initial scope of a source ... | 04/10/2012 |
| 8141059 | Method and system for avoidance of software conflict A method/system for avoiding software conflicts, with library being divided into layer 1 to layer M and M≧1. The method including the following steps: before a program runs, prescanning calling functions of the binary executable code of the program and call... | 03/20/2012 |
| 8074208 | System and method for generating safe and efficient component relationships in wireless applications A method of detecting recursive instantiation loops in a wireless application. A data model digraph is constructed including a respective node for each data component in the wireless application, and a respective edge for each relationship between a pair of data com... | 12/06/2011 |
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries Symbolic execution identifies possible execution paths of a computer program or method, each having certain constraints over the input values. The symbolic execution also records updates of memory locations, e.g. updates of the fields of symbolic objects in the heap... | 10/25/2011 |
| 7987453 | Method and apparatus for determining computer program flows autonomically using hardware assisted thread stack tracking and cataloged symbolic data A method, apparatus, and computer instructions for determining computer flows autonomically using hardware assisted thread stack and cataloged symbolic data. When a new thread is spawned during execution of a computer program, new thread work area is allocated by th... | 07/26/2011 |
| 7971193 | Methods for performining cross module context-sensitive security analysis A computer-implemented method for detecting program bugs in source code of a computer program that includes a plurality of source modules, each of the plurality of source modules including at least a set of subroutines, is provided. The method includes performing su... | 06/28/2011 |
| 7810079 | System and method for determining execution path difference in program A system and method for determining execution path differences in a computer-implemented software application is provided herein. A software application under analysis is executed at least twice, thereby generating first and second call tree data and associated firs... | 10/05/2010 |
| 7802237 | Method, system and computer program product for generating program A program generation program used in a personal computer processes information on relationship between an action and a pair of a state of a system and an event to create a program for incorporating a new state in a state transition table. The computer reads the stat... | 09/21/2010 |
| 7784035 | Method for the static analysis of concurrent multi-threaded software A method for the static analysis of concurrent multi-threaded software which bypasses the state explosion situation that plagues the prior art, thereby making our method scalable while—at the same time—producing no loss in precision. Our inventive method maintai... | 08/24/2010 |
| 7747653 | Summarizing application performance in a large system from a components perspective A process of analyzing performance of a computer program including a plurality of components includes steps of: receiving a call tree profile having a plurality of nodes, each node representing an invocation and each node being annotated with a cumulative performanc... | 06/29/2010 |
| 7730460 | Code execution visualization using software fingerprinting A system, method, and computer program for analyzing code execution and software performance characteristics are disclosed. Samples of executing code may be taken based on any of a number of various triggers. For example, samples may be triggered based on function c... | 06/01/2010 |
| 7721269 | System and method for detecting redundant subroutine calls A system and method of detecting redundant subroutine calls in a software system is provided. Call path data is obtained for the software system and stored into a call tree comprising a plurality of nodes, each node representing a software routine of the software sy... | 05/18/2010 |
| 7661095 | System and method to build a callgraph for functions with multiple entry points A technique for building a callgraph for a software program that includes multiple function entry points using dynamic instrumentation. In one example embodiment, this is achieved by inserting function count probe code at each function entry point of each multiple e... | 02/09/2010 |
| 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 the source code listing are modeled in the context of at least one of... | 11/10/2009 |
| 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, whose outputs are respectively disconnected or form exclusively one or... | 09/08/2009 |
| 7526758 | Execution failure investigation using static analysis When, during debugging, a program failure occurs, the location of the failure is determined. First the address in the stack related to the program failure is found. Then static analysis is performed in order to determine a possible culprit for the failure. For examp... | 04/28/2009 |
| 7519961 | Method and apparatus for averaging out variations in run-to-run path data of a computer program A method and apparatus for averaging out variations from run to run of a computer program are provided. With the apparatus and method, call trees are generated for two or more executions of a build of a computer program. The apparatus and method perform a “tree-ad... | 04/14/2009 |
| 7509632 | Method and apparatus for analyzing call history data derived from execution of a computer program Call history data is sampled at fixed intervals during run-time, each sample representing only a limited portion of the stack. These data samples are subsequently automatically analyzed by merging overlapping sampled call history sequences to build larger call graph... | 03/24/2009 |
| 7506320 | Generating sequence diagrams using call trees A software tool is provided to analyze static source code. Source Code files are selected to define the project work space. A class and a method in the class are selected from said selected source code files. The tool generates a Call Tree as an ordered recursive se... | 03/17/2009 |
| 7506319 | Generating a model of software in execution A model of a software system under execution including: a representation of a first node corresponding to a first function executing in the software system which obtains access to a resource, with an indicator of a number of times the first function has been called ... | 03/17/2009 |
| 7496904 | Mining dependencies for testing and risk management Programs are rarely self-contained in software environments. They depend on other programs or shared subsystems like language run time and operating system libraries for various functionalities. A change in one of the external subsystems may affect the program and o... | 02/24/2009 |
| 7437718 | Reviewing the security of trusted software components An analysis tool provides a call path set for reviewing the security of trusted software components during development. By examining the usage of permissions in programs and libraries within a managed execution environment, potential gaps in the security of trusted ... | 10/14/2008 |
| 7426717 | System and method for debugging files in a runtime environment A system and method allows the debugging of a program by an application without requiring knowledge of the operation of the interpreter or compiler. ... | 09/16/2008 |
| 7412695 | Transient state nodes and a method for their identification Sequential digital integrated circuits have stable state nodes that are capable of retaining their state (logic value) even in the absence of any input directly driving these points. However, in addition to stable state nodes, some custom-designed digital circuits h... | 08/12/2008 |
| 7369954 | Event tracing with time stamp compression and history buffer based compression An improved method, apparatus, and computer instructions for generating trace data. In response to detecting a trace event, a determination is made as to whether identifiers for the trace event match recorded identifiers for a record in a set of previously recorded ... | 05/06/2008 |
| 7360207 | Method 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 |
| 7356809 | Programmable interpretive virtual machine A method involves operations for executing source code instructions expressed in a programming language. The operations comprise receiving a series of source code instructions expressed in a programming language, wherein at least one of the source code instructions ... | 04/08/2008 |
| 7353507 | Intercepting function cells Intercepting function calls. In one embodiment of the application, an import address table for an application is accessed and an address, in the import address table, associated with a function to which calls from the application are to be intercepted is replaced wi... | 04/01/2008 |
| 7343589 | Declarative state space reduction in a transactional messaging language A XLANG/s compiler recognizes a statement in XLANG/s code to make an assumption as to the success or failure of a specified transaction. The assignment states of variables are tracked and changes to such states are recorded. While processing XLANG/s code, the compil... | 03/11/2008 |
| 7340732 | Updating profile frequency for procedure inlining A method and apparatus for frequency-updating for procedure inlining. The frequency-updating scheme assumes the call graph of a program has no cycles. It keeps the frequency for each procedure as accurate as that before inlining. Using the present invention, the run... | 03/04/2008 |
| 7320125 | Program execution stack signatures A digital computer call stack or combined call stack and data stack is traced and analyzed following the occurrence of an unhandled exception or crash. Stack frame sizes and other artifacts are used to form a distinctive stack signature that generally reflects execu... | 01/15/2008 |
| 7316009 | Emulation of a programmable hardware element System and method for debugging a program intended for execution on a programmable hardware element (PHE) to perform a function. A first portion of the program is converted into a first hardware configuration program (HCP) deployable on the PHE, where a remaining po... | 01/01/2008 |
| 7302677 | Event driven graph explorer for model-based testing of software A software testing system uses a graph traversal algorithm to explore a model simulating a software product in order to identify errors in the software product. The model employs a Petri's net construct for maintaining state and governing transitions. In particular,... | 11/27/2007 |
| 7302679 | Scalable cross-file inlining through locality-based transformation ordering One embodiment disclosed relates to a method of compiling a computer program from a plurality of files of source code. An inline analysis determines which call sites in the plurality of files to make inline. An inline transformation performs the inlining within curr... | 11/27/2007 |
| 7299458 | System and method for converting control flow graph representations to control-dataflow graph representations An embodiment of the invention includes a method of forming a control-dataflow graph that includes separating a control flow graph into two or more basic blocks, and converting said two or more basic blocks into code blocks, where the code blocks are formed into the... | 11/20/2007 |
| 7284234 | System and method for implementing maintenance functions for a switch In the invention, a system and method providing maintenance functions for an electronic device is provided. The system and method utilize configurable software tools to provide executable routines for a maintenance function related to the electronic device. The syst... | 10/16/2007 |
| 7284274 | System and method for identifying and eliminating vulnerabilities in computer software applications A system and method for certifying software for essential and security-critical systems. The system and method provide a methodology and corresponding analysis engines increase the level of confidence that common vulnerabilities are not present in a particular appli... | 10/16/2007 |
| 7281241 | System and method for visual debugging of constraint systems A system and method for visualization and debugging of constraint systems and for constraint resolution. The present invention features a systematic, graphical representation that relates generation objects and generation decisions, preferably for example as a simpl... | 10/09/2007 |
| 7272827 | Statically detecting externally referenced interfaces of a program Externally referenced interfaces of a program are statically detected. The static detection of the externally referenced interfaces is performed prior to runtime and without the source code of the program. Input to the static detection is the compiled output of the ... | 09/18/2007 |
