592 results about "Program analysis" patented technology

A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and effectiveness of such a framework are demonstrated using a sample application of the framework. The comparison yields new insights into the effectiveness of the techniques employed in both analysis tools. These encouraging results yield the observation that such a unified program analysis framework will prove to be valuable both as a testbed for examining different language analysis techniques, and as a unified toolset for broad program analysis.

A system and method for dynamically evaluating an electronic commerce business model through click stream analysis is disclosed. An electronic commerce business model is incorporated into a Web site. The Web site includes a plurality of related Web pages structured in a hierarchical manner. Each Web page includes one or more hyperlinks selectable by a user. A plurality of data vectors is stored. Each data vector represents a click stream path through the Web site. Each data vector includes a set of data entries that each corresponds to Web content selected via the hyperlinks in the related Web pages. Each click stream path is classified based on at least one such data entry in the data vector. The classified click stream path shares at least one common characteristic with one or more other click stream paths. The classified click stream paths are analyzed according to a pre-defined evaluation procedure directed at determining at least one of efficacy of presentation and shifts in demography. The electronic commerce business model is compared to the classified click stream paths analysis.

A system and method for collecting and aggregating data from a plurality of data generating machines. The system includes a plurality of data generating machines each having a transceiver for transmitting data pertaining to a monitored sales event of each of the plurality of data generating machines via at least one of a terrestrial, Internet, satellite, and landline network. At least one first computer receives and cumulatively stores the data transmitted by each of the plurality of data generating machines. At least one second computer is operatively communicable with the at least one first computer and runs at least one application software program that analyzes the data to determine consumer buying habits and/or preferences. Advertising data can be transmitted that provides message content at least partially determined by an analysis of the data.

A system and method for implementing a debugging graphical program in a main graphical program. A user can associate a debugging graphical program with a wire in a data flow diagram in order to debug and/or analyze the main graphical program. This association does not change or require recompilation of the main graphical program. The debugging graphical program, or smart probe, receives the data from the main graphical program, analyzes this data, and can perform one of several actions. The debugging graphical program can display the data in the wire, generate statistics based on received data, log statistics or data to a file, or perform other analysis functions. The debugging graphical program can also cause the main graphical program into halting execution, entering single stepping mode, etc. The user may choose a debugging graphical program already present, or create one using graphical programming techniques.

A combination of several analytical computer-assisted modeling techniques may be used to evaluate the value of a brand, the relative value of competitive brands and may identify the opportunities to increase brand value and the priority of those opportunities. Image/Attitudinal driver analysis, pyramid analysis, probability analysis, trade-off analysis, and other regression techniques may be used in novel combinations to quantify brand development, impacts and the overall estimate of brand value. For example: (1) image driver analysis may be applied to each level of a brand pyramid to understand how to most effectively move customers through to the next level in the pyramid; (2) probability analysis may be used to estimate the impact of each movement through the pyramid; and (3) tradeoff analysis may be used to improve the value customers perceive at any particular level of the pyramid.

A program analysis/verification service provision system (1) includes: a tool registration/search section (313) for extracting, from a plurality of program analysis/verification tools (virtual machines) stored in a tool storage section (320), a virtual machine (T) in which a program analysis/verification tool for use in analysis/verification of a target program (P) has been installed and set; and a virtual machine execution environment section (120) for analyzing/verifying the target program (P) with use of the virtual machine (T) thus extracted.

A method and data processing system assesses the security vulnerability of a network. A system object model database is created and supports the information data requirements of disparate network vulnerability analysis programs. Only the required data from the system object model database representing the network is imported to the programs, which then analyze the network to produce data results from each program. These data results are stored in a common system model database and within the data fact base. Goal oriented fuzzy logic decision rules are applied to determine the vulnerability posture of the network.

A system and method for automated determination of quasi-identifiers for sensitive data fields in a dataset are provided. In one aspect, the system and method identifies quasi-identifier fields in the dataset based upon a static analysis of program statements in a computer program having access to—sensitive data fields in the dataset. In another aspect, the system and method identifies quasi-identifier fields based upon a dynamic analysis of program statements in a computer program having access to—sensitive data fields in the dataset. Once such quasi-identifiers have been identified, the data stored in such fields may be anonymized using techniques such as k-anonymity. As a result, the data in the anonymized quasi-identifiers fields cannot be used to infer a value stored in a sensitive data field in the dataset.

