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

169 results about "Source code file" patented technology

The source code file is a text file on disk. It contains instructions for the computer that are written in the C programming language. You use a text editor to create the source code file.

Semantic verification method and device based on large model

The invention relates to the technical field of software engineering and information processing, in particular to a semantic verification method and device based on a large model.The method comprises the steps that a source code file and a corresponding software requirement and design document are obtained, code semantic representation is generated based on grammar analysis and static program analysis, and a semantic verification result is obtained; based on text analysis and business flow chart structure identification, generating a design demand semantic representation; respectively inputting the code semantic representation and the design demand semantic representation into a pre-training language large model to generate a code implementation logic description and a design demand logic description; and performing semantic consistency verification on the two types of logic descriptions to obtain a semantic inconsistency result, determining a code position in the source code file based on the semantic inconsistency result, and outputting a scanning report. According to the invention, the automation degree and the rechecking performance of consistency checking of requirements can be improved, and the leak detection and reworking cost can be reduced.
Owner:HENGRUI (CHONGQING) ARTIFICIAL INTELLIGENCE TECH RES INST CO LTD

Balancing quality and technical cost of updating dependencies in software systems

Methods, systems, and computer-readable storage media for a software dependency update system that processes computer-readable files (e.g., source code file, dependency description file) of a software project to generate an updated dependency graph using linear programming in view of a set of quality metrics for updating dependencies of the software project.
Owner:SAP SE

Software development efficiency improvement engine

In a first use case, a description of source code to be created is validated and used to form a prompt for a large language model (LLM). The prompt is provided to the LLM to generate an output. The output from the LLM is post-processed to generate the source code. In a second use case, a source code file is processed and provided, along with instructions, to an LLM. The LLM provides a list of the methods in the source code file. The LLM is requested to provide a unit test for each of the listed methods. The output from the LLM is post-processed to generate unit tests for the methods in the identified source code file. In a third use case, the LLM is used to generate unit tests for new methods added to the source code file after unit tests were generated.
Owner:SAP SE

Code business logic vulnerability static analysis method based on large language model

The invention relates to the technical field of code analysis, in particular to a code business logic vulnerability static analysis method based on a large language model, which comprises the following steps: performing semantic feature extraction based on a source code file set and a business requirement document to obtain a code business semantic feature map; constructing a business logic constraint knowledge network based on the code business semantic feature map, and generating a business scene simulation test case set based on the business logic constraint knowledge network; and executing the service scene simulation test case set, obtaining corresponding function runtime state data, and carrying out state transition trajectory analysis based on the function runtime state data to obtain an actual service state circulation sequence. By executing the test case and capturing the state data when the function runs, the state change of the program can be monitored in real time, an objective basis is provided for subsequent state transition trajectory analysis, and the reliability of an analysis result is ensured.
Owner:SHENZHEN HAIYUNAN NETWORK SECURITY TECH CO LTD

Code change generation method based on multi-agent proxy

The invention discloses a code change generation method based on a multi-agent proxy library migration scene, which can accurately locate all code action ranges related to library migration in a file range by performing structured analysis on a source code file and combining source library import information and code feature recognition, and can improve the code change generation efficiency. The problems of omission and misjudgment caused by manual analysis or simple rule matching are avoided, and the integrity and accuracy of migration site recognition are improved. According to the method, the corresponding migration plan is generated by combining key information of the source library and the target library aiming at the identified action range to be migrated, so that the code change process is not limited to simple interface replacement any more, targeted adjustment can be performed according to a specific use scene, and the consistency of migrated codes in terms of semantics and behaviors is ensured. According to the method, through a collaborative code change generation and verification mechanism, the code change related to library migration is automatically generated and evaluated, and the reliability and availability of a generation result are improved while manual intervention is reduced.
Owner:ZHEJIANG UNIV

Method and system for arbitrary-granularity execution clone detection

A method and apparatus are disclosed for enhancing operable functionality of input source code files from a software program by identifying a first code snippet and a first library function which have similar execution flow similarity measures by evaluating a first contiguous sequence of n items extracted from the first code snippet against a second contiguous sequence of n items extracted from the first library function using an Ngram threshold that is calculated for the first library function and one or more literals from the first code snippet so that the developer is presented with a library function recommendation which includes the first code snippet, the first library function, and instructions for replacing the first code snippet with the first library function.
Owner:DEVFACTORY INNOVATIONS FZ LLC

