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

57 results about "Java code" patented technology

Source code (Java) JAVA is a file extension for a source code file format used for Java. A JAVA file may contain a program or be one of a number of source code files to make a program. The Java programming language was created for the distributed environment of the Internet.

Java code generation and self-repairing system

The invention discloses a Java code generation and self-repairing system, which comprises a natural language processing module, a data processing module, a self-repairing module and a self-repairing module, the code generation module is used for generating code snippets or complete codes according with Java grammar specifications and coding habits through a deep learning model; and the intelligent repair module is used for performing static analysis and dynamic test on the Java code to find errors and defects in the code. According to the method, advanced technologies such as deep learning and natural language processing are introduced, high-quality and maintainable codes are automatically generated according to natural language description or specific requirements of developers, and the flexibility and maintainability of code generation are improved.
Owner:BEIYIN FINANCIAL TECH CO LTD

System for realizing bidirectional conversion between model and code

The invention discloses a system for realizing bidirectional conversion between a model and a code, and the system comprises a meta-model architecture module which is used for constructing a unified model specification; the meta-model engine module is used for generating, analyzing and processing the meta-model architecture module; and the bidirectional conversion module is used for realizing forward and reverse synchronous conversion between a zero code model and a Java model serving as a program code by adopting the meta-model engine module. By means of the scheme, a unified specification with the meta-model architecture as the core is established, a powerful meta-model engine is used for automatic processing, and the barrier between a zero-code visualization model used by business personnel and bottom-layer Java codes written by developers is seamlessly broken through. The synchronization capability of the model and codes ensures the continuous alignment of business design and technical implementation, and effectively supports the quick iteration of agile development and business.
Owner:CHINA DATANG GRP DIGITAL TECH CO LTD

Method, device, equipment and system for generating Java code and medium

The embodiment of the invention discloses a method, device, equipment and system for generating Java codes and a medium. The method comprises the following steps: determining a target function module to be edited by a user, wherein the target function module is selected by the user from a preset function module set; sending a cue word corresponding to the target function module to a user, wherein the cue word comprises a demand cue word and an inter-module calling relation cue word; receiving description information returned by the user according to the cue word, wherein the description information comprises demand description and calling relation description between modules; obtaining a Java code from the artificial intelligence large model according to the demand description, and generating a calling code according to the calling relation description between the modules; and generating a Java code corresponding to the target function module according to the Java code and the calling code.
Owner:CHINA TELECOM ARTIFICIAL INTELLIGENCE TECHNOLOGY (BEIJING) CO LTD

Interface code rapid generation method and device based on large language model

The invention provides an interface code rapid generation method and device based on a large language model, and the method comprises the steps: inputting a table structure into the large language model, and enabling the large language model to generate an SQL statement corresponding to the table structure through a cue word; analyzing the SQL statement, and generating an API interface message definition; and through a code template technology, automatically generating a Java code according to an API interface message definition. According to the method, the executable source code with high readability can be directly obtained according to the table structure of the development project.
Owner:FUJIAN FUNO MOBILE COMM TECH CO LTD

Java code generation system based on UML class diagram and large language model

The invention discloses a Java code generation system based on a UML (Unified Modeling Language) class diagram and a large language model, relates to the technical field of software development, and solves the technical problem that the UML class diagram cannot be quickly and accurately converted into a Java code to improve the software development efficiency in the prior art. The system comprises a format conversion module used for converting an imported UML class diagram into a standard format; the data set construction module is used for collecting UML class diagram files in a standard format and corresponding Java codes and constructing a data set; the fine tuning module is used for performing fine tuning on the large language model by utilizing the data set and evaluating the accuracy, the code structure and the quality of the fine-tuned large language model according to an evaluation strategy; a trained large language model is deployed in the code generation module, and the code generation module is used for generating Java codes from UML class diagram files in a standard format; according to the method, the automation degree from the UML class diagrams to the Java codes is effectively improved.
Owner:UNIV OF ELECTRONICS SCI & TECH OF CHINA

Method for analyzing reported data of equipment based on Protocol Buffer

The invention belongs to the technical field of computer data processing, and discloses a method for analyzing data reported by equipment based on Protocol Buffer, which comprises the following steps of: S1, configuring a protobuf file according to service requirements; s2, the sending end generates a message data stream according to the data collected by the equipment; s3, the sending end sends the message data stream to a message server; s4, the receiving end converts the protobuf file into a class function which can be called by the Java code; and S5, the receiving end monitors the message server in real time, and constructs the data stream into a corresponding object through the Java class function of the protobuf after receiving the data stream issued by the message server. When the data collected by the equipment is changed, source codes do not need to be modified, only the protobuf file needs to be redefined, and a new class function is generated. When a large batch of data is processed, the data represented by protobuf can be more efficient, the compressed data is smaller, and the transmission efficiency is improved. Moreover, due to the fact that the data structure is defined in advance, data analysis is more efficient.
Owner:无锡雷华网络技术有限公司

Exception handling method and apparatus, device, and storage medium

The present disclosure provides an exception handling method and apparatus, a device, and a storage medium. The method comprises: acquiring, when it is determined that an exception event occurs for Java code invoked based on a JNI, a Java exception object corresponding to the exception event. Then an exception identifier corresponding to the exception event is deleted. Finally, a pre-configured Java exception handler is invoked based on the JNI, and exception handling is performed on the Java exception object using the Java exception handler, the Java exception handler being configured to report the exception event corresponding to the exception object as a Java crash event.
Owner:DOUYIN VISION CO LTD

CRON-based routing machines and processes to schedule and execute java code excerpts across fault-tolerant load-balanced distributed servers running JVM namespaces

A routing process schedules and executes Java code excerpts across backend servers. A route table contains routes to be executed in JVM namespaces on servers and identifies for each route a Jar file containing applicable classes and methods to be executed at a CRON time. During execution, methods are retrieved from each applicable class and are executed to extract data from backend devices. The servers transform the extracted data into frontend data and load it onto frontend storage devices. Only the classes and methods in the Jar file for a route need be executed. Complete Java programs need not be run.
Owner:BANK OF AMERICA CORP

Code conversion method and device based on sentence pair equivalent replacement, equipment and medium

The application belongs to the field of databases and provides a code conversion method, device, equipment and medium based on statement pair equivalent replacement, which comprises the following steps: obtaining a to-be-converted statement including a first operator and a first logical statement in PLSQL code to be converted, the first operator being used for performing a logical NOT operation, and the logical operation result of the first logical statement being Null; obtaining a target logical operation result of the to-be-converted statement; removing the first operator and converting the first logical statement into a second logical statement with a logical operation result of the target logical operation result; and replacing the second logical statement with the to-be-converted statement to convert the obtained target PLSQL code into target Java code. According to the technical scheme of the embodiment, when the logical operation result of the first logical statement in the to-be-converted statement is Null, the to-be-converted statement can be replaced by the second logical statement in a pair-equivalent manner, so that the operation logic remains unchanged after being converted into a Java statement and the normal operation of the system is ensured.
Owner:CHINA PING AN LIFE INSURANCE CO LTD

Credit investigation variable derivation method and device based on double paths

The invention discloses a credit investigation variable derivation method and device based on double paths, and belongs to the field of credit investigation variable derivation, and the method comprises the steps: obtaining each to-be-derived credit investigation variable and the corresponding JAVA structured data and derivative variable configuration table, and classifying the to-be-derived variables into JAVA derivative variables and SQL derivative variables according to the configuration table; and processing the JAVA derivative variable through a corresponding JAVA code to obtain a result, obtaining an SQL derivative variable result from an Oracle transaction level temporary table of the optimal database subjected to health degree screening according to the corresponding SQL code, and finally combining the two types of results to output a final derivative result. Therefore, by implementing the method and the device, the problem that it is difficult to ensure that the credit investigation variable derivation result is generated in time when the credit investigation data volume reaches the ten million level in the prior art can be solved.
Owner:晋商消费金融股份有限公司

A method for improving JVM performance based on SIMD

The application relates to the technical field of Java virtual machines, and particularly discloses a method for improving the performance of a JVM based on SIMD, which comprises the following steps: obtaining a loop logic instruction in Java code, processing the compiled loop logic instruction to obtain a SIMD instruction set; parsing a loop logic operation in a Java instruction to obtain an assembly instruction; sending the assembly instruction to a CPU through the SIMD instruction set; and obtaining a calculation result returned by the CPU after SIMD operation. The application parses common data loop logic operation into a SIMD instruction set, and all data are loaded into the CPU at a time in the mode of executing one operation based on the SIMD instruction set, so that the data operation efficiency is improved, the CPU is prevented from repeatedly executing simple work, the processing performance of the CPU is saved, and the running efficiency of the Java virtual machine is improved.
Owner:INSPUR SUZHOU INTELLIGENT TECH CO LTD

A method and device for supporting asynchronous structured storage of second-generation credit reporting

ActiveCN115858647BDoes not affect business transactions during the dayFlexible configurationProgram initiation/switchingFinanceEngineeringMultithreading
The application discloses a kind of method and device supporting second generation credit reporting asynchronous structured storage, belong to bank information technology field, solve existing credit reporting data is not stored, insufficient use, cause data waste.The essence is in solving the mode of asynchronous processing shortens the response time of credit inquiry.The steps of the present application are based on java code to query database to extract the full-amount credit inquiry record of the previous day;Based on java code, the query results of step 1 are put into List data structure;Create a thread pool to process the objects in List with multiple threads;Iterate the List objects in step 3, convert the data to JSON, and determine if the JSON is empty. If it is not empty, execute step 5, if it is empty, iterate the next data in List and repeat step 4;Parse the JSON and store it in the defined storage table according to the credit data specification.
Owner:WUHAN ZBANK CO LTD

Java code variable naming normalization judgment method and system

The invention relates to a Java code variable naming normalization judgment method and system. The method comprises the following steps of obtaining a business term table and a file path list of a Java file based on obtained project basic information; sequentially scanning the Java files in the file path list, and identifying variable declaration statements in the Java files and code lines of the variable declaration statements; identifying a variable name corresponding to the statement based on the variable declaration statement; identifying annotation information corresponding to the variable declaration statement based on the code line of the variable declaration statement; and determining the normalization of the variable name based on the business term table, the variable name and the annotation information. According to the method, whether the variable naming in the Java code conforms to the basic naming specification or not can be judged, and whether the Java variable naming achieves the meaning of seeing the name or not can also be judged; the name of the code variable is checked in an automatic code scanning mode, and compared with a manual code walkthrough mode, the efficiency is higher.
Owner:TRAVELSKY TECHNOLOGY LIMITED

A method for optimizing java code layout without interrupting application services

This invention discloses a Java code layout optimization method that does not interrupt application services. The method includes: acquiring front-end bottleneck data of the application; when it is determined that code layout optimization is needed based on the front-end bottleneck data, collecting the dynamic control flow graph of the application service; calculating a new code layout based on the dynamic control flow graph; generating new code according to the new code layout; correcting relocation information in all code, that is, redirecting function calls and data references pointing to the old code to the new code. During the correction process, memory barriers and cache maintenance instructions are used to ensure the atomicity and consistency of the modification operations, so as to achieve uninterrupted application services; only reclaiming the memory space used by the old code that is no longer executed to store the new code generated in the next optimization, retaining the function code still on the call stack, so that most of the memory space can be reclaimed without interrupting application services. This method effectively alleviates the processor front-end bottleneck of Java applications and improves application performance.
Owner:ZHEJIANG UNIV

Method, device and electronic device for converting code

The present disclosure provides a method, device and electronic device for converting codes, which are applied to the Internet of Things or financial fields, etc. The method is used to convert a code supported by a first program into a code supported by a second program, wherein the first program includes a first extensible markup language file and a Java file, and the first extensible markup language file includes a structured query language code, and the above method includes: obtaining the first extensible markup language file and the Java file; and reconstructing the structured query language code by an extensible markup language parsing method, and reconstructing the Java code in the Java file by a template generation method, to obtain a folder of the second program, and the folder of the second program includes the reconstructed structured query language code and the reconstructed Java code.
Owner:工银科技有限公司 +1

Code translation method based on SAP and JAVA software systems and related equipment thereof

The invention relates to the technical field of data exchange between an SAP system and JAVA software, and provides a code translation method based on an SAP and JAVA software system and related equipment thereof.The code translation method comprises the steps that when an ABAP code of the SAP system needs to be translated into a JAVA language, an ABAP variable of the SAP system is read, the data type of the ABAP variable is judged according to the read ABAP variable, and according to the data type of the ABAP variable, the code of the SAP system is translated into the JAVA language. According to the method, JAVA entity class codes are generated, the JAVA entity class codes comprise a JAVA main entity class code and a plurality of JAVA sub-entity class codes, and the JAVA main entity class code and the plurality of JAVA sub-entity class codes are used for being output into a text file, so that when an SAP system and a JAVA system use a common interface to carry out data exchange, after the SAP determines an interface, the JAVA entity class codes are output into the text file, and the JAVA entity class codes are output into the text file. The JAVA interface entity class code can be accurately and automatically generated, and the problem that developers repeatedly communicate and confirm the interface and repeatedly modify the JAVA code is solved.
Owner:SHENZHEN LANYOU TECHNOLOGY CO LTD

Graphical user interface for electronic equipment integrated development environment

ActiveCN309269203SProgram graphGraphical user interface
1. Name of the product of this design: Graphical user interface for an integrated development environment for electronic devices. 2. Purpose of the product of this design: an electronic device. 3. The key design point of this appearance design product lies in the graphical user interface. 4. The picture or photo that best illustrates the key points of the design: Design 1 main view. 5. Designate Design 1 as the base design. 6. Purpose of Graphical User Interface: The interface is used to build graphical programs. 7. Human-computer interaction mode of the graphical user interface: In the main view of Design 1, the user selects and right-clicks "Get hoisting workbench operation point information [7]" in the secondary business model, and the interface jumps to Design 1 interface change state diagram 1; the user clicks "View java code" in Design 1 interface change state diagram 1, and the interface jumps to Design 1 interface change state diagram 2; the user clicks "Code comparison" in Design 1 interface change state diagram 2, and the interface jumps to Design 1 interface change state diagram 3. In the main view of Design 2, the user selects and right-clicks "Immediately issue AGV tasks [14]" in the main business model, and the interface jumps to Design 2 interface change state diagram 1; the user clicks "View java code" in Design 2 interface change state diagram 1, and the interface jumps to Design 2 interface change state diagram 2; the text in the figure is the content screen and does not require protection.
Owner:CHONGQING ZHUGELIANG TECH CO LTD

UML (Unified Modeling Language) time sequence diagram automatic generation method compatible with multilingual code analysis

The invention provides a UML (Unified Modeling Language) time sequence diagram automatic generation method compatible with multilingual code analysis, which comprises the following steps of: by capturing the characteristics of C + + and Java codes, confirming the code type of each part of a mixed source code, and analyzing different types of codes; matching the codes marked as the C + + codes with a regular expression, matching keywords, class information and inheritance information of the C + + source codes to be analyzed, and converting the keywords, the class information and the inheritance information into parameter names; analyzing the code marked as the Java code by grammar and lexical, and extracting class information and method calling information of the Java source code to be analyzed; generating a corresponding Plant UML (Unified Modeling Language) code; and drawing a UML comprehensive time sequence diagram. According to the UML time sequence diagram automatic generation method compatible with multilingual code analysis, the function and logic composition of a mixed C + + code and a Java code can be intuitively reflected, the interaction relation between the C + + code and the Java code can be intuitively reflected, program information and the function relation which can only be obtained by checking tedious source codes are avoided, and the readability and maintainability of the codes are improved.
Owner:HEFEI UNIV OF TECH

A distributed notification method based on Netty and Nacos

ActiveCN116800828BPERQMessage type
The application discloses a distributed notification method based on Netty and Nacos, and comprises the following steps: defining a message body to be pushed; starting a microservice, and automatically completing Nacos service registration when the microservice is started; reporting the port of the Netty server of the microservice and basic information of the microservice to the Nacos server; starting a thread monitoring task for maintaining TCP links between services; when any microservice sends a message to other microservices, the server of the any microservice acquires a microservice cluster; after other microservices receive the message, the other microservices enter specified Java code for processing the received message according to the type of the message type in the message body. The application fully utilizes the characteristics of Nacos, and provides support for TCP transmission by combining with the high-performance and asynchronous event-driven NIO framework of Netty, so that the notification between microservices is efficient and reliable.
Owner:BEIJING E-SAFENET SCI & TECH CO LTD

Box loading method

The invention provides a box loading method, which can be realized in a modularized manner, can be internally integrated in a system and can also be independently deployed, and the system integration is flexible. And irregular loading containers and various loading rules are supported, including threshold conditions of height limitation, load, loading rate and the like of the loading containers, and rule conditions of non-pressing light weight, non-pressing small size, cross stacking, layer number limitation, load bearing limitation, priority level and the like of target loading boxes. And meanwhile, the method can be realized based on Java codes, and has excellent performance in the aspects of large data volume and concurrency control.
Owner:SHANGHAI ALLWAYS INFORMATION TECH CO LTD

Crawler prevention method and system combining WASM and data encryption

The invention relates to an anti-crawler method and system combining a WASM and data encryption, and the method comprises the following steps: initializing a WASM bytecode cache pool, generating a random number by the WASM bytecode cache pool through a SecureRandom class of Java, inputting the random number into the WASM bytecode cache pool, and generating a secret key through an AES algorithm based on the random number in the WASM bytecode cache pool; dynamically generating a JAVA code containing decryption logic, and embedding the key into the code in an array form; the dynamically generated JAVA code is translated to generate a WASM decryption byte code, and the WASM decryption byte code and a secret key are stored in a WASM cache pool together; and before the webpage background service returns request data, acquiring a key and a corresponding WASM decryption byte code from the cache pool, encrypting the data by using the key, and returning ciphertext data and the WASM decryption byte code.
Owner:FUJIAN BOSS SOFTWARE

Method, system and device for automatically generating code based on MCP protocol, and medium

The invention discloses a method, system and device for automatically generating codes based on an MCP protocol and a medium. The method comprises the steps of constructing a server-side code generation engine based on an MCP protocol, responding to a code generation request input by a user, analyzing the code generation request to obtain a data table structure, a service name and a service name, and triggering and generating a calling instruction to call the server-side code generation engine to process the data table structure, the service name and the service name, the method comprises the following steps: acquiring first dimension information, second dimension information and third dimension information, triggering to generate a Java code text matched with a project based on the three dimension information, then sending the Java code text to a client, calling a large model at the client to integrate the Java code text into a service level corresponding to a service name, and acquiring a target code. The method supports dynamic analysis and integration of project structures and business semantic hierarchies, codes matched with projects can be dynamically, accurately and efficiently generated, and actual requirements are met.
Owner:BEIJING QINGSONG YIKANG INFORMATION TECHNOLOGY CO LTD

Bytecode encryption method and system based on Java Agent startup

The invention relates to a byte code encryption method and system based on Java Agent startup, and the method comprises the steps: configuring encryption parameters in a Java project file specified by a user; decompressing an original JAR packet in the Java project file, encrypting a specified class file in the decompressed JAR packet according to the encryption parameter and a preset encryption algorithm, and retaining corresponding data according to a preset parameter type; a MANIFEST.MF file of the original JAR packet is modified, Java Agent information is added, and the Java Agent information is used for verifying passwords corresponding to the encryption parameters and decoding the passwords; and repackaging the encrypted class file into a JAR packet. The method has the effect of solving the problems of cross-platform characteristic loss and efficiency reduction in the Java code protection process.
Owner:SHANGHAI RUIYAN TECH CO LTD

Cross-language data blood relationship analysis method based on abstract syntax tree and regular collaboration and related device

The embodiment of the invention relates to the technical field of data processing, and discloses a cross-language data consanguinity analysis method based on an abstract syntax tree and regular collaboration and a related device. Performing blood relationship analysis on SQL code data in the code data, and extracting field-level and table-level blood relationship information; carrying out Python code blood relationship analysis to obtain Python code blood relationship information; performing blood relationship analysis on the Java code to obtain Java code blood relationship information; performing blood relationship analysis on the Web front-end flow collection data to obtain Web front-end blood relationship information; according to the field-level and table-level blood relationship information, the Python code blood relationship information, the Java code blood relationship information and the Web front-end blood relationship information, obtaining a structured blood relationship graph; and generating a visual blood relationship query interface according to the blood relationship graph. Through the above mode, the embodiment of the invention realizes real and reliable verification.
Owner:GUOSEN SECURITIES

UML (Unified Modeling Language) model-oriented event-driven behavior code automatic generation method and system

The invention relates to a UML (Unified Modeling Language) model-oriented event-driven behavior code automatic generation method and system. The method comprises the following steps: exporting an XMI file containing class, activity and state machines from a UML (Unified Modeling Language) modeling tool, constructing a document tree through DOM (Document Object Model) analysis, and extracting meta-model elements and relationships thereof; and generating attributes and methods of the main class and the associated class and Java source codes of the main method according to an analysis result, taking the main method of the main class as a simulation / operation entry, and calling the main method of the associated class during operation. Aiming at the behavior type of the classifier: when the behavior type is Activity, traversing an identification sequence, branching / merging, parallelizing / synchronizing and circulating from an InitialNode, constructing a behavior control flow diagram, decomposing the behavior into SimpleTask and LoopTask, and generating a Java code containing an Execute method and a scheduling statement; and when the state conversion diagram is the StateMach, reconstructing the state conversion diagram and generating a state machine instance and a StateMach Runner operation management type instance code, thereby realizing migration execution driven by a signal event and a time event and mixed triggering of the signal event and the time event and the activity. The method is suitable for the field with high requirements for model consistency and rapid verification.
Owner:ZHEJIANG UNIV

A method and system for generating database table creation statements based on JAVA annotations

The present invention provides a method and system for generating database table creation statements based on JAVA annotations, relating to the technical field of database development. The method comprises: sequentially marking classes requiring database table generation and methods requiring database table field generation in Java code; writing template code to scan the Java code; generating database table information based on the marked classes requiring database table generation; generating table field information based on the marked methods requiring database table field generation; and generating table creation statements based on the database table information and table field information. During the Java code writing process, the present invention directly designs the database, marking classes requiring database table generation and methods requiring database table field generation on fields within the classes in the form of annotations in the Java code. Furthermore, after development is complete, the Java reflection function is utilized to directly obtain database table creation statements by scanning the Java code, thereby significantly saving developer time.
Owner:SI-TECH INFORMATION TECH CO LTD

Abnormality processing method and device for Java smart card and electronic equipment

PendingCN121957633AEliminate invalid operationsShorten capture latencySoftware deploymentFull life cycleSmart card
The invention relates to the technical field of intelligent card data processing, and discloses an exception handling method for a Java intelligent card, which comprises the following steps: constructing a full life cycle index module of a program conversion package CAP file; wherein the full life cycle index module comprises a global registry; under the condition that the Java code of the Java intelligent card is abnormal, positioning a target CAP file corresponding to the abnormal code according to a full life cycle index module; according to the target CAP file and an exception type mapping table recorded in the global registry, running a target exception information processor in an exception information processing group of the target CAP file to capture an exception code; and after the abnormal code is captured, updating the state of a global registry of the full life cycle index module according to the current state of the target CAP file. According to the method, the exception type mapping table is added, the invalid operation of traversing the processor is reduced, and the capture efficiency is improved. The invention further discloses an exception handling device for the Java smart card and electronic equipment.
Owner:CHINA ELECTRONICS STANDARDIZATION INST

An agile development method and medium based on java dynamic agent

The present invention relates to an agile development method and medium based on java dynamic proxy, the agile development method is based on a compiler module for accepting, storing and compiling a code string of a partner business configuration dynamic proxy class, and a caller module for calling a business delegation class according to the partner business configuration dynamic proxy class to implement the partner business landing; the compiler module uses a JavaCompiler.CompilationTask instance to execute the compilation task of the partner business configuration dynamic proxy class; the caller module performs the following steps: based on the invoke method in the Java dynamic proxy InvocationHandler interface, the business delegation class is called according to the partner business configuration dynamic proxy class to implement the partner business landing. The beneficial effects are that it is adaptable to high and low versions of java, the execution efficiency is consistent with the native java code, the code is easy to maintain, and the business is quickly implemented.
Owner:AGRI BANK OF CHINA LTD SHANGHAI BRANCH

Cross-language malicious software detection system and method based on graph neural network

The invention discloses a cross-language malicious software detection system and method based on a graph neural network, and the method comprises the steps: 1, carrying out the preprocessing of an application program through a control flow diagram generation module, and generating a control flow diagram for a Java code and a local code; 2, a graph fusion module is used for extracting the relation between the control flow graphs and fusing the two graphs to obtain a fused graph; and step 3, learning the fusion graph through a graph learning module in charge of vectorization of nodes in the fusion graph and classification of control flow graphs of benign software and malicious software. According to the cross-language malicious software detection method, an application program is represented as graph representation for processing, a graph fusion algorithm is designed to combine local and Java code graphs, and a gated graph neural network is used for learning the combined graphs to realize cross-language malicious software detection.
Owner:XIDIAN UNIV

Memory safety verification method in Java code automatic generation based on Event-B

The present invention discloses a memory security verification method in automatic Java code generation based on Event‑B. Firstly, the functional requirements, environmental requirements and security requirements of the memory management system are clarified. Then, the memory management system is abstractly modeled and the core functions of the system are defined, including memory allocation, recycling and state management. The memory management process is formally described to ensure the verifiability of the system behavior. The refinement strategy starts from the initial abstract model and gradually introduces different functional requirements and security requirements for refinement. In each step of the refinement process, the model is verified. The security conversion rules from Event‑B to JML and then to Java code are constructed, and the Isabelle / HOL theorem prover is used to verify the semantics of the system behavior, so as to ensure the correctness of the memory operation in the code conversion process and realize the security conversion from Event‑B model to Java code.
Owner:CHINA RAILWAY LIUYUAN GRP CO LTD +1