161 results about "Code line" patented technology

The invention discloses an invalid code automatic elimination method and device, a medium and a product, and the method comprises the steps: carrying out compiling analysis processing on each program file in a to-be-processed target program item, generating a syntax tree model, and testing the compiled program file to obtain a program test result; unused variables in all the variables are identified through a syntax tree model, and uncovered code lines are positioned in combination with a test result; analyzing logic judgment conditions of uncovered code lines based on the syntax tree structure, and judging the code lines which cannot be triggered as unreachable codes; unused variables and unreachable codes in the program files are removed, new program items are obtained, and when the new program items are correctly compiled and executed, the new program items are used for replacing the target program items. Program redundancy is reduced, and execution efficiency is improved.

The invention relates to the technical field of computers, in particular to a source code hierarchical positioning method, electronic equipment and a medium. Determining a target hierarchy corresponding to a target code line, a code range corresponding to the target hierarchy and code ranges of all target sub-hierarchies based on the code line hierarchical structure information of the code file; and displaying the code lines belonging to the target hierarchy, the code range corresponding to the target hierarchy and the code range of the target sub-hierarchy in the code lines in the visual range by adopting different display identifiers. According to the invention, code levels concerned by a user can be quickly and accurately positioned.

The invention provides a user-defined script dynamic editing and executing method and system of a Unity engine. The method comprises the following steps that codes are input and preprocessed; executing text cleaning, word segmentation and annotation preprocessing according to the line feed as a code line set; grammatical analysis and semantic understanding; constructing an abstract syntax tree, identifying a syntax structure, and combining context analysis semantics to generate a symbol table; processing errors in real time; positioning an error line through a multi-stage matching strategy, highlighting an error position through a visual interface, and generating a repair suggestion in combination with a line number mapping table, error propagation analysis and a multi-evidence fusion mechanism; executing dynamic codes; explaining and executing the corrected script, and feeding back an execution result; through interaction with a Unity engine, operation control of a script on a game object and a scene is realized; through three core technologies of semantic weight dynamic matching, an anti-interference navigation state machine and a hybrid sorting algorithm, the long-standing problems of low matching precision, poor interaction experience and the like in the field of code completion are solved.

The invention discloses a formal verification method based on a hierarchical verification framework, which comprises the following steps of: firstly, dividing a target program into a C code and an assembly code, modeling and verifying the assembly code, then modeling and verifying the C code, and in the modeling process of the C code, carrying out verification on the C code; and defining a specific state and an abstract state of each data structure, establishing mapping through a refinement relationship, defining a function model based on the abstract state, constructing a function API specification, and finally defining system properties for a target program according to the function model and verifying the system properties. According to the method, a hierarchical verification framework and a formalization tool are combined, formalization verification is carried out on the target program from specific implementation to abstract division into three layers, comprehensive verification from bottom-layer codes to high-layer system properties is realized, the risk of security vulnerabilities is reduced, and the reliability of the target program is improved.

The invention discloses a slow SQL code positioning method, device and system and a storage medium, and the method comprises the steps: configuring an SQL monitoring module in a target business system, so as to generate slow SQL log information under the condition that the SQL query time consumption of the target business system exceeds a threshold value; acquiring slow SQL log information, analyzing the slow SQL log information, and determining target analysis information; according to the version control information and the code positioning information, positioning a code line of the target code of the corresponding version, and obtaining submission information of the code line, the submission information comprising a code submission object; adding comment information in the code line, wherein the comment information comprises part or all of the target analysis information; in response to the adding operation of the comment information, a prompt message is sent to the code submission object, and the prompt message comprises part or all of the comment information. Therefore, the slow SQL can be detected, the corresponding code line can be automatically positioned, the comment information is added in the code line, the code submission object is notified in time, and the timeliness and convenience of maintenance can be improved.

