Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

81 results about "Intermediate code" patented technology

Systems and methods for iterative feedback-driven code synthesis using syntax trees and large language models

PendingUS20250306882A1Code compilationSource to sourceCode synthesisObject code
A system for translating source code in a first programming language to a target language is provided. The system is configured to receive source code for converting to target code; determine an abstract syntax tree from the source code; determine program specifications from the source code; determine a dependency graph from the source code; determine a plurality of chunks based at least in part on the abstract syntax tree, the program specifications, and the dependency graph; determine a plurality of converted chunks based at least in part on the plurality of chunks and a deep learning model, the deep learning model converting the plurality of chunks from the language of the source code to the language of the target code; post-process the plurality of converted chunks to obtain intermediate code; and provide the intermediate code as the target code.
Owner:UST GLOBAL INC

Financial operation security dialogue method and system based on verifiable intermediate code

The invention relates to the technical field of secure dialogues, and provides a financial operation secure dialogue method and system based on a verifiable intermediate code. The method comprises the steps of obtaining a natural language instruction of a user, generating V-FOC structured data based on a large language model, obtaining a question needing to be confirmed by the user, and generating a corresponding API instruction according to the generated V-FOC structured data after confirmation by the user; based on the generated API instruction, performing simulation execution by adopting a sandbox environment to obtain an expected execution result; the expected execution result is sent to the user for confirmation, and after the user confirms the expected execution result and authorizes the expected execution result, the safety API executor calls the background financial service API to complete operation. According to the invention, a transparent, controllable and verifiable'security firewall 'is established for the behavior of directly executing financial operation, so that the security of user funds is guaranteed while intelligent services are provided.
Owner:HAIER CONSUMER FINANCE CO LTD

Computer augmented threat evaluation

An automated system attempts to characterize code as safe or unsafe. For intermediate code samples not placed with sufficient confidence in either category, human-readable analysis is automatically generated to assist a human reviewer in reaching a final disposition. For example, a random forest over human-interpretable features may be created and used to identify suspicious features in a manner that is understandable to, and actionable by, a human reviewer. Similarly, a k-nearest neighbor algorithm may be used to identify similar samples of known safe and unsafe code based on a model for, e.g., a file path, a URL, an executable, and so forth. Similar code may then be displayed (with other information) to a user for evaluation in a user interface. This comparative information can improve the speed and accuracy of human interventions by providing richer context for human review of potential threats.
Owner:SOPHOS LTD

Code generation method and device based on large model, storage medium and computer equipment

The invention discloses a code generation method and device based on a large model, a storage medium and computer equipment. The method comprises the steps that a UI prototype draft of a target service is acquired; performing element identification on the UI prototype draft through a picture identification large model, and determining element information in the UI prototype draft; generating a code generation cue word based on the element information and a preset cue word, inputting the code generation cue word into a code generation large model to obtain an intermediate code corresponding to the UI prototype draft, and arranging a target service code of the target service based on the intermediate code. The automatic process from UI design to code generation is achieved, the tedious process of manually writing UI components and debugging interaction logic in traditional development is avoided, repeated work and human errors are reduced, developers can put more energy into core service function development, then development efficiency is improved, code quality is guaranteed, and the development cost is reduced. And rapid and high-quality delivery of the project is promoted.
Owner:CSC FINANCIAL CO LTD

Compilation method for compiling C language source code into RISC-V assembly code

The invention discloses a compiling method for compiling a C language source code into an RISC-V assembly code. The method comprises the following steps: acquiring a C language source code; performing lexical analysis on the C language source code to generate a mark flow; performing syntactic analysis on the mark flow, and constructing an abstract syntax tree; performing semantic analysis on the abstract syntax tree to generate a target abstract syntax tree; constructing a runtime environment of the RISC-V assembly code; generating an intermediate code and a control flow diagram corresponding to the intermediate code according to a rule in the runtime environment and the target abstract syntax tree; generating a target code by using the intermediate code and the control flow diagram corresponding to the intermediate code; according to the technical scheme, the intermediate representation more adaptive to RISC-V custom instruction mapping can be generated, so that the execution efficiency of assembly codes is improved; and meanwhile, by designing a lightweight runtime environment, the performance overhead is further reduced.
Owner:CHINA SOUTHERN POWER GRID COMPANY

