3 results about "Rewriting system" patented technology

The invention provides an SMT solver rewriting system defect detection method based on rewriting space exploration, and aims to solve the problems that in the prior art, an SMT solver rewriting system is insufficient in verification, test input is difficult to trigger a rewriting rule, errors are difficult to verify and the like. The method comprises the following steps: 1) collecting and automatically verifying rewriting rules in an SMT solver, and constructing a high-quality rule base; 2) performing structure transformation on the existing test formula by adopting mimicry variation to enable the existing test formula to be matched with a rewriting rule mode, thereby activating more rewriting opportunities; 3) constructing an equivalence graph based on a generative equivalence saturation technology, and systematically generating semantic equivalence but structural diversity formula variants; and 4) inputting the original formula and the variant formula into an SMT solver, comparing the solving result with the performance behavior, and detecting potential defects. The invention also provides corresponding system implementation, and supports an automatic test process, rule management, formula generation and defect recording.

This invention provides a client-side domain-aware, maskless privacy identification and rewriting system and method. The system includes an offline training module deployed on a server, used to generate domain privacy prototypes representing privacy semantics in different domains based on labeled privacy fragments from multiple domains. An initial rewriting model is trained using these domain privacy prototypes to obtain a privacy rewriting model. An online inference module deployed on the client side receives user input text, automatically identifies privacy fragments in the user input text using the domain privacy prototypes, and calls the privacy rewriting model to rewrite the identified privacy fragments. This invention solves the technical problem that existing privacy rewriting technologies rely on explicit user annotation of privacy fragments and lack domain adaptability, making it difficult to balance automated privacy protection and semantic utility preservation in actual client deployment scenarios.

This invention relates to the field of intelligent code rewriting and discloses a code rewriting method for a domestic IT innovation platform based on a self-iterative model. The method operates in a code rewriting system comprising a basic database and a multi-link space. The multi-link space includes a rewriting space, a splitting space, and a virtual space. The method includes acquiring the target code, parsing the logical chain of the target code based on a neural symbolic self-iterative model, splitting the target code into sub-code segments, performing error factor analysis on the sub-code segments, executing the rewriting in the rewriting space, running the rewritten code in the virtual space, cross-validating the code execution results with the expected rewriting results, and controlling the asynchronous execution of code splitting, code rewriting, and virtual execution through an asynchronous clock and state signal mechanism to ensure that the execution results in the virtual space are consistent with the expected results, and outputting the rewritten code.