44 results about "Program trace" patented technology

The Electronic Compliance Promoter is a computer system for increasing a patient's compliance with medical post-care treatment instructions. The system permits the patient to review the treatment instructions that have been entered into a treatment instructions database by medical personnel at the time of the examination. The system includes a patient-client computer interface, a medical person-client interface, a treatment instructions database, and a compliance-server program. The database contains the post-visit care instructions and other types of information that the patient should have to understand and follow those instructions. The database also has treatment guideline information to assist the doctor in formulating the post-care treatment instructions. The patients client-computer interface provides a knowledge-based means for the patient to review interactively the Doctor's after care instructions, and measures compliance by tracking a patients' use of the specific designated diagnosis related resources. The medical personnel client-computer interface provides a knowledge-based means to designate the post-care medical visit instructions the patient is to follow. The compliance-server program tracks patients compliance and can send messages to patients reminding them to review the post-care treatment instructions. The Electronic Compliance Promoter system provides a means to significantly increase a patient's compliance with medical care instructions.

An Internet-scale file sharing system includes a client-side file sharing application that allows file-sharing users to identify files to share and transmit metadata corresponding to those files to a metadata repository. A server-side application operating on the metadata repository tracks metadata received from associated file-sharing users, as well as metadata from other affiliated metadata repositories. Each metadata repository acts as a search engine for any querying users and can provide search results based on locally stored metadata alone. Each metadata repository may additionally choose to locally-store popular files from an associated file-sharing user so as to alleviate transmission burdens on that file-sharing user. Associated metadata repositories each periodically synchronize their stored metadata so that all metadata repositories may generate similar search results. In such manner, file-sharing queries need only be performed by the metadata repository receiving the query, and not by all associated metadata repositories.

A method for using an external login procedure to track interactions on a website includes detecting an interaction between a web server and a user device including a request for login credentials of the user; receiving a transmission that includes information provided by a remotely-located external data source in response to the external data source verifying the login credentials, the information including a user identifier, and information associated with the user that is stored at the external data source; accessing a user profile in a profile database using the user identifier, where profiles have a hierarchy of profile states based at least in part on an amount of information provided by each user; storing the information in the user profile; and determining whether the profile state associated with the user profile should be changed based on the information associated with the user.

Disclosed herein is a computer implemented method and system for monitoring user activity and protecting information in an online environment. A security client application is provided on a computing device of a user. A local software component preloaded on the computing device is embedded within the security client application on the computing device. The security client application queries a policy server for a security policy for the user on receiving a request for access to the information from the user. The user is granted controlled access to the information based on the security policy. The granted controlled access enables enforcement of the security policy. The security client application permits the user to perform predefined activities on the information using the granted controlled access. The security client application prevents the user from performing activities apart from the predefined activities. The security client application tracks the performed predefined activities.

A debugger inserts instrumentation hooks in a multi-threaded computer program that allow collecting a program trace and that provide timestamps that correspond to the program trace. When a breakpoint in a first thread is encountered, a timestamp corresponding to the breakpoint is retrieved. Execution of the other threads may continue until the debugger is able to halt their execution. Once the execution of all threads has been halted, the program trace for each thread is traced backwards to a point where the timestamp is less than the breakpoint timestamp. Instructions are then executed, one by one, until the execution time of the instructions plus the timestamp is approximately the same as the breakpoint timestamp. The instruction in the program trace display is then highlighted to indicate the instruction that was likely being executed when the breakpoint in the first thread is encountered.

In a system for statically analyzing a specified computer, a verification condition generator converts the program into a logical equation, called a verification condition, and inserts program flow control labels into the sub-equations of the verification condition. The flow control labels identify conditional branch points in the specified computer program. A theorem prover is applied to the logical equation to determine truth of the logical equation, and when the truth of the logical equation cannot be proved, the theorem prover generates at least one counter-example identifying one of the conditions, one or more variable values inconsistent with that condition, and any of the flow control labels for conditional branch points of the program associated with the identified variable values. A post processing module converts each counter-example into an error message that includes a program trace when the counter-example identifies one or more of the flow control labels.

Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases.