System and methods for detecting security vulnerability fixes

A method for detecting vulnerability fixes in software code is disclosed. A source code file containing source code is obtained. The source code file may, for example, be one of the files of a source code commit. The code changes associated with the file are determined, the code changes indicating differences between a previous version and a current version of the source code. Based on the code changes, a first code representation of the previous version of the source code and a second code representation of the current version of the source code are determined. A first embedding of the first code representation and a second embedding of the second code representation are obtained. By computing a distance between the first and second embeddings, a file-level code change representation for the source code is determined, and the source code file is classified based on the file-level code change representation.
Owner:HUAWEI TECH CO LTD

Software testing method and device, electronic equipment and storage medium

The invention provides a software testing method and device, electronic equipment and a storage medium. The method comprises the steps that a source code file of to-be-tested software is compiled based on a WebAssembly compiler to obtain a compiling result and first debugging information, and the first debugging information represents the mapping relation between code lines in the source code file and instructions in the compiling result; the compiling result is converted into a to-be-tested binary file based on a format conversion relation, second debugging information is determined according to the first debugging information, the compiling result and the to-be-tested binary file, the format conversion relation is used for converting the WebAssembly binary file into a binary file in a preset format, and the format conversion relation is used for converting the WebAssembly binary file into the to-be-tested binary file. The second debugging information represents a mapping relation between a code line in the source code file and an instruction in the to-be-tested binary file; and running the to-be-tested binary file in a virtual machine used for running the binary file in the preset format, and debugging the to-be-tested binary file based on the second debugging information in the virtual machine.
Owner:BEIJING CEC HUADA ELECTRONIC DESIGN CO LTD

Method and system for cobol to java program conversion based on syntax tree

PendingCN122411953APathPingSource code file
The application discloses a COBOL-to-Java program conversion method and system based on a syntax tree, belongs to the technical field of computer program language conversion, and comprises the following steps: obtaining a COBOL source program file to be converted and configuration rules; performing lexical analysis and syntax analysis to generate an abstract syntax tree; converting COBOL syntax elements into corresponding Java semantic representations according to pre-defined semantic mapping rules; establishing an accurate access chain of a main program and COPYBOOK internal variables through variable path tracking; detecting and solving naming conflicts of COBOL different-level same-name variables based on a scope tree, and renaming variables by adding a parent class name prefix; and generating the converted Java semantic representations into a Java source code file. The application realizes high-fidelity and high-automation COBOL-to-Java conversion, significantly reduces the migration cost of a legacy system, and generates code with strong readability and excellent performance.
Owner:SHANDONG CITY COMMERCIAL BANK COOP ALLIANCE CO LTD

Model-based question answering methods and devices that generate context based on grammatical structure

This application proposes a model-based question-answering method and apparatus for generating context based on grammatical structure. The method includes: selecting multiple initial code fragments related to the question information from a target code library; obtaining a source code file containing any one of the initial code fragments; locating a first code block node corresponding to the initial code fragment from the abstract syntax tree of the source code file; locating all ancestor nodes of the first code block node from the abstract syntax tree and extracting the code structure information of each ancestor node; generating a target code fragment based on the code structure information of the first code block node and all ancestor nodes; concatenating multiple target code fragments to obtain a target context; and inputting the target context into a question-answering model so that the model outputs answer information based on the target context. The embodiments of this application can effectively improve the question-answering performance of the model.
Owner:BEIJING SILICON HEART TECH CO LTD

Method for supporting compilation of ultra-large source code file on basis of antlr tool

PCT designated stageWO2026077041A1Code compilationSource code fileMemory footprint
The present invention relates to the field of compilation of source code files. Disclosed is a method for supporting the compilation of an ultra-large source code file on the basis of an ANTLR tool. In the method for supporting the compilation of an ultra-large source code file on the basis of an ANTLR tool, when traversing tokens corresponding to each row of statements, a visitor encodes the tokens and stores the encoded tokens in a temporary file, and a token memory set and an encoding memory are no longer retained; when the last statement is parsed and compiled, the temporary file is combined with other information to form a complete compiled file; the size of the total memory mainly depends on a memory occupied in an ANTLR parse tree after the compiled file is read into the memory; and a parsed storage structure contains only information of public sections such as header and vectorList, and a small amount of token and label information for jumping, such that the overall memory footprint is greatly reduced. When an ultra-large file is compiled, the memory footprint remains stable, thereby enabling smooth compilation.
Owner:NANJING MACROTEST SEMICON TECH CO LTD

A two-stage-based microservice smell detection method

The application discloses a two-stage-based microservice smell detection method, which comprises the following steps: S1, according to the microservice system source code file, adopting specific analysis items, detecting different types of microservice smells based on one or more analysis items; S2, the results of different types of smell detection algorithms are summarized; S3, in the microservice system runtime, real-time collection of runtime container performance logs, runtime path tracking logs, runtime database operation logs; S4, according to the preliminary determination result of the static and running state combined analysis detection method, various microservice runtime logs, the determination of the smell in the running state is carried out; S5, the results of the three different detection methods are summarized and output in the form of JSON string, and each detection result of each smell contains position information. The method adopts a two-stage combined method of static and running state, and can comprehensively detect and accurately position multiple and miscellaneous microservice smells.
Owner:HARBIN INST OF TECH AT WEIHAI

Updating method and device of front-end framework, equipment and storage medium

The invention relates to a front-end framework updating method and device, equipment and a storage medium. The method is applied to a Vue framework. Comprising the following steps: determining an ecological dependency packet from dependency data packets according to a preset recursive relationship among the dependency data packets in a Vue framework; the dependency data packet represents a data packet of a project application in the Vue framework, and the ecological dependency packet represents a dependency data packet belonging to the Vue framework; if the ecological dependency package meets a preset condition, generating a first AST of the ecological dependency package according to a source code file of the first framework; the first framework represents a Vue framework before updating, the first AST represents an abstract syntax tree of the ecological dependency packet in the first framework, and the source code file comprises code information corresponding to each dependency data packet; according to the first AST of the ecological dependency package, obtaining code information of the ecological dependency package in a second framework; the second framework represents the updated Vue framework; and determining a source code file of the second framework according to the code information of each ecological dependency package in the second framework.
Owner:CHONGQING CHANGAN AUTOMOBILE CO LTD

Malicious software detection method based on class distance optimization

The invention provides a malicious software detection method based on class distance optimization, and the method comprises the steps: obtaining malicious software sample data, and carrying out the preprocessing of the malicious software sample data; decompiling the preprocessed data to obtain a source code file; selecting byte code features from the source code file, and converting the byte code features into an RGB three-channel image; the RGB three-channel image is expanded by adopting the optimized GAN architecture, and an expanded malicious software sample is obtained; inputting the expanded malicious software sample into a deep neural network to obtain a malicious software family classification result; the generated high-quality malicious software image can be used for data enhancement, so that the model is more stable when facing various malicious software variants, the over-fitting risk is reduced, the reliability of a detection system is improved, the data acquisition cost is reduced, a data set is over-expanded, and the detection accuracy is improved. The deep learning model covers more possible malicious software features in the training process, so that manual intervention is reduced, and the automation level of a detection system is improved.
Owner:CHONGQING UNIV OF POSTS & TELECOMM

Statistical method, device, electronic equipment, storage medium and program for running exception

PendingCN122450732ASource code fileEngineering
The present disclosure provides a statistical method, device, electronic equipment, storage medium and program for operation exception. The method comprises: assigning a corresponding file number to each of a plurality of preset source code files, each line of code in each source code file having a corresponding code line number; in response to monitoring that any source code file runs abnormally, obtaining a corresponding exception type number, file number and abnormal code line number where the exception occurs; querying a target partition directory matching the exception type number from a plurality of preset partition directories, the target partition directory comprising a plurality of type directories, each type directory comprising a plurality of file directories, each file directory representing a source code file and comprising a plurality of line number directories, and each line number directory representing a code line; and adjusting an exception count value of a corresponding directory according to a directory order of the type directory, file directory and line number directory. The embodiment can comprehensively obtain detailed information of an exception event, facilitating subsequent tracing of the exception event.
Owner:UNIONTECH SOFTWARE TECH CO LTD