The invention discloses an error log supervision method, device and system and a storage medium. The error log supervision method comprises the steps of obtaining error log information of a target business system; analyzing the error log information, and determining target analysis information; a code line of a target code is positioned according to the target analysis information, submission information of the code line is obtained, and the submission information comprises a code submission object; adding comment information in the code line, wherein the comment information comprises part or all of the target analysis information; in response to the adding operation of the comment information, a prompt message is sent to the code submission object, and the prompt message comprises part or all of the comment information. Therefore, the corresponding code line can be automatically positioned, the analyzed error log information is added into the comment, and the code submission object can be notified in time, so that the convenience of code maintenance is improved.

The invention relates to the technical field of code security, in particular to a data stream compliance detection method and device based on code semantic rule-driven LLM, and the method comprises the steps: carrying out the normalization processing of a to-be-detected source code: removing annotation, null lines, unifying branch circulation into an if-else structure, and establishing lt; code lines and line numbers gt; performing mapping; constructing a code semantic rule knowledge base; generating a code intermediate expression by using LLM; generating an execution path for the intermediate expression, constructing a symbol table, and reasoning and positioning non-compliant variables and corresponding code lines according to a data flow rule; generating a detection report; the device comprises a code standardization processing function module, a knowledge base construction function module and other function modules for achieving the method, manual intervention is not needed, C / C + + code compliance can be automatically detected, the detection precision and efficiency are remarkably improved, and non-compliance positions can be accurately traced.

The invention relates to the technical field of macro text processing, in particular to an intra-macro identifier position information acquisition method, electronic equipment and a medium, and the method comprises the following steps: setting a corresponding macro virtual file for each macro reference in a chip design code original file; loading a chip design code original file, and obtaining initial position information of an identifier in each macro based on a macro virtual file corresponding to each macro reference; expanding each target macro reference in a target code line in the original file of the chip design code to obtain a target macro expanded text; obtaining a column position offset and a row position offset corresponding to each target macro reference based on the target macro expanded text and the macro initial expanded text of each target macro reference; and generating position information of the intra-macro identifier in each target macro reference in the target macro expanded text based on the column position offset and the row position offset corresponding to each target macro reference and the initial position information of the intra-macro identifier in each target macro reference.

The invention discloses a method and a system for evaluating a test coverage rate based on a Java call link, and relates to the field of software testing. The method comprises the following steps: identifying a difference function according to a first comparison result, and constructing a call chain tree structure by taking the difference function as a root node based on a code call relation graph; analyzing the difference function to obtain a direct code change line of the difference function, based on a call chain tree structure, identifying a related code line on a call chain where each call point is located as a call point code line, and summarizing the direct code change line and the call point code line; and analyzing the code coverage rate data to obtain an actually covered code line, comparing the to-be-tested code line with the actually covered code line, determining coverage rate index data based on a call chain according to a second comparison result, and determining a test coverage rate evaluation result according to the coverage rate index data. The test coverage rate can be evaluated more comprehensively and accurately.

The invention discloses a cloud-based 3D printer intelligent control method and system, and the method comprises the steps: after receiving an STL model file and printing parameters uploaded by a user at a cloud, executing a slicing operation to generate G code data, and transmitting the G code data to a printer; then, the cloud end continuously receives a G code line number currently executed by the printer, context analysis is carried out on G code data according to the G code line number, and a real-time printing context vector reflecting the current working state and the expected action of the printer is generated; meanwhile, in combination with a camera video frame collected by a printer, AI reasoning based on context perception is carried out on visual data by utilizing the real-time context vector, so that a more accurate exception decision is generated and an alarm is sent to a client. In this way, the accuracy and robustness of printing anomaly detection are remarkably improved, and therefore more intelligent, efficient and reliable remote printing experience is provided for a user.

The invention discloses a method and a system for generating a test case for covering a loop boundary based on program slices. The method comprises the following steps of: inputting a source code to be tested and a target loop line number; the method comprises the following steps: analyzing a to-be-tested source code based on an abstract syntax tree technology, and extracting key node information to construct a program dependency graph; collecting related code lines through graph traversal by taking a loop structure needing to be analyzed as a criterion, and generating a minimum executable loop slice; performing symbolic execution on the minimum executable loop slice, simulating a loop execution process, capturing condition judgment nodes, and forming a track dictionary; determining a strategy based on the trajectory dictionary and the variable state, and when the strategy is numerical search, performing parameter space exploration; when the strategy is symbolic analysis, analyzing the cyclic condition expression and solving the optimal parameter; generating candidate test cases based on the analysis result; executing the candidate test case, calculating the number of loop iterations, and determining whether an expected state is reached; and if the expected state is reached, outputting a final test case.

The invention provides a testing method, device, equipment and product, and relates to the technical field of testing. The method comprises the following steps: acquiring a test case set written according to an interface demand of a target application and an interface which establishes a mapping relationship with the interface demand; in the process of executing each test case in the test case set through the target application, recording a first code line of a code of the target application covered by each test case through the constructed staining matrix; obtaining a first coverage rate of the code according to the first code line and the code of the target application; and under the condition that the first coverage rate exceeds a first preset threshold value, sending a deployment instruction of the target application to a deployment platform. The test case is written according to the interface requirement and the interface establishing the mapping relation with the interface requirement, the rigid requirement problem of the test can be met, a linkage effect is formed with the whole process of product research and development, codes covered by the test case are recorded through the dyeing matrix, the interface which is not covered can be processed, and the test quality is effectively improved.

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.

The invention discloses a test case generation method and device, and relates to the field of software testing, and the method comprises the steps: obtaining a first test case; the first test case is input into the to-be-tested software inserted with the probe to run, so that constraint information of the first test case is obtained, and the constraint information indicates the execution condition of the constraint passed by the first test case in the execution path of the code related to the target point; the target points comprise code lines with potential vulnerabilities in source codes of the to-be-tested software; and generating a second test case based on the first test case and constraint information of the first test case, wherein the constraint information is used for indicating a variation mode of the first test case. Through the method, the first test case can be varied according to the constraint on the execution path related to the target point, and exploration on irrelevant paths which cannot reach the target point is reduced, so that the variation efficiency of the test case capable of triggering the target point is improved.

The embodiment of the invention provides a code detection method, system and device, electronic equipment, a storage medium and a program product. According to the scheme provided by the embodiment of the invention, the received change code data comprises at least one change code line, and the change code line is a code line of which the content is changed relative to the previous version source code in the current version source code. Based on the current version source code and the change code data, extracting at least one code program segment from the current version source code; one code program segment comprises one change code line or a plurality of change code lines with continuous line numbers or a plurality of change code lines with discontinuous line numbers. Furthermore, the change classification corresponding to the code program segment can be determined. And based on the code program segment and a risk rule associated with the change classification corresponding to the code program segment, determining a risk detection result of the change code line in the code program segment.

Methods, apparatus, and articles of manufacture to generate usage dependent code embedding are disclosed. An example apparatus includes parsing circuitry to select a usage context for a code snippet, the usage context including at least one LOC before the code snippet or before a code line (LOC) calling the code snippet, the code snippet, and at least one LOC after the code snippet or after the LOC. The example apparatus also includes embedding circuitry to generate a first list of token embedding vectors for a first token of the second list of tokens for the code snippets, and a third list of token embedding vectors for a second token of the fourth list of tokens using the context. The example apparatus also includes a concatenation circuit to concatenate a transformed token embedding vector that closes the token and a fifth list of transformed token embedding vectors for the first list.

The invention discloses a chip testing method and device, a medium and a program product, and relates to the field of chip testing. The chip testing method comprises the steps of generating a to-be-analyzed RBM based on a chip hardware module, a target trigger of the chip hardware module and a target mark field matched with the target trigger; segmenting the to-be-analyzed RBM according to the hierarchical structure associated information corresponding to the target trigger to obtain each chip hardware module code segment; and according to each chip hardware module code segment, creating a system full-module index table, and carrying out code testing based on the system full-module index table and a daisy chain technology. According to the technical scheme provided by the embodiment of the invention, the position of the required analysis module in the RBM and the corresponding code line number can be accurately identified, and the debugging processing efficiency is greatly improved.

The invention discloses a test case generation method and device and a readable storage medium, and belongs to the technical field of automatic software testing. The method comprises the following steps: performing method call analysis on a to-be-tested program to generate a method call set; inputting the test case and a program code into a large language model to generate an initial test case; and evaluating the coverage rate, and if the saturation condition is not met, identifying an uncovered code line and feeding back the uncovered code line to the model to iteratively generate a new case until the coverage rate is saturated. According to the method, the high-coverage test case can be automatically and efficiently generated, and the method is particularly suitable for a scientific calculation program.

The invention provides an automatic statistical method, statistical system and equipment for code line differences, and the method comprises the following steps: carrying out the structural analysis of a multi-library engineering architecture, and extracting the current dictionary library data of each code warehouse; according to a target engineering configuration rule, inputting multi-version engineering identification parameters of to-be-counted code line differences, and obtaining corresponding to-be-counted dictionary database data; carrying out homologous matching comparison on multiple groups of dictionary database data to be counted, and classifying according to version difference scenes; correlating and calling corresponding code resources, calculating quantitative data of each unit identification code line according to a preset rule, and correlating and storing; the processes are integrated and deployed on an automatic execution platform, and standardized presentation and interactive display of cross-version project line difference data are achieved; the problems that existing code line statistics lacks a multi-warehouse identification mechanism, so that a code line statistics system cannot accurately divide code boundaries of all warehouses, respective statistics of code lines of all the warehouses cannot be achieved, and then pertinence and availability of code line data are affected are solved.

The invention belongs to the technical field of computers, and discloses a script processing method and device, equipment and a readable storage medium, and the method comprises the steps: determining a target code line meeting a preset tracking condition from an original script; inserting an output command for outputting a line number in front of a target code line of the original script to obtain a test script; executing the test script to obtain execution process information, and sequentially extracting line numbers output in the execution process from the execution process information to obtain a line number sequence; and inserting the execution sequence number annotation behind the target code line of the original script by utilizing the line number sequence to obtain a marked script with an execution sequence annotation. According to the method and the device, the marked script with the execution sequence annotation can be obtained, identification, analysis and correction of logic or grammar errors in a program can be assisted, and real and reliable execution sequence information is provided for script debugging.

The embodiment of the invention provides a software vulnerability mining method and device based on static analysis and big and small model collaboration.The method comprises the following steps that attack faces are recognized and classified, and a code line annotation node set is generated; performing first-stage filtering on the code line annotation node set based on rules, and performing second-stage filtering on the annotation node set after primary filtering based on a twin neural network; taking a high-confidence node in the high-confidence attack surface set as a tracking starting point, generating a basic data flow diagram, obtaining a front-edge node set through static analysis, expanding the front-edge node set through a large language model and a path expansion algorithm, and generating a complemented data flow diagram; and detecting vulnerabilities based on the complemented data flow diagram to obtain a software vulnerability mining result. According to the scheme, through cooperation of the large language model and the twinning neural network, the false alarm rate is reduced, and the coverage rate and accuracy of vulnerability mining are improved.

The application discloses a firmware code coverage statistics method and electronic equipment, and relates to the technical field of program detection, and comprises the following steps: responding to a first script construction command, calling an automatic script to insert a stub point code in a firmware code file, and the stub point code comprising a file index, a statistics function and a macro definition; wherein, a first array created by the macro definition records a code line number and an execution frequency, a second array created by the macro definition records a file index, a line number limit value and a first array address; when executing the firmware code file, the statistics function is called when executing the stub point position, the statistics function counts the executed code in the firmware code file according to the first array and the second array, and the firmware coverage is calculated by combining the executed code with the total code of the firmware code file, thereby solving the problems that the related art occupies a large amount of storage and memory and affects the running performance, and achieving the technical effects of reducing the firmware resource occupation and not affecting the firmware running performance.

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.

