Visualization method and system for program analysis processes

A technology of program analysis and program, applied in the field of program analysis, can solve problems such as invisible analysis results, uncontrollable analysis process, and failure to show students

Inactive Publication Date: 2017-09-12
郭德贵
View PDF3 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

During the teaching process, we found that conventional program analysis software cannot visually display the process and results of program analysis to students, and the analysis process is also uncontrollable
[0003] For example, cppcheck, a static inspection tool for code defects, can perform strict logical defect detection on c programs, but the software can only provide detection results, and the intermediate analysis results are invisible, and the analysis process is uncontrollable

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Visualization method and system for program analysis processes
  • Visualization method and system for program analysis processes
  • Visualization method and system for program analysis processes

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0085] In order to make the purpose, technical solution, and advantages of the present invention clearer, the specific implementation examples of a service function authorization method and system involved in the present invention will be further described in detail below with reference to the accompanying drawings.

[0086] The basic principle of the program process visualization method described in the present invention is:

[0087] see figure 1 , the program process visualization method adopted in the present invention is composed of four modules, namely a program conversion module, a standardization module, a meta-level operation module, and an analysis result visualization module;

[0088] Program conversion module: convert the input source program into an intermediate representation;

[0089] Standardization module: delete information unrelated to data flow and control flow in the intermediate representation;

[0090] Meta-level operation module: perform o...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a visualization method and system for program analysis processes. The method includes a program switch module, a standardized processing module, a meta-level operation module and a graphical display module, wherein the program switch module generates intermediate representation of a computer program; the standardized processing module normalizes and simplifies the intermediate representation of the program; the meta-level operation module provides the intermediate representation with a primary program modification mode; the graphical display module extracts information of data flows and control flows of the program, and displays an abstract syntax tree, a control flow diagram and a program dependence graph in a graphical mode. The visualization method and system for program analysis processes have the advantages of visually showing the whole processes of a program analysis, using a graph to demonstrate the result of the program analysis, and helping students better understand analysis processes and analysis methods of programs.

Description

technical field [0001] The invention relates to the field of program analysis, in particular to a visualization method and system for program analysis process. Background technique [0002] At present, program analysis tools or software focus on the method of program analysis, and the specific analysis process is abstract and not intuitive, so it is not suitable for teaching. During the teaching process, we found that conventional program analysis software cannot visually display the process and results of program analysis to students, and the analysis process is also uncontrollable. [0003] For example, cppcheck, a static inspection tool for code defects, can perform strict logical defect detection on C programs, but the software can only provide detection results, and the intermediate analysis results are invisible, and the analysis process is uncontrollable. Contents of the invention [0004] The problem to be solved by the present invention is to provide a method and...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3604
Inventor 刘磊郭德贵张鹏申春张睿吕帅刘华虓
Owner 郭德贵
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap