30 results about "Program structure" patented technology

The invention discloses a static vulnerability detection method and system based on a unified cross-language program structure diagram, and the method comprises the following steps: constructing the unified cross-language program structure diagram according to a to-be-detected source code and compiling metadata thereof, and building an interface semantic mapping relation on a cross-language interface edge; a cross-language path from a program entry to a sensitive operation point is extracted on the unified cross-language program structure chart, uncertain elements in the cross-language path are labeled, and the confidence coefficient of the path is calculated; performing semantic alignment on heterogeneous language states on a cross-language path based on a cross-language abstract domain, and converting a path condition and a vulnerability establishment condition into logic constraints; and carrying out satisfiability judgment on the logic constraint, outputting a vulnerability detection result according to a judgment result, and generating a structured evidence chain. According to the method, the cross-language evidence chain can be output, vulnerability paths, witness information of trigger conditions and cross-language conversion details can be clearly displayed, and work such as manual recheck and vulnerability repair is powerfully supported.

The invention discloses a unit test code generation method, system and device and a medium, which are applied to the technical field of code generation, and comprise the following steps: performing program structure interface analysis and abstract syntax tree analysis on a target engineering code to obtain a structured meta-information set and a source code syntax structure model; generating a structured context feature vector based on the structured meta-information set and the source code grammar structure model, and retrieving a historical test case sample set from a historical test case database, wherein the global line coverage rate weighted similarity of the historical test case sample set and the structured context feature vector meets a matching condition; after Prompt template filling of different test subtasks is performed based on a historical test case sample set and structured context data through an Agent agent, different modular test codes are generated by adopting different test code generation models, and closed-loop verification is performed after the different modular test codes are integrated into unit test codes. Therefore, the code quality, practicability and adaptability are improved.

Some embodiments construct a set of build dependencies for a program without a full set of build instructions. The build dependency set is constructed without piggy-backing on a build process that would produce an executable version of the program. Representations of the program's structure, such as expression types, call targets, symbol tables, abstract syntax trees, and other internal compiler data structures, are emitted to persistent non-volatile storage instead of being used only as intermediate steps for executable code generation. Security analysis can then utilize the program representations. Licensing analysis can also utilize the dependency set to identify program components and their storage locations.

The invention relates to the technical field of software security, and discloses a variational inference-based micropatch repair path adaptive optimization method, system, device and medium, and the method comprises the steps: constructing a joint control flow diagram and a data flow diagram of a to-be-analyzed program, and forming a program structure diagram; based on the program structure diagram, modeling and sampling potential variables of the repair paths through variational inference, and generating a plurality of candidate repair paths; for each candidate repair path, generating a micropatch statement according to context semantics of each node in the path, and inserting the micropatch statement into a corresponding instrumentation position in the source code; and performing multi-dimensional scoring and sorting on the candidate repair paths, and selecting an optimal repair path for deployment according to a scoring result. According to the method, the structural breakthrough of the whole process is realized in the aspects of path identification, patch generation, strategy optimization, engineering deployment and the like, and a technical support is provided for constructing a software vulnerability repair system with autonomous generation, semantic understanding and controllable deployment capabilities.

The invention provides an API sequence recommendation method based on user intention perception. The method comprises the steps of firstly constructing a training sample based on multi-source information; then carrying out joint modeling on the natural language description and the program structure representation by utilizing a pre-training language model to obtain unified representation fusing user intention and code semantics; secondly, predicting a candidate API sequence in an autoregression mode through a sequence generation model; secondly, in the reasoning stage, semantic enhancement is carried out on the input natural language query by adopting a query expansion technology so as to generate an expansion query; and finally, jointly inputting the extended query and the current code context into the sequence generation model, and outputting an API calling sequence conforming to the user intention. Natural language query and code context information are comprehensively utilized, the development intention is obtained from the natural language description input by the user, modeling is conducted on the programming environment in combination with the current code context, and the API recommendation result better meeting the actual development requirement is generated.

A platform that generates submittal reviews electronically for various construction projects. Embodiments include receiving project submittals by the reviewer, inputting the submittal in a web application interface, receiving the output in a specific format, reviewing the submittal review generated then downloading the reviewed submittal and handing it to a subsequent party for review. In some embodiments, during project initialization, project specifications and drawings are ingested. The project specifications and drawings are processed to extract relevant content, which is used to perform each submittal review. Artificial intelligence (AI) models are prompted through a series of dependent prompt engineered queries. The queries to the AI are broken into preconfigured pieces which improves the accuracy of the AI model. In order to break down the AI queries, the platform builds a program structure around making required calls to an AI API that are tuned for a particular program goal.

The invention discloses an accelerator automatic synthesis method, device and equipment, a medium and a product. The method comprises the steps of generating a candidate region set according to a global program structure tree corresponding to a target application program and LLVM intermediate representation; target areas needing to be accelerated are selected from the candidate area set based on preset constraint conditions, and a target area set is formed; and integrating and multiplexing the accelerators of each target area according to the structural similarity of each target area in the target area set to obtain the accelerator finally corresponding to each target area. According to the method, omission caused by manual selection in the prior art is effectively avoided, the overall performance optimization space is improved, the search efficiency is remarkably improved while the optimal performance is ensured, and the hardware resource cost is remarkably reduced.

A platform that generates submittal reviews electronically for various construction projects. Embodiments include receiving project submittals by the reviewer, inputting the submittal in a web application interface, receiving the output in a specific format, reviewing the submittal review generated then downloading the reviewed submittal and handing it to a subsequent party for review. In some embodiments, during project initialization, project specifications and drawings are ingested. The project specifications and drawings are processed to extract relevant content, which is used to perform each submittal review. Artificial intelligence (AI) models are prompted through a series of dependent prompt engineered queries. The queries to the AI are broken into preconfigured pieces which improves the accuracy of the AI model. In order to break down the AI queries, the platform builds a program structure around making required calls to an AI API that are tuned for a particular program goal.

The application relates to the technical field of software test automation, and provides a requirement-driven test case automatic generation method and system based on a semantic test graph, which comprises the following steps: performing multidimensional static analysis on source code, respectively constructing an abstract syntax tree, a control flow graph and a function call graph, and extracting function call relations and data flow dependency relations; constructing a semantic test graph by taking functions as nodes, taking function call relations as main edges and taking data flow dependency relations as auxiliary edges, and aggregating function nodes in the semantic test graph into several function modules; obtaining several test requirement nodes, calculating semantic similarity between the test requirement nodes and the function modules, establishing a mapping relationship from the test requirement nodes to the function modules, and forming a requirement-program structure association graph; and based on the requirement-program structure association graph, generating a test intention for each test requirement node, and converting the test intention into an executable test case. The highly corresponding relationship between the generated test case and the business requirement is ensured.

A program structure analyzer configured to analyze the structure of a program for causing a computer to execute a predetermined process identifies a source of an action corresponding to a starting pin associated with a reference port selected from one or more output ports set for a target block; repeats identification of a source with the identified source being set as the starting pin, until no output pin corresponding to an action executable by the target block is identified as a source; identifies an input port corresponding to an input pin receiving input from a source that is not an output pin corresponding to an action executable by the target block, as a parent port; and outputs, for each of the output ports set for the target block, dependence data indicating the parent port on which the output port depends.

An application migration method from client-server architecture to blockchain architecture is provided. The application migration method includes the following steps: S1: modeling an application program of a conventional client-server architecture and abstracting the application program to a program call tree; S2: defining a taint propagation rule for taint analysis by taking key data as tainted data, to acquire all taint variables in the application program; and S3: identifying a key module of the application program on the program call tree according to a tainted path, and setting a code refactoring rule to perform code refactoring on a method in the key module according to a special program structure.

The invention relates to a practical training device for electronic programming teaching, a turntable assembly comprises more than two groups of rotating rings which are coaxially and movably connected, and each rotating ring is uniformly provided with positioning grooves along the circumferential direction; the workpiece assembly is arranged in the positioning groove in any position, a sleeve is arranged at the movable tail end of the mechanical arm assembly, and the mechanical arm assembly is used for driving the sleeve to be transferred among the positioning grooves and collecting workpiece bodies; after the workpiece bodies are sequentially transferred to the inner cavity of the sleeve, the upper conductive part and the lower conductive part are conducted through the workpiece bodies arranged according to the correct sequence, and a timing stop signal is sent to the timer. According to the method, the time spent by an operator on the premise that the program compiled by the operator meets the requirement is quantified through the timer, and the quality of the program compiled by the operator is quantified according to the length of the time, so that students are stimulated to optimize the program structure.

This invention proposes a tabular construction method for program data structures, relating to the technical field of computer data structure construction. First, it determines the basic table structure corresponding to each basic data type, visually representing commonly used data types in computer programming in a tabular manner. This facilitates understanding and reading of the program structure and improves efficiency. Then, by nesting table structures within parent tables, multidimensional tables are obtained to express any data structure of varying complexity. This further clarifies the data structure based on a tabular approach, resulting in a low error rate in the output and making it easy to understand and communicate.

The application discloses a unit test code generation method, system, device and medium, which is applied to the technical field of code generation and includes the following steps: obtaining a structured meta-information set and a source code syntax structure model by performing program structure interface analysis and abstract syntax tree analysis on target engineering code; generating a structured context feature vector based on the structured meta-information set and the source code syntax structure model; searching a historical test case sample set from a historical test case database, wherein the historical test case sample set meets a matching condition in terms of global line coverage weighted similarity with the structured context feature vector; filling a Prompt template of different test sub-tasks based on the historical test case sample set and the structured context data through an Agent intelligent agent; generating different modular test codes by using different test code generation models; and performing closed-loop verification after integrating the different modular test codes into unit test codes, so that the code quality, practicality and adaptability are improved.

The invention discloses a RugPull detection method and system based on taint analysis and a large language model and a medium, and relates to the technical field of intelligent contract attack detection.The method comprises the following steps that S1, byte codes of an intelligent contract to be detected are obtained and preprocessed, the byte codes are converted into an assembly-level instruction sequence and analyzed, and the assembly-level instruction sequence is obtained; identifying the basic blocks and constructing a program structure chart; s2, a variable related to fund input is marked as a stain source and initialization is carried out, then the fund flow direction is analyzed, and a fund flow graph is constructed; s3, based on the fund flow graph, identifying suspicious asset flow logic, and generating a structured logic fragment; and S4, inputting the fund flow graph and the structured logic fragments into a large language model, and performing semantic reasoning and risk judgment. According to the method, byte codes can be analyzed without depending on source codes, and higher adaptability and practicability are achieved. Program structure analysis and language model semantic comprehension ability are fused, and RugPull risks in hidden complex logic can be accurately recognized.

The invention relates to a multi-component collaborative operation-based control method for ALD equipment, which comprises the following steps of: splitting the equipment into a plurality of components according to functions, newly establishing a corresponding functional block for each component, and respectively adding a plurality of actions for each functional block; declaring an enumeration data type; a variable is declarated in each function block; compiling action logic of each action; and calling each function block and the action of each function block in the main program according to the action logic of the equipment. The method has the advantages that the method is reasonable in design, equipment with a complex structure is split into a plurality of components, the action of each component is decomposed, and the action of each component is called according to the action logic of the equipment, so that the program structure is clear, the calling is convenient and flexible, and the program is convenient to maintain and update.

The invention provides a sensitive behavior dynamic reproduction method and device based on large model driving, and relates to the field of information security, and the method comprises the steps: generating an application program structure document according to an obtained development operation record of a to-be-detected mobile application program; performing feature analysis on the installation document of the to-be-detected mobile application and the application structure document to obtain a sensitive call chain; inputting a preset prompt word template and the sensitive call chain into a pre-constructed sensitive chain analysis model for analysis to obtain a script file corresponding to the sensitive call chain; and executing the script file, and verifying whether the sensitive call chain can dynamically reproduce the sensitive behavior or not. According to the method, accurate positioning of potential sensitive behaviors, automatic script generation and dynamic verification of the behaviors can be realized by combining static taint analysis with reasoning and generation capabilities of a large language model.

The invention discloses a programming method for batch processing of analog input signals based on a SIEMENS PLC controller. The programming method comprises the following steps: creating a user-defined PLC data type in a TIA Portal project tree; creating a data block, and establishing an array in the data block by taking a PLC data type as an element type; creating a function block, declaring a one-dimensional array of which form parameters are PLC data types in an interface area of the function block, and declaring a loop index variable, an intermediate conversion variable and an alarm temporary storage variable in a temporary variable area of the function block; executing cyclic batch processing logic in a program area of the function block; and calling the function block in the main program, and transmitting an array in the data block as an actual parameter through a pointer so as to complete batch processing of all analog input signals. The program structure is simple and clear, signal information is easy to search for field system maintenance personnel, the fault processing time is shortened, the system maintenance efficiency is improved, and the effect is remarkable.

This invention proposes a software product testing method, apparatus, equipment, and storage medium. The method includes: parsing the program structure of the software product to be tested, extracting module dependencies, and calculating structural complexity parameters; determining the behavioral statistical caliber based on the structural complexity parameters; dividing the running event sequence into statistical windows according to the behavioral statistical caliber, calculating the correction behavior intensity, and generating running behavior feature values; obtaining reference feature sequences from historical stable running phases, calculating the stable behavior reference center value and fluctuation width; and calculating the deviation score using the running behavior feature values, reference center value, fluctuation width, and behavioral statistical caliber to generate the testing result. This invention effectively solves the problem of insufficient accuracy of fixed threshold detection in complex software scenarios by adaptively adjusting the statistical caliber based on structural complexity and combining dynamic behavioral features with historical benchmarks for deviation determination, thereby improving the stability and reliability of software running status monitoring.

The application relates to the technical field of industrial automation control, in particular to a control program compiling method, an electronic device and a storage medium. According to the control program compiling method, a ladder program to be compiled is acquired first; the ladder program contains multiple types of element representation graphs; a structural analysis is performed on the logical connection relationship between the element representation graphs in the ladder program, so that tree program structure data is obtained; a program instruction mapping operation is performed based on the tree program structure data, so that multiple program assembly codes corresponding to the tree program structure data are obtained; and the multiple program assembly codes are translated and interpreted, so that a binary executable program is obtained. In this way, the operation efficiency, real-time performance and compilation process can be improved in the process of industrial automation control.

The invention discloses a test case generation method and device, equipment and a computer storage medium. The method comprises the steps of performing static analysis on a to-be-tested program to obtain program structure information; executing an initial test based on the program structure information, and collecting initial coverage information; selecting a target path from the to-be-covered path set based on a dynamic evaluation mechanism and the initial coverage information; performing symbolization processing on the target path, generating a path constraint and performing constraint solution; when constraint solving succeeds, generating a test case covering the target path; and when the constraint solution fails, generating a guide signal based on the unsuccessfully solved part, and executing a guide type search based on the guide signal to generate a test case covering the target path. According to the method, the problems that complex branches are difficult to cover due to low random test efficiency, symbolic execution path explosion and constraint solution are difficult, a search technology is easy to fall into local optimum, and initial exploration efficiency is low can be solved, and test case generation efficiency and path coverage capability are improved.

The invention belongs to the technical field of code annotation generation, and particularly relates to a mixed entropy driven code annotation generation method which comprises the following key steps: S1, constructing a standardized dictionary for standardizing codes and annotations; s4, constructing a program structure multi-relation graph PSRG for comprehensively capturing multi-dimensional structure information and deep semantic features of the codes; s6-S8: constructing a PSRG structure expert coding module, a retrieval annotation expert coding module and an expert vector sequence dynamic selection module, realizing effective balance between information utilization efficiency and semantic generalization ability based on a mixed entropy driving mechanism, and enhancing the representation ability and context adaptability of the generation model. According to the scheme, the adaptive capacity of the model to the long word string is improved, and the grasping of semantic details is enhanced, so that the accuracy, fluency and robustness of annotation generation are remarkably improved.

The application provides a method and system for calculating stress and strain response of engineering structure, and relates to the technical field of engineering structure analysis, wherein a few groups of material parameters are used to calculate stress and strain of engineering structure under complex temperature field through linear interpolation of material parameters to temperature; meanwhile, an error control strategy is combined in the explicit integration scheme, so that the constitutive model can simultaneously consider calculation speed, convergence and calculation error when used for stress and strain calculation of structure, the program does not need to divide a small increment step, the error control module is used to judge whether the error meets the requirements, if the error does not meet the requirements, the increment step is automatically reduced, and the calculation is restarted until the error meets the requirements, the error control module ensures the accuracy of the calculation program; the explicit integration scheme makes the structure of the calculation program simple, and iteration calculation is not needed, so that the calculation speed is ensured to be fast and the program convergence is strong, and the problem that convergence and calculation speed of nonlinear constitutive numerical calculation program are difficult to consider is overcome.

The invention belongs to the technical field of computer language conversion, and particularly relates to an implementation method and device for converting a graphical language into a text editing language, and the method comprises the steps: S1, analyzing a graphical programming program according to a hierarchical structure of program-network segment-line-element lattice, and establishing attribute mapping for each element lattice; s2, based on the attribute mapping, analyzing a network segment from a left lead to the right, obtaining network segment information, a branch general table, a blocking information general table and an error information table, and determining a 0-order branch according to the number of extension lines; s3, performing same-order branch analysis on each 0-order branch; s4, executing a same-order branch set analysis step, traversing a current-order branch, executing single-branch analysis on each branch, and if a waiting mechanism is triggered, skipping to step S5; and S5, processing the same-order or different-order branches according to the blocking information general table. The method can adapt to various complex graphical program structures and has good expansibility.

The invention provides a machine tool control system and method and a storage medium, and belongs to the field of machine tool control, the machine tool control system comprises an input interface control module and an output interface control module, the input interface control module is used for constructing a standard function, and the standard function obtains multiple pieces of precondition information of machine tool operation through an input interface. According to the method, a complex fool-proof mechanism and potential collision logic of underlying hardware do not need to be concerned, the technical threshold is remarkably reduced, the working efficiency is improved, the time cost and the learning cost required by handover are greatly reduced, meanwhile, the problem of system stability caused by disordered program styles and unclear logic is effectively avoided, and the system reliability is improved. And safety risks such as equipment collision or operation faults caused by misreading of a program structure or mismodification of key control logic by maintenance personnel are effectively prevented, and the method has remarkable engineering application value and popularization prospect.

The invention discloses a neural symbol learning-based natural language problem programmed analysis method, which comprises the following steps of: constructing a problem coding module, a program analysis module, a program representation module, a problem reconstruction module and a joint training and consistency constraint module; a'problem-to-program 'analysis process and a'program-to-problem' reconstruction process are modeled at the same time under a unified framework, and the accuracy and stability of program generation are improved by using bidirectional consistency constraints. An auxiliary learning signal of a program reconstruction problem is introduced in a training process of the system and is used for constraining reasonability of program semantics, so that generation of error program structures is reduced, and a learning effect under a weak supervision or semi-supervision condition is improved. The method does not need to depend on additional manual rules, has the advantages of being clear in structure, high in interpretability, good in generalization ability and the like, and is suitable for program analysis and reasoning process modeling in neural symbol reasoning tasks such as visual reasoning and the like.

Programming language for the safety-verified control of physical systems, characterized by: a) a syntax with physical types (e.g. meter, second, newton, volt), b) an integrated translation and security architecture with mandatory safety contracts, c) a structural design for the automatic generation of security-relevant information, d) a mission-oriented program structure, e) and a hardware-independent implementation description.

The application relates to the technical field of software test automation, and provides a requirement-driven test case automatic generation method and system based on a semantic test graph, which comprises the following steps: performing multidimensional static analysis on source code, respectively constructing an abstract syntax tree, a control flow graph and a function call graph, and extracting function call relations and data flow dependency relations; taking a function as a node, taking a function call relation as a main edge, and taking a data flow dependency relation as an auxiliary edge to construct a semantic test graph; aggregating function nodes in the semantic test graph into a plurality of function modules; obtaining a plurality of test requirement nodes, calculating semantic similarity between the test requirement nodes and the function modules, establishing a mapping relation from the test requirement nodes to the function modules, and forming a requirement-program structure association graph; based on the requirement-program structure association graph, generating a test intention for each test requirement node, and converting the test intention into an executable test case. The highly corresponding relation between the generated test case and the business requirement is ensured.

This invention discloses a static vulnerability detection method and system based on a unified cross-language program structure graph, comprising the following steps: constructing a unified cross-language program structure graph based on the source code to be detected and its compilation metadata, and establishing interface semantic mapping relationships on the edges of cross-language interfaces; extracting cross-language paths from the program entry point to sensitive operation points on the unified cross-language program structure graph, marking elements with uncertainties in the cross-language paths and calculating path confidence; semantically aligning heterogeneous language states on the cross-language paths based on cross-language abstract domains, and converting path conditions and vulnerability establishment conditions into logical constraints; determining the satisfiability of the logical constraints, outputting vulnerability detection results based on the determination results, and generating a structured evidence chain. This invention can output a cross-language evidence chain, clearly displaying the witness information of the vulnerability path and triggering conditions, as well as the details of cross-language conversion, effectively supporting manual review, vulnerability remediation, and other work.

The invention discloses a multi-language program structure unified modeling method and system based on semantic preservation, and relates to the technical field of program analysis and network security. The method comprises the following steps: receiving source codes of multiple programming languages, generating a corresponding native abstract syntax tree by utilizing a front-end analyzer configured with a declarative mapping framework DSMF, and converting the native abstract syntax tree AST into initial nodes and edges of a unified structured semantic graph SSG according to a predefined mapping rule; receiving type information of multiple programming languages, mapping the type information into a unified quintuple semantic vector by using a multi-language unified type system (MLUTS), and annotating the semantic vector to a corresponding node of a structured semantic graph (SSG) as an attribute. According to the method, a unified model containing control flow, data flow and program semantics can be constructed, static vulnerability detection and deep stain analysis in a cross-language environment are effectively supported, and the coverage rate and accuracy of analysis are remarkably improved.