46 results about "Dead code" patented technology

In an information management system, policies are optimized before they are associated to a device in order to increase evaluation speed or reduce space requirements, or both. Optimization techniques may include common subexpression elimination, constant folding, constant propagation, comparison optimization, dead code or subexpression removal, map or lookup table generation, policy rewriting, redundant policy elimination, heuristic-based policy ordering, or policy-format transformation, and combinations of these.

The invention discloses a method for detecting redundant code defects based on static analysis, for solving the problem lacking of a mature method for detecting redundant codes and related defects currently. The method comprises the following steps of: 1, inputting a program to be tested; analyzing the program into an abstract syntax tree; 2, analyzing statements possibly including operations of explicit power and the like; detecting the operations of the explicit power and the like; 3, for locally defined variables, detecting redundant assignment statements by using an internal process analysis method; 4, traversing the abstract syntax tree of the program; searching structures including the defects on the basis of a standardized program dependency graph; detecting dead codes; 5, detecting redundant conditional expressions; 6, detecting operations of implicit power and the like; and 7, detecting redundant function parameters; and giving a defect detection report according to the six defect detection results obtained in the steps 2-7. The method disclosed by the invention is applicable for analyzing large-scale program codes.

A security system which includes at least a first sensor, an alarm panel including a control system and programmable apparatus, a connection between the at least one sensor and set alarm panel, a keypad assembly including a camera, and a connection between the keypad assembly and the alarm panel. In various embodiments of the invention the camera includes a CMOS image sensor, the camera produces digital images, the camera tracks the user of the keypad assembly, the camera is remotely controllable from the alarm panel to focus on an object of interest, and / or the camera is remotely controllable from a central monitoring station to focus on an object of interest. In some cases the camera system is configured to take a picture in response to a specific user code entered by the user, take a picture in response to time of day when the input occurs, take a picture in response to invalid code entry and / or take a picture in response to an invalid card being presented. The invention also includes the method for providing enhanced security for protected premises which includes providing at least a first sensor, providing an alarm panel including a control system and programmable apparatus, providing a connection between the at least one sensor and the alarm panel, providing an input device including a camera, and initiating operation of the camera from the alarm panel.

The invention provides a code protecting method and system based on a hook technology in JAVA. The code protecting method mainly comprises the steps that a JNI mechanism is mainly used, class calling is changed by modifying class mark information to native, and a nativeFunc is customized in a dynamic link library; class method codes which are called in the calling process of codes assigned to be protected are added to codes of the customized nativeFunc, and the class method codes which are called in the calling process of the codes assigned to the protected are replaced with arbitrary invalid codes; a class method called in the calling process of the codes assigned to be protected in a program to be protected is replaced with a general interface function exported by the dynamic link library; finally, the replaced program to be protected is output. The invention further correspondingly provides a corresponding system structure. By means of the method, calling of the function can be hidden in a dynamic link library file which is compiled into binary machine instructions, and thus the difficulty of reversing the calling is greatly increased.

A method, system and program product for optimizing software in which procedure clones are created based on the control flow information for the procedure body. In an example, a control flow graph for a called procedure is constructed and, for a branching node which can direct program flow to two or more code branches of the procedure, respective clones or new procedures are formed one for each code branch. A list containing pointers to the clones and the respective branch conditions for those clones is formed. Then, for each call site, the list is scanned to see if a particular call could be replaced by a call to a clone. Meanwhile, each clone is optimized and this may lead to removal of dead code or the replacement of a particular call statement by a constant.

Methods and apparatus are disclosed for use in an RFID system comprising a plurality of RFID devices and at least one reader which communicates with one or more of the devices. In one aspect of the invention, an identifier transmitted by a given one of the RFID devices is received by a reader or by an associated verifier via the reader. At least first and second codes are determined, by the reader or verifier, with the first code being a valid code for the identifier, and the second code being an invalid code for the identifier. The reader, or verifier via the reader, communicates with the given device to determine if the device is able to confirm that the first code is a valid code and the second code is an invalid code.

In an electronic trading system, prime brokerage services may be provided by assigning one or more dependent or child deal codes to a deal code. Prime broker trades are conducted via the dependent deal codes but appear to the market as deals with the parent deal code using credit assigned to the parent deal code. The prime bank customer is a dependent deal code of the customer bank which also trades on the system, allowing credit to be allocated by the customer dependent code for prime broker trades. A deal code may have several dependent deal codes which can trade with one another. Dependent deal codes can be used to expand the size of trading floors beyond that which can be supported by a single deal code and to assist in migration between system versions.

The invention discloses an AADL model refinement method and an Ada executable code automatic generation method supported by the AADL model refinement method. According to the method, an existing AADLmodel is analyzed by using the AADL file analysis capability provided based on OSATE; the AADL model is subjected to functional behavior simplification and related information supplement of an execution platform through a model refinement method, so the model is complete enough; meanwhile, the automatic code generation capability provided by the Xtext technology is used, the conversion from modelssuch as system components, process and thread components, behavior attachments and modes of the AADL to Ada codes is realized by a template rule mapping function provided by an Xtend technology; andthe code can run on a specific platform, so that the Eclipse platform plug-in based on the OSATE of the AADL open source tool environment is completed.

The invention provides an automatic operating system optimization method based on a system expansion call graph. The method comprises the following steps: compiling a source code of an operating system to generate a target file which can be redirected; constructing a system expansion call graph according to the target file, wherein the system expansion call graph is a directed graph and is used for recording a reference relationship between a function and a data object in the target file; generating an effective subgraph of the operating system according to the system expansion call graph; rewriting the target file according to the effective subgraph to obtain an optimized target file; and linking the optimized target file to obtain an optimized operating system. The dead codes are automatically eliminated in the system, the volume of the system is reduced, the system performance is improved, the operation is convenient and efficient, and the optimization effect is obvious. The invention also discloses an automatic operating system optimization system based on the system expansion call graph.

An apparatus and method for the detection of errors in compressed digital image is disclosed. In one embodiment, a signature is generated using a multiple input shift register and added to the compressed information. The signature is verified at the decoder to detect an error in the compressed information. Other information such as the frame number and / or color component type of the compressed image can also be verified to detect errors in the compressed information. In other embodiments, the decoder detects errors if there are bits remaining after decompression and / or if there are invalid codes at decompression. Once an error is detected, the compressed information can be discarded or re-sent and processed. Therefore, the detection of errors can significantly enhance at least the reliance of systems such as digital cinema that require compression of large amounts of data.

An anonymous trading system is configured to receive a price stream from a bank or other institution. The price stream is converted into a quote stream and input into the trading system via an automated trading interface. The quote stream has its own deal code. The deal code credit limits are set so that the only parties that have credit with the deal code are other deal codes of the same institution. At least one of these deal codes represents a prime broker bank and prime broker customers therefore have access to the institution's price stream to the exclusion of other parties trading on the system. A distributor distributes the quotes from the trading system to the prime broker customers' traders, to prime broker customer automated trading interfaces, and to prime broker customer deal feed systems for logging of deal tickets and communication of those deal tickets to back office systems.

The invention provides a signal tracking method of a global navigation satellite system, a signal tracking apparatus and a satellite signal reciever having the same. The method comprises the steps: generating duplication codes including an E code, a P code, an L code, a first code, and a second code; calculating the correlation value of the received satellite signal and the duplication codes; identifying the gradients of a plurality of slopes derived from correlated points respectively corresponding to the duplication codes; and detecting the time delay caused by multipath signal components according to the identification results.

Valid code data and invalid code data are alternately input to a register that fetches data synchronously with a clock signal. A state of a data value input to the register is monitored. Each time when it is determined that the data is stabilized by the valid code data, the register holds the valid code data.

The present disclosure relates to a method for use in the formal verification of an electronic circuit. Embodiments may include receiving, using a processor, a portion of an electronic circuit design and analyzing a syntactic structure of a string associated with the electronic circuit design. Embodiments may also include generating a parse tree, based upon, at least in part, the analysis and traversing the parse tree to identify one or more conditional nodes. Embodiments may further include generating a new node for each of the one or more conditional nodes and displaying, at a graphical user interface, a check, at least one of the one or more conditional nodes or the new node prior to performing either register-transfer-level RTL synthesis or final synthesis.

In an electronic trading system, prime brokerage services may be provided by assigning one or more dependent or child deal codes to a deal code. Prime broker trades are conducted via the dependent deal codes but appear to the market as deals with the parent deal code using credit assigned to the parent deal code. The prime bank customer is a dependent deal code of the customer bank which also trades on the system, allowing credit to be allocated by the customer dependent code for prime broker trades. A deal code may have several dependent deal codes which can trade with one another. Dependent deal codes can be used to expand the size of trading floors beyond that which can be supported by a single deal code and to assist in migration between system versions.