32 results about "Single assignment" patented technology

A method, system, and computer readable medium for converting a series of computer executable instructions in control flow graph form into an intermediate representation, of a type similar to Static Single Assignment (SSA), used in the compiler arts. The indeterminate representation may facilitate compilation optimizations such as constant propagation, sparse conditional constant propagation, dead code elimination, global value numbering, partial redundancy elimination, strength reduction, and register allocation. The method, system, and computer readable medium are capable of operating on the control flow graph to construct an SSA representation in parallel, thus exploiting recent advances in multi-core processing and massively parallel computing systems. Other embodiments may be employed, and other embodiments are described and claimed.

The invention is a method of using static single assignment intermediate language to color out artificial register dependencies while compiling at least a portion of a computer program. The method comprises creating a rank-n SSA intermediate language representation of the computer program, wherein n is a positive integer greater than 1; and coloring out the artificial register dependencies.

The invention discloses a method for binary code vulnerability discovery on the basis of simple symbolic execution. The method comprises five steps that: firstly, binary codes are translated into an intermediate language with a static single assignment through a binary code translation component; and then, a disassembling engine is used to disassemble the binary codes, the control flow information of the binary codes is extracted, static symbolic execution is carried out in the intermediate language on the basis of the control flow information, an entrance point needs to be determined during the symbolic execution process, an input vector is converted into a symbol, and a called function is modeled. After the symbolic execution process is completed, the statement assembly of the intermediate language which depends on the input vector can be obtained, the statements of an assembly are simplified, and a vulnerability discovery confirmation report is generated after security attribute rules are used to confirm.

Techniques for generating concurrent static single assignment (CSSA) are provided. The techniques include generating a clocked control flow graph of a program, for each thread of the program created through async instruction, determining each part of the program that can execute concurrently with each thread to create a pair comprising a thread and a parallel program part, for each pair that can execute concurrently, using one or more flow equations to perform node-by-node matching, and using the node-by-node matching to generate CSSA form for the program.

A method to provide effective control and data flow information in an Intermediate Representation (IR) form. A Path Sensitive single Assignment (PSA) IR form with effective and explicit control and data path information supports control flow sensitive optimizations such as path sensitive symbolic substitution, array privatization and speculative multi threading. In the definition of PSA form, besides defining new versioned variables, the gamma functions keep control path information. The gamma function in PSA form keeps the basic attribute of SSA IR form and only one definition exists for each use. Therefore, all existing Single Static Assignment (SSA) IR form based analysis can be applied in PSA form. The gamma function in PSA form keeps all essential control flow information and eliminates unnecessary predicates at the same time.

A method in which a network apparatus 210 transmits a single assignment message comprising common assignment information directed to plural wireless terminals. The single transmitted assignment message can be used to enable channel assignment to be initiated for the plural wireless terminals, thus making more efficient use of the assignment message. This may be advantageous when a channel via which the assignment message is transmitted has a lower communication capacity than a channel via which the requests are received. In a GERAN communications system (100, FIG. 1), the effective capacity of the access grant channel can be doubled or tripled, acting to reduce congestion. This increases the probability of a wireless terminal receiving a response to a channel request which it sends. The probability of a successful data transfer following a channel request is thereby increased. Other aspects, embodiments, and features are also claimed and described.

Methods and systems for performing allocation of mixed-type combinations of slots are provided. Specifically, in a single assignment message, an allocation of slots over two framed and slots over four frames is performed. These can be RTTI and BTTI blocks for example.

The invention discloses a circuit breaker state online diagnosis method and a system based on PMU (Phasor Measurement Unit) data, which relate to the technical field of power system circuit breaker protection. A grey target theory is introduced to circuit breaker state diagnosis, the irrationality of adopting a weight average algorithm to calculate the approaching degree by the traditional grey target theory is improved, a hierarchy-entropy weight combined weight calculation method is put forward, the influence weight of each index for an evaluation result is solved, advantages of the two aretaken to remedy disadvantages of each, both subjective and objective factors are considered, defects of a single assignment method are avoided, weight determination is thus more rational, the safe andreliable operation is very important for improving reliable power supply of the power grid, and a basis is laid for realizing state maintenance for the circuit breaker.