USB measurement and control system collaborative verification platform building method based on System Verilog in combination with C language

The invention provides a USB measurement and control system collaborative verification platform building method based on the combination of System Verilog and a C language, and relates to the technical field of FPGA testing, the method is based on a Cadence IES simulation environment to build a verification platform of a layered tree topology architecture, the verification platform is independent of a tested design project file, a three-level system structure is adopted, and the verification platform is provided with a three-level architecture; the rtl design layer is used for storing a source code file of a to-be-tested USB measurement and control system baseband processing FPGA (Field Programmable Gate Array) described by adopting a register transmission level; and the tb test platform layer adopts a modular design and comprises a dutif interface definition module, a dutrap design packaging module, a tb test control module and a tbtop top layer integration module. According to the USB measurement and control system collaborative verification platform building method based on the combination of the System Verilog and the C language, intelligent generation of a verification environment is achieved through an automatic script, and the configuration complexity is remarkably reduced; and a parameterized configuration mechanism is adopted, so that different types of USB measurement and control systems can be quickly adapted, and excellent adaptability is shown.
Owner:BEIJING XUANYU INFORMATION TECH CO LTD

A method and system for real-time evaluation of business rules based on a large language model

PendingCN122331907ADomain modelSource code file
This application relates to a method, system, device, and medium for real-time evaluation of business rules based on a large language model. The method includes: invoking a large language model to convert natural language business rules into structured description data containing entity identifiers, attribute identifiers, and rule constraints; mapping entity identifiers and attribute identifiers to the location information of corresponding program elements in a domain model based on a pre-stored mapping library, generating detailed mapping data; generating source code files implementing a preset evaluator interface based on the structured description data and the detailed mapping data; converting the source code files into an executable form and executing them in an isolated execution environment; invoking the evaluator interface, evaluating the execution results using generated test cases, and generating a verification report. This application achieves fully automated conversion of business rules to executable code, reducing maintenance costs and improving the efficiency of rule deployment.
Owner:GUANGZHOU YUNWEI DATA TECHNOLOGY CO LTD

Small program resource processing method and device, electronic equipment and storage medium

The embodiment of the invention discloses an applet resource processing method and device, electronic equipment and a storage medium. The method comprises the steps of obtaining an applet source code file; identifying small program page jump information in the small program source code file; constructing a page weight map and a page resource tree of the applet page based on the applet page jump information; according to a page weight map and the page resource tree, determining a resource packet downloading sequence; subpackaging the applet source code file to obtain a page resource packet and a packet mapping relation table; generating applet loading information according to the resource packet downloading sequence and the packet mapping relation table; the applet loading information indicates that the page resource package of the applet is loaded in the configuration environment of the mother program. In the application, the page resource bundle corresponding to the key page can be preferentially downloaded in the configuration environment of the mother program of the client, and the key page resources in the page resource bundle corresponding to the key page are preferentially loaded, so that the applet resource processing efficiency is improved.
Owner:TENCENT TECHNOLOGY (SHENZHEN) CO LTD

Multi-thread risk detection method and device and electronic equipment

The invention provides a multi-thread risk detection method and device and electronic equipment. The method comprises the steps that key symbols indicating shared resources are extracted from risk code blocks of a to-be-detected source code file; aiming at each key symbol, searching an associated code block referencing the key symbol in the global source code, screening a write-in code block which performs write-in operation on the shared resource through the key symbol in the associated code block, and identifying whether the write-in code block uses a lock mechanism or not to provide protection for the write-in operation; determining potential risk points for target code blocks which are identified in the write code blocks and do not use the lock mechanism to protect the write operation; generating an associated file result list based on the risk information of the potential risk point of each key symbol, the file path of the to-be-detected source code file and the risk code block; and analyzing the associated file result list based on the risk large model to obtain an analysis report. According to the method, symbol association and intelligent large model analysis are combined, and efficient and accurate multi-thread risk detection is achieved.
Owner:BEIJING CHENGSHI WANGLIN INFORMATION TECH CO LTD

Data processing method and apparatus

