Bizarre Patents
Safety System For Remove a Rider From a Vehicle by Deploying a Parachute
Methods and apparatus for reducing the velocity of a rider in or on an open cockpit vehicle when the rider is thrown from the vehicle.
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.
| Application No. | Application Title | Issue Date |
| 20120131668 | Policy-Driven Detection And Verification Of Methods Such As Sanitizers And Validators A method includes performing a static analysis on a program having sources and sinks to track string flow from the sources to the sinks. The static analysis includes, for string variables in the program that begin at sources, computing grammar of all possible string val... | 05/24/2012 |
| 20120084760 | TRANSACTIONAL DEBUGGER FOR A TRANSACTIONAL MEMORY SYSTEM Various technologies and techniques are disclosed for providing a debugger for programs running under a transactional memory system. When running a particular program using the debugger, the system detects when a conflict occurs on at least one conflictpoint that was se... | 04/05/2012 |
| 20120084759 | SYSTEM AND METHOD FOR IN-VIVO MULTI-PATH ANALYSIS OF BINARY SOFTWARE A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution engine and a modu... | 04/05/2012 |
| 20120054721 | DYNAMIC CALCULATION OF SAMPLE PROFILE REPORTS The construction or use of a hierarchical time tree that represents an execution time of a program. To construct the hierarchical time tree, the time frame corresponding to the root node is the execution time during which the plurality of call stack samples were gathere... | 03/01/2012 |
| 20120054724 | INCREMENTAL STATIC ANALYSIS A system, method and computer program product for incremental static analysis, including a change impact analyzer for identifying a changed portion of a computer software (e.g., an application), where the changed portion was changed subsequent to performing a static ana... | 03/01/2012 |
| 20120036399 | System And Method For Automated Software Application Development A computer-implemented method for identifying a new software application to be developed. A computer database is searched for matching keywords that correspond to any of a group of selected keywords, indicative of the new application. The database contains descriptive k... | 02/09/2012 |
| 20120030658 | SOFTWARE DEVELOPMENT ASSISTANT METHOD AND SYSTEM The present invention provides a software development method, system and computer program product. Generally, a computer program product for software development assistance includes a computer readable storage medium having computer readable program code embodied therew... | 02/02/2012 |
| 20120030655 | Generating and Modifying Textual Code Interfaces from Graphical Programs A graphical program is analyzed, where the graphical program includes an I/O interface including one or more ordered parameters for providing input to or receiving output from the graphical program. A function is generated in a textual programming language based on the ... | 02/02/2012 |
| 20120030657 | METHOD AND SYSTEM FOR USING A VIRTUALIZATION SYSTEM TO IDENTIFY DEADLOCK CONDITIONS IN MULTI-THREADED PROGRAMS BY CONTROLLING SCHEDULING IN REPLAY A method and system for determining potential deadlock conditions in a target multi-threaded software application. The target application is first run in a virtual machine and the events within the application are recorded. The recorded events are replayed and analyzed ... | 02/02/2012 |
| 20110321001 | VISUALIZATION OF RUNTIME ANALYSIS ACROSS DYNAMIC BOUNDARIES The formulation of an architectural diagram of a software program having multiple components. A static model identifying at least some of the components and a relationship between the components is accessed by perhaps performing a static code analysis of the code of the... | 12/29/2011 |
| 20110314454 | INCREMENTAL COMPOSITIONAL DYNAMIC TEST GENERATION Concepts and technologies are described herein for incremental compositional dynamic test generation. The concepts and technologies described herein are used to increase the code coverage and security vulnerability identification abilities of testing applications and de... | 12/22/2011 |
| 20110296388 | STATIC ANALYSIS USING INTERACTIVE AND INTEGRATION TOOLS Systems, methods, and computer storage media having computer-executable instructions embodied thereon that facilitate static software program analysis using an interactive tool and/or a disassembly integration tool are provided. An interactive tool enables a user to vie... | 12/01/2011 |
| 20110289488 | Generating Test Sets Using Intelligent Variable Selection and Test Set Compaction In one embodiment, constructing one or more sets of variables corresponding to one or more input variables of a software module respectively; for each one of the sets of variables, computing an average branching depth that is affected by the set of variables; selecting ... | 11/24/2011 |
| 20110276949 | MEMORY LEAK DETECTION Embodiments of the invention provide systems and methods for detecting an analyzing memory leaks. According to one embodiment, a method of detecting a memory leak can comprise collecting instance count data for a number of instances of a plurality of classes in a memory... | 11/10/2011 |
| 20110271258 | Software Development Tool A system and method for providing a completion list associated with computer program source code and a dynamic expression. A dynamic analysis is performed to find and aggregate one or more candidate types of the expression. During an execution of the target program, a r... | 11/03/2011 |
| 20110265065 | DEFECT PREDICATE EXPRESSION EXTRACTION A defect predicate expression extraction device. The device extracts, as candidates for predicate expressions representing defects, predicate expressions occurring in the neighborhood of predicate modifying expressions representing suddenness or predicate modifying expr... | 10/27/2011 |
| 20110258609 | METHOD AND SYSTEM FOR SOFTWARE DEFECT REPORTING A method and system ties together the identification of a defect during testing with the supporting application code on the systems that led to the generation of a defect. The association between the two is through the use of a unique Trace ID. This Trace ID is unique t... | 10/20/2011 |
| 20110252408 | PERFORMANCE OPTIMIZATION BASED ON DATA ACCESSES DURING CRITICAL SECTIONS Detecting optimization opportunities is enabled by utilizing a trace of a target concurrent computer program and determining a relation between data objects accessed during the tracked execution. The relation may be stored in a Temporal Relation Graph (TRG), in an exten... | 10/13/2011 |
| 20110246968 | Code-Clone Detection and Analysis Techniques for detecting, analyzing, and/or reporting code clone are described herein. In one or more implementations, clone-code detection is performed on one or more source code bases to find true and near clones of a subject code snippet that a user (e.g., a software... | 10/06/2011 |
| 20110231828 | EVALUATING AND ENFORCING SOFTWARE DESIGN QUALITY Evaluation and enforcement of software design quality, in which a system applies design quality rules to a design of a software application to detect violations and provides output describing one or more violations of the design quality rules detected. Based on the outp... | 09/22/2011 |
| 20110225569 | AUTOMATED DESKTOP BENCHMARKING A plurality of user interactions in a baseline computing system are intercepted and recorded, in an artifact file, with a benchmarking tool. The recorded user interactions from the artifact file are replayed and injected to a software stack of a system under test (whose... | 09/15/2011 |
| 20110209126 | INTER-PROCEDURAL ANALYSIS OF COMPUTER PROGRAMS This invention concerns inter-procedural analysis of computer programs. The need for inter-procedural analysis arises, for instance, where information is to be passed across the boundaries between functions; for example, by passing a pointer of variables to another func... | 08/25/2011 |
| 20110209125 | GENERATING DEBUG INFORMATION ON DEMAND An introspection tool monitors the execution of software. The operating system is being executed using an executable of a software source code file. The software source code file is associated with one or more additional source files. The introspection tool detects a tr... | 08/25/2011 |
| 20110196722 | MARKETPLACE FOR CAPTCHA DEVELOPERS Techniques are described herein for providing a marketplace for CAPTCHA developers. A CAPTCHA is a type of challenge-response test that a content provider may present to users for authorizing the users to access content that is hosted by the content provider. CAPTCHA de... | 08/11/2011 |
| 20110197180 | SYSTEM AND METHOD FOR SECURING WEB APPLICATION CODE AND VERIFYING CORRECTNESS OF SOFTWARE Methods, software tools and systems for analyzing software applications, e.g., Web applications, are described. A software application to be analyzed is transformed into an abstract representation which preserves its information flow properties. The abstract interpretat... | 08/11/2011 |
| 20110179399 | ESTABLISHING A USEFUL DEBUGGING STATE FOR MULTITHREADED COMPUTER PROGRAM A facility for supporting the analysis of a multithreaded program is described. For each of a number of threads of the multithreaded program, the facility identifies a semantically meaningful point in the execution of the thread. The facility interrupts the execution of... | 07/21/2011 |
| 20110173592 | Architectural Support for Automated Assertion Checking A mechanism is provided for automatic detection of assertion violations. An application may write assertion tuples to the assertion checking mechanism. An assertion tuple forms a Boolean expression (predicate or invariant) that the developer of the application wishes to... | 07/14/2011 |
| 20110167413 | COVERAGE APPARATUS AND METHOD FOR TESTING MULTI-THREAD ENVIRONMENT A coverage apparatus and method for testing a multi-thread environment is provided. The coverage apparatus and method analyzes an application to search for synchronization blocks, forcedly schedules an execution order of a plurality of threads including the detected syn... | 07/07/2011 |
| 20110161938 | INCLUDING DEFECT CONTENT IN SOURCE CODE AND PRODUCING QUALITY REPORTS FROM THE SAME Defect content for a computer program product can be stored with source code of the computer program product. A computer program product analysis tool having a graphical user interface can be provided. Search criteria for defect content for the computer program product ... | 06/30/2011 |
| 20110161937 | PROCESSING PREDICATES INCLUDING POINTER INFORMATION A system is described for processing predicates in the course of analyzing a program, based on a general-purpose theory of pointers. The system converts location expressions in the predicates into logical formulae that are interpretable by a theorem prover module, produ... | 06/30/2011 |
| 20110145785 | Automatic Optimization of String Allocations in a Computer Program Access is obtained to an input object-oriented computer program. In the input object-oriented computer program, semantically equivalent objects are identified, which exist in different memory locations. If at least one of: a number of occurrences for the semantically eq... | 06/16/2011 |
| 20110138368 | Verifying function performance based on predefined count ranges A computer-implemented method of finding portions of a computer program exhibiting irregular performance can include detecting an entry into a function of a computer program under test indicating a current execution of the function and, responsive to detecting an exit f... | 06/09/2011 |
| 20110131554 | APPLICATION GENERATION SYSTEM, METHOD, AND PROGRAM PRODUCT A method, system and computer program product for optimizing performance of an application running on a hybrid system. The method includes the steps of: selecting a first user defined operator from a library component within the application; determining at least one ava... | 06/02/2011 |
| 20110126174 | Thread serialization and disablement tool A computer-implemented method of performing runtime analysis on and control of a multithreaded computer program. One embodiment of the present invention can include identifying threads of a computer program to be analyzed. With a supervisor thread, execution of the iden... | 05/26/2011 |
| 20110087892 | Eliminating False Reports of Security Vulnerabilities when Testing Computer Software A system for eliminating false reports of security vulnerabilities when testing computer software, including a taint analysis engine configured to identify a tainted variable v in a computer application, a data mapping identification engine configured to identify a vari... | 04/14/2011 |
| 20110088018 | METHODS AND APPARATUS FOR TESTING USER INTERFACES Methods and apparatus for testing user interfaces are disclosed herein. An example method includes extracting object data from a file associated with a user interface; storing a plurality of object definitions corresponding to the extracted object data in a computer rea... | 04/14/2011 |
| 20110078666 | System and Method for Reproducing Device Program Execution Provided are a system and method for precisely reproducing a device program execution, such as reproducing a software program executed on a computer for example. The method provides a solution to a class of diagnosis methods known as “record/replay” or “determinis... | 03/31/2011 |
| 20110078665 | COMPUTING A SYMBOLIC BOUND FOR A PROCEDURE A system that facilitates computing a symbolic bound with respect to a procedure that is executable by a processor on a computing device is described herein. The system includes a transition system generator component that receives the procedure and computes a disjuncti... | 03/31/2011 |
| 20110066419 | Method to Simulate a Digital System A simulator is partitioned into a functional component and a behavior prediction component and the components are executed in parallel. The execution path of the functional component is used to drive the behavior prediction component and the behavior prediction componen... | 03/17/2011 |
| 20110061043 | Devices, Methods And Computer Program Products For Reverse Execution Of A Simulation Devices, methods, and software program products for reverse execution of a simulation and/or tracing a value are provided. A state of a preceding checkpoint may be restored and a simulation may be run forward. Break points or watch points may be noted and the state of t... | 03/10/2011 |
