61 results about "Runtime error" patented technology

system and method for automatically identifying a source of a run-time error in a computer system comprises a static analysis system (SAS), an instrumentation system (IS) and a post-execution analysis system (PEAS). The is arranged to generate static analysis data on computer program code (CPC) for the computer system, including information on possible behaviors of the CPC when executed. The IS is arranged to instrument the CPC by inserting marker triggers into the CPC that, generate a marker associated with each of a number of predetermined points in the CPC that would be reached during execution of the CPC. Each marker is, uniquely identifiable. The predetermined points are determined in dependence on the static analysis data. The PEASpost execution analysis system is arranged to processes data on a run-time error produced by execution of the instrumented CPC, wherein the generated markers and the static analysis data to identify the source of the run-time error.

A system and method is disclosed for recording checkpoints in a distributed system. A distributed system comprises one or more computers implementing a plurality of nodes coordinating with one another to maintain a shared state of the distributed system. The system chooses a given one of the plurality of nodes to record a checkpoint of the shared state. In response, the given node records the checkpoint by isolating itself from communication with the other nodes, storing the checkpoint, restarting, and attempting to reinitialize its state from the stored checkpoint. Restarting may include deliberately causing a runtime error in the node. If the reinitialization is successful, the node restores communication with the other nodes and indicates to them that the newly stored checkpoint is valid.

A method of detecting runtime errors relating to a stack of a computer program can include during compilation of the computer program, inserting dummy variables between declarations in the stack. During execution of the computer program, if at least one of the dummy variables is accessed, a determination can be made that a runtime memory access error has occurred.

Processing units are configured to capture the unit state in unit level error status registers when a runtime error event is detected in order to facilitate debugging of runtime errors. The reporting of warnings may be disabled or enabled to selectively monitor each processing unit. Warnings for each processing unit are propagated to an exception register in a front end monitoring unit. The warnings are then aggregated and propagated to an interrupt register in a front end monitoring unit in order to selectively generate an interrupt and facilitate debugging. A debugging application may be used to query the interrupt, exception, and unit level error status registers to determine the cause of the error. A default error handling behavior that overrides error conditions may be used in conjunction with the hardware warning protocol to allow the processing units to continue operating and facilitate in the debug of runtime errors.

The embodiments disclosed herein extend to methods, systems, and computer program products for error resolution in a computing system that includes a health module. The health module monitors components of the system for runtime errors and provides error resolution templates. The error resolution templates include metadata that specifies actions that may resolve the error and error handlers corresponding to the actions that may correct the error. The system may be extended by the addition and/or modification of the error resolution templates. The error resolution templates may also be used to facilitate the correction of runtime errors in the system.

The invention discloses a runtime error analytical method based on abstract interpretation and model verification. The method includes the following steps that on the basis of the abstract interpretation theory, the program numerical variable value range is analyzed by the adoption of a forward iteration method, the variable value range information is obtained when program points are stable, and the iterative computations of loop nodes are achieved by the way that loop unrolling and delay widening are combined; the variable value range information at the relevant program points needing to be detected is converted to be in an assertion or hypothesis mode to be plugged into a program according to a runtime error type to be analyzed; the assertion or hypothesis programs are converted into a Boolean formula, wherein the Boolean formula comprises limiting conditions and attributes; the correctness of the attributes in the Boolean formula is judged through an SAT verifier, if correct, it shows that relevant runtime errors do not exist, if not correct, it shows that the relevant runtime errors exist, and relevant counter example paths are output. By means of the method, an equilibrium point is acquired between runtime error analysis precision and efficiency.

An apparatus and method for detecting an error occurring when an application program is executed in a computer environment is provided. The error detection apparatus may measure a deterministic progress index (DPI) and a program counter (PC) value when an instruction is executed, set, as a verification set, a DPI and a PC value measured when the instruction is executed without causing an error, set, as a measurement set, the DPI and the PC value measured when an instruction is executed, and detect a runtime error of the instruction by comparing the measurement set to the verification set.

The invention discloses a static analysis method of errors during the operation of aerospace embedded C language software. The static analysis method comprises the following steps of: (1) classifying the errors during the operation of the aerospace embedded C language software according to generation mechanisms of the errors and constructing an attribute state machine according to each type of the errors; (2) getting attribute states and path conditions of all nodes in a program control flow graph according to the constructed program control flow graph of software source codes to be detected and the attribute state machine; and (3) analyzing the errors during the operation according to the obtained attribute states and the path conditions. According to the static analysis method disclosed by the invention, accuracy and efficiency in detection of the errors during the operation of the aerospace embedded C language software are improved.

A user administers web hosting on user's server from his computer remotely. When a run time error is generated, an error message is sent to a server connected to a knowledge database. If the error matches the known error form the knowledge database, the user is provided an article with a solution to the run-time error. Statistics of occurrence of the errors are saved in the knowledge database. The frequently occurring errors are provided to developers for creating hosting application updates. Additionally, security policies of the user's server can be updated based on the data from the knowledge database.

