Local sensitive program analysis method based on abstract syntax tree and theorem proof
An abstract syntax tree and theorem proving technology, which is applied in the field of locally sensitive program analysis based on abstract syntax trees and theorem proving, can solve problems such as low running performance, discounted analysis results, high false positive and false negative rates, and shorten the time spent , to avoid the effect of low efficiency
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0032] The technical solutions of the present invention will be further described below in conjunction with the accompanying drawings and specific embodiments.
[0033] A local sensitive program analysis method based on abstract syntax tree and theorem proving provided by the present invention includes:
[0034] Perform preprocessing, lexical analysis, and grammatical analysis on the program code, and construct an abstract syntax tree AST without grammatical errors according to the results of grammatical analysis;
[0035] Traverse the abstract syntax tree AST of the program code, collect the nodes to be detected and the related nodes of the nodes to be detected, form the relevant logical expressions of the nodes to be detected according to the information of the nodes to be detected and their related nodes, and input them into the theorem prover;
[0036] In the process of traversal, first determine the nodes to be detected, then collect and analyze the information of the nod...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com