The invention discloses an electric energy meter task concurrent scheduling method and system based on foreground and background systems, and relates to the technical field of electric energy meter task scheduling. After initialization is completed, current task information is obtained, analysis and classification are carried out, a thread task corresponding to the current task information is executed, whether the current thread task is executed for the first time or not is judged, and a first-time execution judgment result is obtained; and executing a last suspended code line number clearing operation in the thread stack, executing the task code according to the task logic until the current task is executed to the thread task suspending starting point, storing the current code line number to the current thread stack, and exiting the current thread. The technical problems that in the prior art, single threads of foreground and background systems cannot be concurrent, task response is slow, and the CPU resource utilization rate is low are solved, and the technical effects that multi-task concurrent scheduling of the electric energy meter under the foreground and background single threads is achieved, the task response speed is increased, and the CPU resource utilization rate is increased are achieved.

To provide an information processing system capable of transversally retrieving source codes of various softwares developed using various development languages, without being restricted by language characteristics.SOLUTION: An information processing system for retrieving a source code according to a meaning attribute includes: an identification processing part for identifying a development language of a processing object file as a processing object, from a code storage part storing the source code; an analysis processing part for associating a code line in the processing object file with the meaning attribute, according to the identified development language of the processing object file, and generating an intermediate file; and an index processing part for performing index processing on the intermediate file, and storing a retrieval index.SELECTED DRAWING: Figure 1

The application belongs to the technical field of exception systematization, and discloses a method, system, medium, equipment and terminal for realizing exception information configuration, code coordinates are acquired, exception definitions are acquired according to the code coordinates, it is judged whether there is an exception definition, if there is an exception definition, exception information is created, if there is no exception definition, default exception definitions are acquired and exception information is created, and then exception information configuration is realized. The application reduces the complexity of creating exceptions, so that a developer only needs to throw out exceptions conforming to specifications and convenient for later maintenance through an exception tool, without worrying about whether the exception codes conflict and whether the use is chaotic. An exception tool class of the application quickly maps exception definition information according to exception definition elements, and creates corresponding exceptions according to exception types, wherein the stack frame technology of JVM is used to quickly lock the code line number, which is used as one of the elements of the exception definition, so as to solve the problems of traditional definition exception code conflict and chaos.

The embodiment of the invention provides a programming auxiliary development method and device and a storage medium, and belongs to the technical field of industrial robots. The method comprises the steps of obtaining a to-be-detected code line; determining an effective code segment according to the to-be-detected code line; performing letter capital and lowercase correction on the first abnormal code which does not meet the preset assignment condition in the effective code segment; and performing letter capital and lowercase correction on the second abnormal code which does not meet the preset grammar configuration file in the effective code segment. Effective code segment extraction is carried out on each row of codes, and letter capital and small case correction is carried out on the first abnormal codes and the second abnormal codes in the effective code segments, so that abnormal detection and correction of the row-by-row codes can be realized; the first exception code and the second exception code are code segments related to the assignment variable and the grammar respectively, so that the exception in the programming form of the industrial robot can be corrected in real time, and the requirement on the programming capability of the industrial robot is reduced; therefore, the programming convenience of the industrial robot is improved.

The invention discloses a code coverage rate visualization method and device and a medium, and the method comprises the steps: sending a first test code uploaded by a developer to a tester; determining a second test code corresponding to the first test code and a difference code of the first test code relative to the second test code; performing coverage rate test on the first test code to determine a difference code coverage rate corresponding to the difference code; and transmitting the difference code coverage rate to a front end and rendering. The difference code is judged based on the difference subtree, and only the code line number and the coverage state of the difference code are transmitted, so that the size of a network transmission data packet can be reduced, and the coverage rate rendering efficiency is effectively improved.

The application provides a computer network security software debugging method and system. A plurality of test nodes of a source program in target network security software are set, a key test node is located based on an execution state at each test node, and a target search domain when the source program is tested is constructed by program context information of the key test node. A plurality of program slices with abnormalities in the source program are determined based on a static control flow graph and a dynamic control flow graph of program code in the target search domain. Test overhead of each program slice is determined according to test coverage information of each program slice and path complexity when the source program is tested. Constraint levels of each program slice are determined according to all test overhead and membership between each program slice. Each program slice is debugged through the constraint level of each program slice. The above scheme can accurately point to a problem code line in a network security software debugging process based on constraint levels of each program slice.