A user administers web hosting on user's server from his computer remotely. When a run time error is generated, an error message is sent to a server connected to a knowledge database. If the error matches the known error form the knowledge database, the user is provided an article with a solution to the run-time error. Statistics of occurrence of the errors are saved in the knowledge database. The frequently occurring errors are provided to developers for creating hosting application updates. Additionally, security policies of the user's server can be updated based on the data from the knowledge database.

A run-time monitor allows defining sets of run-time error criteria and corresponding diagnostic action to take when the run-time error criteria is satisfied. One way to define the run-time error criteria is to take a baseline measurement of run-time errors that occur during normal processing conditions. A run-time error criteria may then be defined that is based on the baseline measurement. In this manner, a rate of run-time errors that normally occur may be ignored, while a rate of run-time errors in excess of the run-time error criteria could automatically initiate diagnostic action. In this manner, the ability of a programmer to debug run-time errors is significantly enhanced.

A processor that includes a storage medium which includes microcode that performs runtime analysis. The storage medium can include instrumented microcode that monitors at least one execution of a machine instruction resulting in a memory access, instrumented microcode that accesses at least one memory state indicator to determine whether the memory access is improper, and instrumented microcode that outputs an exception when the memory access is improper.

The detection and interpretation of data pertaining to the usage of software and documents by end users, and more specifically, the automation of the mining of raw hierarchical object data for information on specific software and document usage and the automatic generation of statistical data on its usage and runtime errors.

A solution authoring tool that includes an authoring environment that allows for the authoring of multiple projects of a solution including a database project that has a schema and a partner project that has a reference to the schema. When the database project is built and deployed, the database schema is made ready for runtime. When the partner project is built and deployed, the schema reference is provided within the partner software such that the partner software may interface with the database schema at runtime. To reduce or eliminate database schema drift at development time causing runtime errors at runtime, a model bus at least partially synchronizes changes made to the schema in the database project to the schema reference in the partner project, and vice versa.

A method for processing an endless loop of a game server includes the steps of firstly, detecting the endless loop, after judging that a main thread enters the endless loop, hanging up the main thread through a monitoring thread, and temporarily stopping running of the main thread; secondly, after a Lua language program of the main thread enters the endless loop, actively triggering errors in the running process of the Lua language program by processing the monitoring thread, and stopping running of the Lua language program, then jumping back to C/C++, relieving from the endless loop, preventing the same codes from running again through subsequent processing, and preventing the game server from entering the endless loop again. The method for processing the endless loop of the game server is stable and effective.

The invention discloses a method for automatically repairing a Java software dependency conflict problem, which comprises the following steps of: finding out the dependency conflict problem by analyzing the dependency relationship of Java software projects, and performing static analysis to obtain a class and a method for realizing a program and a possible calling path between the class and the method. According to the method, four repair strategies are set, different strategies are selected according to the risk types to load the risk-free version into the current project, and a proper dependency version is selected according to the calling path relation of the project to carry out automatic version replacement, so that developers are helped to effectively avoid the dependency conflict problem. Whether more dependency conflicts which can cause errors during operation are brought to the project or not can be evaluated during repairing, and finally a repairing patch and a repairing report are automatically formed to a developer. The probability that a developer encounters a runtime error in the development process is reduced, the time for solving the runtime error is shortened, and the development cost is saved.

The invention provides a discovery method of mismatched interaction between operation flows. The discovery method comprises the following steps: selecting two operation flows from a plurality of operation flows to be processed; based on the relationship of two activities participating in interaction in either selected operation flow, determining the relationship of the interaction pair which the activities belong to in the operation flow so as to obtain the relationship set between the interactive interaction pairs contained in the two selected operation flows, wherein the relationship set between the interaction pairs includes the relationship of the interaction pairs in the two selected operation flows; and determining the incompatible interaction pairs in the two selected operation flows based on the relationship between the incompatible interaction pairs contained in the relationship set between the interaction pairs so as to generate an integrated incompatible interaction set of the two selected operation flows. The discovery method has the advantages of high speed, high efficiency and easy implementation, and can find out the different types of mismatching interactions, can accurately find out the mismatching interaction between the two operation flows, which is causes by which interactions, and can find out the mismatching interaction caused by run time errors.

The present invention discloses an operation error processing method and system and an intelligent terminal, belonging to the technical field of intelligent terminals. The method comprises: step S1, using a monitoring interface to monitor whether a runtime error occurs to an application in the intelligent terminal, and going to the step S2 when monitoring that the runtime error occurs; step S2, creating a processing thread independent from the application, processing the runtime error of the application with a preset method, and going to the step S3 after the processing is completed; and step S3, terminating the processing thread, then returning to the step S1. The system comprises a processing unit, a monitoring unit and an error processing unit. The technical scheme has the beneficial effects of solving the problems that the application of the intelligent terminal is easy to forcedly terminated when the runtime error occurs in the application, and the like, and improving user experience.