The invention relates to a structure optimization method for a low frequency electromagnetic sensor based on a genetic algorithm. The method is suitable for the structure design of a COMSOL analog low frequency electromagnetic sensor model and the shape reconstruction for defect detecting and belongs to the field of nondestructive detection. The method comprises the following steps: on the basis of simplifying the COMSOL analog low frequency electromagnetic sensor model, parameterizing an optimization model of the COMSOL analog low frequency electromagnetic sensor and defining the reading paths for different variables; setting a genetic optimized fitness function and main parameters including an algorithm running parameter and a control parameter; compiling a dynamic link function, calling for the COMSOL model by MATLAB and constructing a channel for mutually transferring data; calling a COMSOL genetic algorithm for optimizing the parameters of the low frequency electromagnetic sensor model, and while acquiring the fitness function meeting the convergence criterion, acquiring an optimized result, namely, the optimized structure parameter of the low frequency electromagnetic sensor. According to the method provided by the invention, the limitation of the COMSOL single assignment operation is broken through and the intelligent optimization of the COMSOL model parameters is realized.

A method for verifying software program code includes specifying a property that the software program code is expected to satisfy. The software program code and the property are transformed into an initial logical formula in a static single assignment (SSA) form, the formula including variables. A loop in the software program code is identified. Successive over-approximations are applied to a portion of the initial logical formula corresponding to the loop in order to produce a modified logical formula in the SSA form that represents a finite over-approximation of a set of states that are reachable by the loop. It is verified that the software program code satisfies the specified property by determining whether there is an assignment of the variables that satisfies the modified logical formula.

The invention relates to a method for analyzing a space distribution feature of ground rainfall runoff pollution based on a GIS (Geographic Information System) technology. The method comprises the following steps: acquiring space information data of a land area in a research area; performing sampling and analyzing; preprocessing detection data of rainfall runoff pollution and establishing a database; building an optimal GIS model; and generating a space distribution map of rainfall runoff pollution levels. In the method, the GIS technology is introduced into the analysis for the space distribution feature of the rainfall runoff pollution, so that faults caused by a subjective method are reduced. Meanwhile, the space distribution feature of the rainfall runoff pollution is simulated by the GIS technology, so that the problem of relatively low accuracy of a calculation result due to a conventional export coefficient method in which single assignment is mainly performed according to the type of land use is solved, and scientific guidance is provided for the effective making of a rainfall runoff pollution control strategy, the implementation of a pollution control measure and the development of sponge city construction.

The invention discloses a constraint solving based code search method. The constraint solving based code search method specifically includes the steps of 1), acquiring an open source project from an open source community; 2), analyzing a source code by adopting JPF (Java Pathfinder) and JDT (Java Development tools) and converting the source code into an SSA (static single-assignment) format; 3), analyzing a code of the SSA format by using the JDT and converting the source code into constraint; 4), subjecting the source code and the generated constraint to one-to-one correspondence and establishing a code-constraint library; 5), establishing a code search system and helping a user search the code. The main characteristic of the method is to solve the code search problem on the basis of constraint solving and deal with loop statements and class member variables, lack of previous work is made up, accuracy rate in code search is greatly improved, and the required code can be searched by aprogrammer during the software development process with reference and reuse to improve software development efficiency and quality.

The present invention is a systematic and data-driven-decomposition (DDD) method and apparatus for use in VLSI synthesis. The invention decomposes a high level program circuit description into a collection of small and highly concurrent modules that can be implemented directly into transistor networks. This enables an automatic implementation of a decomposition process currently done by hand. Unlike prior art syntax-based decompositions, the method of the present invention examines data dependencies in the process' computation, and then attempts to eliminate unnecessary synchronization in the system. In one embodiment, the method comprises: a conversion to convert the input program into an intermediate Dynamic Single Assignment (DSA) form, a projection process to decompose the intermediate DSA into smaller concurrent processes, and a clustering process that optimally groups small concurrent processes to make up the final decomposition. Another embodiment is a decomposition, projection, and clustering tool implemented in computer program codes.