Source code correction program and source code correction device

PendingJP2026013547AProgram code adaptionCode compilationSoftware engineeringCoding conventions
To efficiently prepare a program of high quality corresponding to various coding rules and various using program languages.SOLUTION: By the processing 2, the definition file A2 is used to convert the source code described in the predetermined program language into intermediate codes separated for each component having a meaning. The intermediate codes are converted into post-proofreading intermediate codes matched with the coding convention of the target program language by using a coding convention definition file A3 by processing 3. Further, by the process 4, the post-proofreading intermediate codes are converted into post-proofreading source codes of the target program language by using the source code conversion definition file A4.SELECTED DRAWING: Figure 3
Owner:SAXA

Blockchain-based data processing method, device, and readable storage medium

A blockchain-based data processing method includes: performing sharding processing on an intermediate code corresponding to a smart contract to obtain A byte arrays, A being a positive integer greater than 1; generating A program shards according to indices of the byte arrays, a total quantity of shards, and the byte arrays, the total quantity being A, and each byte array corresponding to one program shard; and transmitting the A program shards to a blockchain network, the A program shards being added to a blockchain by a blockchain node in the blockchain network to obtain A on-chain program shards, and the A on-chain program shards being configured to be assembled to generate the complete intermediate code of the smart contract.
Owner:TENCENT TECHNOLOGY (SHENZHEN) CO LTD

A lightweight robotic process automation method based on browser extension

The application relates to a lightweight robot process automation method based on a browser extension and belongs to the technical fields of robot process automation and browser plug-ins. The method comprises the following steps: initializing a drawing environment, preprocessing a node style, binding an input event to construct an interaction mechanism; communication is established through an event bus, an interface is constructed through a dynamic form component, instructions are encapsulated and syntax verification is performed; a command data format is defined, after syntax and semantic verification, the command data format is converted into executable code by an intermediate code generator, and error feedback visualization is supplemented; a content script is used to access a monitoring webpage DOM, an element operation and RPA instruction mapping library are established, and automatic conversion of a capture result into an instruction is realized; a lightweight execution kernel is realized through intermediate code acquisition, a process is monitored in an asynchronous non-blocking mode, and execution state global sharing and real-time updating are realized through a state management library. The lightweight architecture design of RPA, high-performance interaction optimization, intelligent process configuration and precise execution monitoring are realized.
Owner:MYRON INTELLIGENT TECH (SHANGHAI) CO LTD

Compiler fuzz testing technology for generating complex compiling options based on large model

The invention provides a compiler fuzz testing technology for generating complex compiling options based on a large model. According to the technology, the large model is effectively introduced into each stage of compiler testing. Firstly, in the aspect of a test code data set, a test code is obtained in combination with a historical defect report of a compiler, and a code snippet embedded in a natural language text of the historical defect report is obtained by using a large model; in order to more efficiently and specifically combine the complex compiling option test compiler, the technology combines a large model cue word project to generate a more targeted complex compiling option test compiler for each section of test program. Meanwhile, in order to avoid the situation that input codes exceed the context length limit of a large model, the technology abstracts source codes on the intermediate code level. The method has the main advantages that the code understanding and generating capacity of the language model is well utilized, legal and diversified complex compiling option input programs are automatically generated, and therefore the testing efficiency of the compiler is improved.
Owner:NANJING UNIV

Code processing method and device, electronic equipment, storage medium and computer program product

The invention discloses a code processing method and device, electronic equipment, a storage medium and a computer program product. The method comprises the steps that an original code is obtained, the original code is used for declaring that one or more quantum bits are written into a pointer array, the pointer array comprises one or more pointers, and the one or more pointers are used for pointing to the one or more quantum bits; determining the type of the pointer array and the name of the one or more quantum bits by using the original code; constructing an object array by using the type of the pointer array and the name of the one or more quantum bits, the object array being used for pointing to the one or more quantum bits; and replacing the pointer array with the object array to obtain a compiled intermediate code. According to the technical scheme, in the code compiling process, the pointers of the pointer array are replaced with the specific objects pointed by the pointers, and the processing efficiency when the objects associated with the pointer array are called subsequently can be improved.
Owner:CHINA MOBILE (SUZHOU) SOFTWARE TECH CO LTD +1

Source code positioning detection method and system, electronic device and storage medium

The embodiment of the application discloses a source code positioning detection method and system, electronic equipment and a storage medium, and relates to the technical field of static security detection. The method comprises the following steps: generating a corresponding bytecode file based on a to-be-positioned source code; the bytecode file comprises structure information, metadata and method information; analyzing the bytecode file to obtain intermediate code corresponding to the bytecode file; parsing the intermediate code to generate a function sequence list called in the to-be-positioned source code; the function sequence list comprises attribute information and calling information of a function; and matching and querying according to the function sequence list to determine position information of the to-be-positioned source code. The application can realize accurate matching and positioning of a source code function, thereby solving the false alarm problem of functions with the same name in different modules and being suitable for a source code function static detection scene.
Owner:HARBIN ANTIY TECH

Real-time compiling interpreter system capable of running on MCU, FPGA, GPU or universal CPU

The invention discloses a real-time compiling interpreter system capable of running on an MCU (Microprogrammed Control Unit), an FPGA (Field Programmable Gate Array), a GPU (Graphics Processing Unit) or a universal CPU (Central Processing Unit), and belongs to the technical field of embedded systems and computer compiling. According to the system, hardware decoupling is achieved through a modular architecture, and C / C + +, Python and LLVM intermediate codes are supported to be converted into unified intermediate byte codes; a byte code interpreter and an instant compiling module are integrated, both quick starting and efficient execution are considered, and starting can be completed within 1 millisecond; an event driving and periodic scheduling mechanism is provided, and the real-time response requirement is met; a segmented memory model and a security policy are adopted, low-power-consumption edge equipment is adapted, and domestic instruction sets such as RISC-V and LoongArch are compatible. The system solves the problems that a traditional embedded system is poor in flexibility, difficult in cross-platform, insufficient in real-time performance and the like, can achieve unified execution of heterogeneous platform codes, is suitable for the fields of industrial control, Internet of Things edge AI and the like, and has remarkable technical progress and industrial value.
Owner:GUANGZHOU KINGPIN IND CO LTD

A method and system for constructing an application installation package, an electronic device, and a storage medium

This application discloses a method, system, electronic device, and storage medium for constructing an application installation package, belonging to the technical field of software engineering. The method for constructing the application installation package includes: determining the current environment; determining module requirement information based on the current environment; wherein the module requirement information describes whether functional modules need to be integrated into the application installation package; the functional modules include a first type of functional module and a second type of functional module, the first type of functional module being those that need to be integrated into the application installation package, and the second type of functional module being those that do not need to be integrated into the application installation package; executing a first control operation and a second control operation to obtain an intermediate code file; and packaging the intermediate code file and corresponding resource files to obtain the application installation package. This application can construct an application installation package while avoiding useless code residue.
Owner:FOUNDER SECURITIES CO LTD

Log coding method and system, storage medium and equipment

The invention provides a log coding method and system, a storage medium and equipment. The log coding method comprises the steps of obtaining an original log text in a target code, converting the original log text into an intermediate code in a set system form, and generating a log mapping relation based on the intermediate code and the original log text; and decrypting the target log text according to the log mapping relationship to obtain a plaintext log. According to the invention, the utilization rate of the CPU can be effectively reduced, the normal operation of the system is ensured, and the reliability and stability of the system are improved; meanwhile, the amount of data needing to be stored is reduced, so that the read-write frequency of the solid-state memory is reduced, the loss speed is slowed down, the service life of the solid-state memory is prolonged, and the risk that normal operation of the system is affected due to damage of the solid-state memory is reduced. In addition, the security of log transmission is effectively improved, sensitive information of the system is protected from being leaked and tampered, and normal operation of the system is further guaranteed.
Owner:CHENGDU DESAY SV KAWA TECHNOLOGY CO LTD

A device state analysis method and system based on DSL and dynamic compilation technology

The application discloses a device state analysis method and system based on DSL and dynamic compilation technology, wherein the method comprises the following steps: S1, importing a DSL file of device state parameters; S2, analyzing the DSL file through a T4 text template engine to dynamically generate C# intermediate code; S3, using a Roslyn compiler to dynamically compile to generate an assembly; S4, loading the assembly through reflection to receive a device state byte array data frame; S5, matching a structure type corresponding to the byte array to convert the byte array into a structure instance through memory mapping; S6, calling built-in or extended analysis methods through reflection to convert the structure into a general parameter class object; S7, outputting the instantiated object; and S8, transmitting, displaying or saving the device parameter instantiated object according to actual requirements. The application greatly shortens the analysis rule configuration time; and a new device protocol only needs to write a DSL file, without the need of redeploying the system; in addition, the application supports plug-in extension of custom analysis methods.
Owner:HEFEI ZHONGKE TIANTONG TECHNOLOGY CO LTD

An object code segment acquisition method and apparatus

PendingCN122387503ASequence analysisObject code
The application discloses a target code segment acquisition method and device, relates to the technical field of computers, and can reduce the time cost and false positive rate of running sequence analysis. In the application, intermediate code of an application program and dynamic data including a running track function acquired when the application program is running are acquired, functions different from the running track function in the intermediate code are removed, and a target function of the intermediate code is obtained; running sequence analysis is performed on the target function, and a first target code segment in which the running sequence of the code in the target function is different from a preset sequence is obtained. Based on the target code segment acquisition method provided in the application, the analysis range of application program running sequence analysis can be reduced, and the time cost and false positive rate can be reduced.
Owner:HUAWEI TECH CO LTD

A system and method for parsing PLC intermediate code based on compilation technology and automatically generating data bridge description

The application provides a system and method for parsing PLC intermediate code based on compilation technology and automatically generating data bridge description. The system comprises: a preprocessing module for normalizing the C intermediate code generated by matIEC; a lexical analysis module for converting the code into a Token stream; a syntax analysis module for constructing an abstract syntax tree; an abstract syntax tree processing module for traversing the AST to extract type definitions, fields and memory layouts, and converting them into an internal data model; a code generation module for serializing the data model into a standardized JSON file, including data item name, type, size, offset, memory type and nested sub-items; a version management module for automatically updating the compiler version number and embedding the JSON based on CMake during building. The application realizes full-automatic extraction and standardized output of PLC data structure, eliminates manual parsing, ensures accurate memory layout, supports cross-platform integration and version consistency verification.
Owner:SHAANXI ROCKTECH ELECTRONICS INFORMATION TECH CO LTD

Binary inter-content difference operation graphical user interface for electronic devices

1. The name of the design product: binary code content difference operation graphical user interface of electronic device. 2. The use of the design product: for an electronic device. 3. The design points of the design product: in the graphical user interface. 4. The picture or photo that best shows the design points: front view. 5. Other circumstances that need to be explained: the design product is used to display the information of the content difference between the binary code of the system and the binary code of the vulnerability / patch. The front view contains two columns on the left and right. The left red title column represents the disassembled intermediate code of the vulnerability existing in the binary code of the system. The red title below includes two columns, the left column shows the line number of the intermediate code, and the right column shows the content of the line of intermediate code. The right green title represents the disassembled intermediate code of the binary code of the vulnerability or patch. The green title below includes two columns, the left column shows the line number of the intermediate code, and the right column shows the content of the line of intermediate code. When the content of the intermediate code in the same line under the red title and the green title is inconsistent, the line of code under the red title is highlighted in yellow, and the line under the green title is highlighted in light green. In addition, for the specific different intermediate codes in the content of the same line of intermediate code, the specific different intermediate codes under the red title are highlighted in red, and the specific different intermediate codes under the green title are highlighted in dark green. The color of the title in the front view or the color of the highlight can be customized. The cross in the front view represents text and / or numbers and / or letters and / or symbols. The human-computer interaction mode of the user interface: in an example, when the content of the intermediate code in the same line under the red title and the green title is inconsistent, the line of code under the red title is highlighted in yellow, and the line under the green title is highlighted in light green, the user can locate the inconsistent content and modify the inconsistent content, and through the interface of the design product, the human-computer interaction operation between the product and the user can be realized.
Owner:SPARKLE IN TECHNOLOGY INVESTMENT LTD

Machine-readable medium and computer system for generating uniform intermediary code

A machine-readable medium and a computer system for generating uniform intermediate code are provided. The program stored in the machine-readable medium, when executed, causes the computer system to: receive a source code file; and compile the source code file into an intermediate code file containing a plurality of intermediate code primitives. The intermediate code primitives include a slicing primitive. The slicing primitive has at least one parameter to express a slicing of a tensor into a plurality of sub-tensors along a specified axis of the tensor in time or space selectively.
Owner:SHANGHAI BIREN TECH CO LTD

Method and device for running programmable logic controller program and electronic equipment

The invention relates to the technical field of industrial control, and provides an operation method and device of a programmable logic controller program and electronic equipment. According to the method, a syntax tree is generated by analyzing a programmable logic controller program; traversing the syntax tree to generate an intermediate code, constructing a time planning model based on the intermediate code, and optimizing the intermediate code according to the time planning model to obtain a target intermediate code; in the running process of the programmable logic controller program, the target intermediate code is compiled in time, and when the programmable logic controller program runs to the target node corresponding to the target intermediate code, the compiled target intermediate code is executed. Structured analysis, time constraint modeling and deterministic immediate compiling execution of the PLC control program are achieved, constraint optimization of the time planning model is combined, the execution time of each intermediate code snippet can be predicted and controlled, and the program operation efficiency and response speed are improved.
Owner:BEIJING HOLLYSYS TECHNOLOGY RESEARCH INSTITUTE CO LTD

OSGi (Open Service Gateway Initiative) framework-oriented cross-module call graph construction method

The invention discloses an OSGi (Open Service Gateway Initiative) framework-oriented cross-module call graph construction method, which comprises the following steps of: S1, processing a to-be-detected target program and a related configuration file to obtain a result IR for static analysis; s2, performing pointing analysis on the IR generated in the step S1, and generating a pointing flow graph and a preliminary calling graph in a single software module; s3, in combination with an intermediate code IR related to module interaction in the target program, establishing calling edges among the modules through API semantics of interaction among the modules provided by the modeling OSGi framework; and S4, on the basis of analysis results of the steps S2 and S3, constructing a complete cross-module call graph. Compared with a traditional Java application-oriented call graph construction method, by modeling a module interaction mechanism of an OSGi framework, analysis of a cross-module interaction path is realized, a complete cross-module call graph is effectively constructed, and basic support is provided for tasks such as dependency analysis and security detection of the OSGi application.
Owner:NANJING UNIV

Application development method and device and program product

The invention provides an application development method and device and a program product. According to the method, a first compiling interface is displayed in response to a first trigger operation, the first compiling interface is associated with a first software toolkit, and the first software toolkit is integrated in a pluggable form; and in response to the second trigger operation, the first function code is compiled into an intermediate code and / or compiled into a second function code in combination with the accessed first interface information base, the first function code is compiled in a first language form, and the second function code is presented in a second language form. According to the method, the quick debugging of the code can be realized and / or the second function code which can be directly matched with a native platform and has the performance comparable to that of a pure native application can be obtained through a unified development language without compiling the whole client project, and the development efficiency and the high performance during operation are both considered; and the development threshold and the development cost of the client application are better reduced.
Owner:BEIJING ZITIAO NETWORK TECH CO LTD

Code conversion method and device, equipment, storage medium and program product

The invention provides a code conversion method and device, equipment, a storage medium and a program product, and relates to the field of financial science and technology. The method comprises the steps of obtaining a to-be-converted first code, and processing the first code to obtain a first intermediate code; the first code is a code of a page generated by the server; converting the first intermediate code based on a preset knowledge base rule to obtain a second intermediate code; the knowledge base rule comprises a component mapping relation table, a frame grammar mapping relation table, an unstructured case rule and a user-defined rule; generating a second code based on the second intermediate code; and the second code is a code for constructing a client architecture of a user interface, so that by constructing an automatic code conversion process, the dependence on skills of developers is reduced, the conversion efficiency and consistency are remarkably improved, and the expansibility and flexibility are ensured through a configurable knowledge base rule, thereby supporting rapid iterative update of a front-end project.
Owner:INDUSTRIAL AND COMMERCIAL BANK OF CHINA

LLM-based smart contract event log security analysis method and system

The invention discloses an LLM-based smart contract event log security analysis method and system. The method comprises the following steps: acquiring a byte code and a source code of a target smart contract, and analyzing the byte code and the source code; decompiling to generate an intermediate code based on the bytecode to construct a contract internal control flow graph (ICFG) so as to mark basic blocks and functions involving key state variable modification; constructing an event parameter dependency graph (EPDG) based on the source code to track a static data dependency path between the event parameter and the state variable; performing event completeness detection by combining LLM with ICFG so as to judge whether a corresponding event is triggered or not after the state variable is modified; event consistency detection is performed by combining LLM with EPDG, so that whether event parameters are consistent with actual state change or not is judged; optimizing an LLM reasoning process based on a multi-round questioning mechanism and a thinking chain prompting technology; and outputting a security analysis report containing the location, the type and the cause of the vulnerability.
Owner:SHANGHAI ENVIRONMENT & ENERGY EXCHANGE CORP

Code optimization method and system based on DDFG and perception self-attention

The invention provides a code optimization method and system based on DDFG and perception self-attention. The code optimization method comprises the following steps: cleaning and standardizing intermediate codes: outputting a standardized intermediate code sequence; construction and extraction of a heterogeneous dense data flow diagram DDFG: constructing the heterogeneous dense data flow diagram DDFG according to the standardized intermediate code sequence; sequence translation: inputting a standardized intermediate code sequence, graph nodes extracted from a heterogeneous dense data flow graph DDFG and the directed edge into an encoder-decoder based on a transformer architecture, when the encoder-decoder based on the transformer architecture calculates self-attention scores of any two nodes in the graph nodes, setting a structure mask matrix Mgraph, and when the self-attention scores of any two nodes in the graph nodes are calculated by the encoder-decoder based on the transformer architecture, carrying out sequence translation on the structure mask matrix Mgraph, when a directed edge does not exist between two nodes in the graph nodes, applying a negative penalty value to the structure mask matrix Mgraph, and when a directed edge exists between the two nodes, applying a neutral value to the structure mask matrix Mgraph; and optimization code output: the encoder-decoder based on the transformer architecture outputs the optimized intermediate code sequence.
Owner:SHANGHAI XINLIJI SEMICON CO LTD

Compiler and method of compiling source code thereof

The embodiment of the present specification provides a compiler and a method for compiling source code. The compiler comprises: a front-end processing module, configured to generate a first intermediate code corresponding to the source code according to the source code, and output the first intermediate code to a code obfuscator; the code obfuscator, configured to perform code obfuscation on the first intermediate code received thereby; and a back-end processing module, configured to generate executable code according to the first intermediate code after code obfuscation.
Owner:ALIPAY (HANGZHOU) INFORMATION TECH CO LTD

Grammar class implementation method and system for variable operation tracking integrated in programming language

The invention relates to the technical field of compiler implementation, and discloses a grammar class implementation method and system for variable operation tracking integrated in a programming language, and the method comprises the steps: instantiating a grammar class of an OSE programming language, and building a binding mapping relation between a user interface element and the grammar class, so as to configure a Traceable variable tracking interface; identifying a type identifier of the target variable in the binding mapping relation to generate an executable intermediate code of the target variable; defining a callback update triggering rule corresponding to the user interface element in the Traceable variable tracking interface, and executing callback update processing of the user interface element based on the callback update triggering rule after the operation behavior of the target variable is intercepted; and fusing a Traceable variable tracking interface, executing the intermediate code and callback the updating result, and outputting an operation tracking result of the target variable. According to the method, the expandability and the code maintainability of the programming language can be improved through the built-in grammar class defined in the OSE programming language.
Owner:GUANGZHOU YUNBIAO NETWORK TECH CO LTD

Positioning method, program product, medium and equipment

The invention relates to the technical field of software development, in particular to a positioning method, a program product, a medium and equipment. The method provided by the invention comprises the following steps: acquiring a plurality of codes causing software problems and a code development sequence, and generating a submission record set; obtaining an intermediate code in the submission record set based on the successive development order; executing a test operation to test whether a software problem is caused when the intermediate code is changed; if yes, the codes, earlier than the intermediate codes in development order, in the multiple codes serve as a new submission record set; if not, taking the codes with the development order later than that of the intermediate codes in the plurality of codes as a new submission record set; and obtaining an intermediate code in the new submission record set and executing the same judgment operation until only one code is left in the new submission record set. And the code change which causes the software problem at the earliest can be quickly positioned.
Owner:HUAXIN GIANTS (HANGZHOU) MICROELECTRONICS CO LTD