PendingCN122284969ACoding blockSource code file
This specification provides a data processing method and apparatus. The method includes: responding to a user's element selection instruction on a visual preview page of a target application, determining a target visual element in the visual preview page; determining the element source code file path and source code start information corresponding to the target visual element based on the element debugging information of the target visual element; searching in the source code file corresponding to the element source code file path based on the source code start information to obtain code block information corresponding to the target visual element; and responding to a data processing instruction issued by the user through the target application regarding the code block information, executing the data processing operation corresponding to the data processing instruction based on the code block information. This achieves automatic and accurate association from interface elements to source code, improving code processing efficiency.
Owner:SHANGHAI TAOXINBAO NETWORK TECHNOLOGY CO LTD

System and method for automated unit test generation of programming source code

A system for generating a unit test based on source code is disclosed having a computer, a source code file, an abstract syntax tree, and at least one unit test. The source code file contains a source code having a plurality of constructs each belonging to a type including functions, return statements, attribute assignments, function calls, and branches. An abstract syntax tree is generated by a computer based on a source code and a plurality of constructions, the abstract syntax tree having a plurality of nodes, where each of the plurality of constructions in the source code has a corresponding node. At least one unit test is generated by a computer based on nodes of the abstract syntax tree and predefined rules, the unit test comprising at least one packet function corresponding to a function configuration or a branch configuration, and the unit test comprising at least one trial function corresponding to a return statement configuration, an attribute assignment configuration, or a function call configuration.
Owner:CLOUDBLUE LLC

Webpage translation method, electronic device, storage medium and program product

PendingCN122387293ASource code fileEngineering
Embodiments of the present application provide a webpage translation method, an electronic device, a storage medium and a program product, relating to the technical field of computer, and the method comprises: determining a target display area where a user gazes according to eye movement information of the user, wherein the target display area is used to display a target content block of a target webpage; identifying a source object node corresponding to the target content block from an object node tree of the target webpage, wherein the object node tree is obtained by analyzing a source code file of the target webpage; parsing the source object node to obtain source language information in the target content block; and displaying target language information corresponding to the source language information in the target display area. The translation method can ensure accurate extraction of translated content in the webpage translation scene of dynamic and complex layout, thereby improving translation accuracy and translation speed.
Owner:CLOUD INTELLIGENCE ASSETS HOLDING (SINGAPORE) PTE LTD

A source code vulnerability detection method and system

The application provides a source code vulnerability detection method and system, and relates to the technical field of data processing. The method comprises the following steps: generating a semantic judgment result based on a source code file set of a smart meter; generating a light conversation starting point and a magnetic tampering prevention trigger point according to the semantic judgment result, and constructing control flow information; defining a light conversation state variable, defining a conversation opening path segment based on the light conversation state variable and the control flow information; defining a magnetic optical probe scene path based on the conversation opening path segment; generating a vulnerability record corresponding to a sensitive operation according to the magnetic optical probe scene path; and generating a source code vulnerability detection report according to the vulnerability record corresponding to the sensitive operation. The application can make the detection conclusion aggregated and presented according to the scene path and provide clear guidance for rectification.
Owner:BEIJING ZHONGKE ZHUOXIN SOFTWARE EVALUATION TECH CENT

Methods, apparatus, electronic devices, and storage media for determining dependencies

This disclosure provides a method, apparatus, electronic device, and storage medium for determining dependencies. The method includes: obtaining a source code file containing microservice code of a target microservice; and determining a dependency relationship between the target microservice and a called microservice based on the source code file, wherein the called microservice includes microservices called by the target microservice. By employing the above technical solution, this disclosure improves the accuracy, comprehensiveness, and speed of dependency determination.
Owner:BEIJING YOUZHUJU NETWORK TECH CO LTD

Anomaly module determination method and apparatus, device, storage medium, and program product

The present disclosure provides an abnormal module determination method and device, equipment, storage medium and program product, and relates to the technical field of chip simulation verification. The method comprises the following steps: acquiring the calling path of each module in a to-be-verified chip in the to-be-verified chip and source code file storage information of each module; determining at least one reuse module from each module based on the calling path corresponding to each module; and determining an abnormal module from the at least one reuse module based on the source code file storage information corresponding to each reuse module. The method can effectively eliminate the risk of simulation verification environment collapse caused by the need to remove or trim the source code file corresponding to the abnormal module in the subsequent process, thereby ensuring the integrity and stability of the verification environment.
Owner:MOORE THREADS TECH CO LTD

A private intelligent code collaboration optimization method and system based on graph search

The application provides a private intelligent code collaboration optimization method and system based on graph search, and relates to the technical field of intelligent auxiliary tools for software engineering, which comprises the following steps: obtaining source code files and running log data of a private project; performing syntax tree analysis on the source code files through a Tree-sitter parser to generate corresponding abstract syntax trees; constructing a code knowledge graph by analyzing function call relationships, inheritance relationships and module dependency relationships; monitoring changes in project files in the code knowledge graph through a code change event processor and updating the code knowledge graph in real time when the files are changed; establishing an association relationship between the running log data and corresponding function nodes in the code knowledge graph; parsing natural language questions of developers into Cypher query statements through an intelligent Agent; obtaining query results from a graph database; and performing format processing on the query results to generate final results.
Owner:QINGTA TECH

Multi-repository enhancement and collective intelligence ensembling for artificial intelligence (AI) code generation agents

Techniques for multi-repository search enhancement and collective intelligence ensembling for artificial intelligence coding assistants are described herein. A code generation platform provides a user interface enabling selection of multiple code repositories, including repositories stored locally, hosted within enterprise environments, and configured for authenticated user access. The platform indexes selected repositories to extract contextual information by parsing source code files and generating structured data representations. When a user query directed to a generative artificial intelligence code generation agent is received, the platform transmits the extracted contextual information to generate a response. The platform leverages multiple code repositories to provide comprehensive context for code generation tasks, enabling the agent to access historical information about successful and unsuccessful approaches from related projects.
Owner:FOR GOOD AI INC

Automatic real user monitoring (RUM) instrumentation

Systems and methods are disclosed to develop and use a tool to enable an application package to be instrumented with automatic real user monitoring (RUM) without accessing the original source code. A package, such as Android application bundle (AAB) or Android package kit (APK), is imported and decoded and a generated source code file and / or manifest is obtained. Instrumentation is then added at a location corresponding to a code signature in the generated source code file (e.g., an operation to be instrumented before and / or after the operation). The generated source code file is then compiled and packaged into an APK and / or AAB file. The resulting application package is available for downloading, installation, and use on user devices with the instrumentation having been automatically added and without access to the original source code.
Owner:MICRO FOCUS LLC

Project resource prefix method and device, electronic equipment and storage medium

The invention discloses a project resource prefix method and device, electronic equipment and a storage medium, and relates to the technical field of data processing.According to the project resource prefix method and device, the electronic equipment and the storage medium, prefix renaming can be conducted on resource definitions and file names in a resource file and a source code file, and a mapping relation table is generated; automatic batch updating of resource reference in files and source codes is achieved, meanwhile, the consistency of mapping table versions is maintained, operation logs are recorded, the integrated automatic rewriting capacity of source code and resource synchronous processing is formed, the limitation that in the prior art, a binary system layer is not synchronous with the source codes and depends on manual configuration is avoided, and therefore the resource rewriting efficiency is improved. The technical problems that in the prior art, the resource conflict rate of a large project is high, the debugging cost is increased, and the version iteration efficiency is reduced can be solved, and the technical effects of reducing the resource conflict rate, reducing the debugging cost, improving the version iteration efficiency and achieving resource management automation and standardization are achieved.
Owner:CHINA UNICOM ONLINE INFORMATION TECHNOLOGY CO LTD

Lightweight program conversion method and device and terminal equipment

The invention provides a lightweight program conversion method and device and terminal device.The lightweight program conversion method comprises the steps that firstly, a project file set and a conversion configuration set are obtained, and then a first source code file and a second source code file in the project file set are divided according to file types; and converting the first source code file and the second source code file based on the conversion configuration set, and finally integrating to obtain a target lightweight program. According to the method, the source code file is converted on the basis of the conversion configuration set, so that the problem of rigidity of existing simple character string replacement is avoided, meanwhile, manual intervention links are greatly reduced, high dependence on experience of developers is avoided, and the conversion efficiency and accuracy of lightweight programs are remarkably improved.
Owner:ZHUHAI KINGSOFT OFFICE SOFTWARE +2