A method for accelerating the generation of an optimized netlist from a RTL representation is provided. The method optimizes a given RTL description of an integrated circuit (IC) design by: generating a static single assignment (SSA) graph; creating value range propagation for each variable in the SSA graph; and, applying one or more of a set of optimization algorithms on the SSA graph. The optimization algorithms include, but are not limited to, dead-code elimination, bitwidth analysis, redundancy elimination, iteration loop optimization, algebraic simplification and so on. These algorithms operate on a word-level description to enable fast optimization. Furthermore, the optimized RTL accelerates the overall flow of an IC design.

The invention relates to a method and a system for optimizing a computer program. The method comprises the following steps of: step 1, acquiring value numbers of each variable and each expression through value number analytic calculations; step 2, converting a static single assignment type computer program into a semi-sparse value flow graph type computer program; step 3, calculating the initial attribute, required for performing scalar optimization, of the semi-sparse value flow graph type computer program, if the initial attribute comprises all required optimization information, performing the step 4, otherwise expanding the semi-sparse value flow graph type computer program into a sparse value flow graph type computer program, calculating the attribute required for performing the scalar optimization, and when all the attributes are calculated, performing the step 4; and step 4, performing program transformation on the semi-sparse value flow graph type computer program or the sparse value flow graph type computer program according to the calculated attributes so as to optimize the computer program. The method and the system can improve the efficiency of program optimization.

A method and system for generating a new vocabulary based writing assignment, performed by at least one computer processor executing computer program instructions stored on at least one non-transitory computer-readable medium, the method including: receiving additional input from the user regarding a desired subject; receiving input from the user regarding one or more students to be associated with the new writing project, wherein the one or more students are selected from a student database; generating a potential vocabulary word list; selecting one or more individual vocabulary words from the potential vocabulary word list; forming a word bank being associated with the new writing project using the selected individual vocabulary words; receiving assignment instructions from the administrator, the assignment instructions correlating to the new writing project; and generating a complete writing project including the word bank, and the assignment instructions.

The invention discloses an intelligent contract security auditing method based on symbol abstraction analysis, and the method comprises the following steps: S1, inputting a to-be-detected contract source code, and generating a static detection file through a contract compiler; s2, traversing the static detection file to generate a control flow chart (CFG) file and collecting contract information; s3, converting the CFG into a single assignment statement text SSA by using the contract information, performing modeling analysis on the single assignment statement text SSA, and traversing and collecting contract attribute information; s4, integrating the contract attribute information as input, executing vulnerability detection strategy search, and generating vulnerability types and vulnerability positions; s5, the vulnerability type and the vulnerability position serve as input of a symbolic analysis engine, a basic block where the vulnerability is located is inquired, the symbolic analysis engine analyzes the vulnerability type and the vulnerability position, traceability traversal is conducted on an execution path of the vulnerability, and the vulnerability is obtained. And completing verification and screening work of the generated vulnerability type and the vulnerability position.

The embodiment of the invention discloses a data processing method, device and system. The data processing method comprises the steps: compiling password protocol algorithm source code data to be processed based on an LLVM compiler, and obtaining initial LLVM intermediate code data; performing skip-free static single assignment processing on the initial LLVM intermediate code data to obtain processed intermediate code data; and performing conversion processing on the processed intermediate code data to obtain R1CS data. By utilizing each embodiment of the specification, the source code data ofthe cryptographic algorithm can be compiled to the R1CS data more simply and efficiently.

A method and system resolving a computed call/jump target with computed behavior. The method begins with stripping a structured control flow graph of a computer program down to only those instructions that can reach a computed call/jump instruction of interest. The method continues by setting instruction semantics of the computed call/jump instruction of interest to a single assignment with a synthetic call target state variable whose value is a symbolic expression representing the computed call/jump target. The method continues by extracting a computed behavior of the stripped structured control flow graph in terms of the synthetic call target state variable and checking a resulting final value of the synthetic call target state variable in the resulting stripped program behavior. When the synthetic call target state variable is equal to a constant, the computed call/jump target has been resolved to the constant value, which is stored to computer storage.