An application (e.g., a computer program) prints data by invoking a print function with a format argument and, optionally, at least one data argument. The format argument and any data arguments are saved in a deferred trace data buffer. The print function returns to the application then, sometime after the print function has returned, the deferred trace data buffer is processed and the format argument and/or any data arguments are printed. By saving the format argument and any data argument(s) to a memory buffer instead of parsing and formatting the arguments in real-time, program efficiency may be improved and the impact of the print function on a software test scenario may be reduced.

Disclosed is a method of tracing a program that comprises: providing a relational database data structure defining a plurality of fields configured to store program trace information; executing a program comprising a plurality of functions including calling a function from the program; extracting first trace data of the function and storing the first trace data in a portion of the plurality of fields; and after executing the program, extracting second trace data associated with the first trace data and storing the second trace data in remaining portions of the plurality of fields.

The invention relates to a VPN connection separating method based on a operating system desktop, comprising: 1) setting a secure proxy equipment at the front end of a corporation inner net; 2) when an application program on a client machine accesses the VPN connection, firstly, the client machine downloads a VPN proxy program on the secure proxy equipment; 3) the VPN proxy program traces the application program sending the access after receiving the access require, then enumerates the operating windows of the application program, and finds corresponding desktop based on the windows; 4) the VPN proxy program judges whether the desktop is a virtual desktop; and 5) if the desktops is a virtual desktop, the VPN proxy program allows the application program accessing the VPN connection, and if the desktops is a real desktop, the VPN proxy program refuses the application program accessing the VPN connection. The invention makes only the application program operating on Symantec virtual desktop access the inner net resource of the corporation, while other programs operating in a real desktop of the operation system are forbidden to access the VPN connection to protect the sensitive information of the corporation.

The present invention belongs to the field of software fault diagnosis and provides an autonomously discovering method for a defect mode in a concurrent program, particularly a defect mode discovering method for mining system execution traces by using sequential patterns. According to the technical scheme provided by the invention, based on a plugged concurrent program, the execution of threads are dynamically scheduled during the operation of the plugged concurrent program; program execution information is collected in real time; a program trace sequence is stored as required; the execution sequence is mined; and the program defect pattern is autonomously discovered.

A method includes determining selected global variables in a program for which flow of the selected global variables through the program is to be tracked. The selected global variables are less than all the global variables in the program. The method includes using a static analysis performed on the program, tracking flow through the program for the selected global variables. In response to one or more of the selected global variables being used in security-sensitive operations in the flow, use is analyzed of each one of the selected global variables in a corresponding security-sensitive operation. In response to a determination the use may be a potential security violation, the potential security violation is reported. Apparatus and computer program products are also disclosed.

In one or more embodiments, one or more systems, method, and/or processes described herein can change/switch from a first trace mode to a second trace mode without halting a system under development and/or under test. For example, a debug/trace unit can switch a trace mode without halting a processing unit of a system under development and/or under test. For instance, a debug/trace unit can switch a trace mode that can occur on a change of flow boundary of program instructions executable by a processing unit, at a branch instruction, if a region of program instructions is entered or exited, and/or if a capacity of a buffer changes. In one or more embodiments, Nexus messages can be utilized, and trace mode switches can include switches to and/or from traditional and history traces modes.

The invention provides a constraint solving based atomic violation detection method. The method includes: determining an atomic region by the aid of an original execution trace of a concurrent program; establishing constraint relation of execution sequence among events in the original execution trace by combining with various error modes of atomic violation; performing constraint solving by the aid of a Z3 solver and converting the atomic violation detection problem into a solving problem of constraint equation. The method belongs to runtime prediction technique, an unexposed atomic violation error hidden in the original execution trace can be solved according to constraints, and better capability in detecting atomic violation is achieved; a set of constraints is established in an intertwining manner for the original program trace and unserializable executions, the atomic violation detection problem is converted into the solving problem of the constraints, and precision in atomic violation detection can be improved.