A software database system is provided that includes an automatic code analysis and self-documentation program. This program operating on a computer analyzes and fragments input code into constituent code segments and self-documents those segments. A code repository stores the code segments. A code-generating algorithm operating on a microprocessor extracts the code segments from the repository to generate a standard code page that is deployable on a server.

A method for analyzing an original program to check an affected part by weaving an aspect and presenting the analysis result. An analysis device has an analysis processing portion for inputting a program based on aspect oriented programming, and acquiring data dependence information and control dependence information in the input program. A influence tracking portion tracks the data dependence and the control dependence acquired by the analysis processing portion starting from a position of weaving an aspect in the program, and searching a propagation path of the influence due the aspect weaving. A display control detects and displays a part undergoing the aspect weaving influence, based on the result of parsing by the analysis processing portion and information about the propagating path obtained by the influence tracking portion.

The invention discloses a method for detecting code similarity based on semantic analysis of a program source code, which relates to computer program analyzing technology and a method for detecting complex codes of computer software. The method solves the prior problems of low similarity detection accuracy and high computing complexity on the codes of different syntactic representations and similar semantemes, and also solves the problem of incapability of realizing large-scale program code similarity detection. The method comprises the following steps: resolving two segments of source codes to be detected into two control dependence trees of a system dependence graph respectively and executing basic code standardization respectively; utilizing a measure method to extract candidate similar code control dependence trees of the control dependence trees which are subjected to the basic code standardization; executing an advanced code standardization operation on extracted candidate similar codes; and computing semantic similarity to obtain a similarity result so as to finish the code similarity detection. The method is applied to source code piracy detection, software component library query, software defect detection, program comprehension and the like.

A system and method related thereto, for automatically inspecting at least one tire of a moving vehicle. The system includes an image acquisition device including at least one camera. The camera acquires multiple real-time images of at least one tire of a moving vehicle. As the tire of the vehicle enters a field of view of the camera, the camera component is configured to photograph and transmit the multiple photographs of the at least one tire. A light source illuminates the at least one tire of the vehicle in the field of view of the camera, and the light application may be synchronous with the imaging performed by the camera. A computer image processing component receives the multiple images transmitted from the camera and analyzes the multiple images using a detection program. The computer imaging processing component analyzing the photographs and provides an inspection analysis of each at least one tire.

Selected regions of native instructions translated in a DBT environment from non-native instructions are compressed based on the independent compression of different fields of selected instructions using compression tables to reduce a length of selected fields. The regions of compressed instructions are stored and de-compressed into the native instructions during subsequent execution using de-compression tables. Specifically, for native instructions of a selected region, selected types of opcodes and/or operands may be compressed independently. The types may be selected by profiling the opcodes using benchmark programs and creating an opcode conversion table prior to compression, and scanning of the operands and creating an operand conversion table during compression of the opcodes.

The present invention relates to a determination method for making it possible to determine the position of a body part subject to vital movement that is to be irradiated, by means of determining a region of an analytical image,

wherein the region represents a body part subject to vital movement, in particular a tumor in an anatomical body, and performs a change in position from one analytical image to the next that reflects the vital movement, wherein the body parts subject to vital movement are parts of the body that are to be irradiated or are not to be irradiated and that move as a result of vital functions such as respiration and/or heartbeat even when the anatomical body is otherwise kept deliberately at rest,

advance analytical image data, which includes the description of an advance analytical image having an advance region in which a first body part subject to vital movement is represented, is provided,

procedure analytical image data that includes the description of a procedure analytical image of the body structure is provided,

on the basis of the advance analytical image data and the procedure analytical image data, a procedure region, which corresponds to the advance region and occupies a procedure position in the procedure analytical image, is determined in the procedure analytical image,

wherein a) determination of the procedure position of the procedure region is based on movement data that includes information on the vital movements of the body parts that are caused by the vital functions, and/or b) determination of the position of a second body part subject to vital movement is based on the determined procedure position and information on the relative position between the first and the second body part subject to vital movement.