Dissertation > Excellent graduate degree dissertation topics show

The Design and implementation of AST in C/C++ Safety Checker

Author: ChenChao
Tutor: LiuJian
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: safety hole static safety check Abstract Syntax Tree ANTLR
CLC: TP311.52
Type: Master's thesis
Year: 2009
Downloads: 133
Quote: 3
Read: Download Dissertation

Abstract


What this paper done is a part of a research project, which is "C/C++ Safety Checker". According to the actual needs of this project and on the basis of fully research on the C/C++ syntax, first of all, this paper gives the abstract syntax tree of C/C++ program with the abstract syntax tree automatically generated mechanism that is provided by the ANTLR, which is a automatically generated tool of analyzer, and completes the design and implement of node class and can provide the abstract syntax tree information of safety checker’s other model; Secondly, for sake of ensuring the information of abstract syntax tree to build accurately and completely, this paper brings forward to the method to build the function-AST of the member function that is defined inside of classes, and the method of building the abstract syntax tree corresponding to the function template instance.The last but not the least, this paper combined the abstract systax tree traversal framework automatically generated mechanism that is provided by the ANTLR, and gives a method of information collection in frontend and switch-statement safety bug inspection in backend of the safety checker by using AST. It has been found that the abstract syntax design can meet the needs of safety hole inspection.

Related Dissertations

  1. The Design and Implementation of Front End of Software Safety Checking Tool,TP311.53
  2. The Design and Implementation of ANTLR-Based TTCN-3 Parser,TP314
  3. Research on the Reverse Engineering Based on Design Pattern,TP311.52
  4. Design and Implementation of Code Smell Detection Tool for Auto-refactoring,TP311.52
  5. Design and Implementation of ATLAS_MPS,TP311.52
  6. ASN.1 translation system key technology research and partial implementation,TP391.2
  7. The Design and Implementation of Preprocessor of C/C++ Program Safety Checker,TP312.1
  8. Design and Implementation of Code Clone Analysis System Based on Sequence Matching,TP311.52
  9. Design and Implementation of the Chemical Script Editor,TP319
  10. Research and Application of the Instrumentation in Embedded Software White-Box Testing,TP311.52
  11. The Research and Implementation of Automated Assessment System Based on Semantic Understanding,TP311.52
  12. The Design and Implementation of CBFT,TP311.52
  13. Based on abstract syntax tree and static analysis of the cloned code is automatically reconstructed,TP311.52
  14. Implementing the Compiler of UDLC Based on Grid,TP314
  15. Research and Design of Source Code Homology Detection System Based on Text and Abstract Syntax Tree Compare,TP311.52
  16. Study on Software Homology Detection Technology Based on Ast Structure Optimization and CFG Comparison,TP311.52
  17. The Research and Application of Automatic Scoring System Based on Abstract Syntax Tree,TP311.52
  18. Abstract syntax tree based on GCC C source semantic text analysis method,TP311.11
  19. GCC abstract syntax tree analysis and control of dependency subgraph building method,TP311.11
  20. Research and Implementation of Program Plagiarism Detection System,TP311.52
  21. The Design and Implementation of Data Flow Analyzer in C/C++ Program Safety Checker,TP311.11

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile