Dissertation > Excellent graduate degree dissertation topics show

The Design and Implementation of Front End of Software Safety Checking Tool

Author: DengFan
Tutor: LiuJian
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Symbol Table Abstract Syntax Tree Memory Resource Safety Checking ANTLR
CLC: TP311.53
Type: Master's thesis
Year: 2009
Downloads: 31
Quote: 0
Read: Download Dissertation

Abstract


The software safety checking tool studied and discussed in this paper is capable of checking the safety of a program when it is compiled and inspecting safety holes that might exist in the analyzed program as comprehensively as possible, thereby keeping the program from more serious issues when it is executed.The software safety checking tool is composed of a front end and a back end. First of all, this paper discusses the function and significance of building symbol tables and creating abstract syntax trees in the front end of the software safety checking tool. Secondly, the syntax analyzing rules provided by the analyzer automatic production tool ANTLR are studied thoroughly. Based on this, symbol tables are built and abstract syntax trees are created by appending semantic actions and tags in the productions of the syntax analyzing rules with the method of syntax-directed translation. This method fully makes use of the automatic production mechanism provided by ANTLR, thus could enhance the reliability and extendibility of the front end and lay a good foundation for the construction of the back end.Finally, the manifestations of safety holes related to memory resources are analyzed and studied. The front end of this tool is capable of checking these holes by appending semantic actions in the syntax analyzing rules provided by ANTLR and symbol table modules according to some well-designed algorithms. It is practically proved that the front end of this tool can satisfy the need of checking the safety holes above mentioned.

Related Dissertations

  1. Code Plagiarism Detection Research Based on Suffix Tree,TP311.11
  2. Implementing the Compiler of UDLC Based on Grid,TP314
  3. A Research on Program Coding-oriented Plagiarism Detection Techniques by AST-based Strategy,TP274
  4. Research on Momery Model for Symbolic Execution,TP333.1
  5. Research on Function Identification and Recovery Technology in Static Binary Translation Basing on Software Conventions,TP311.52
  6. Research and Application of Cross-Developing Environment Based on Embedded MIPS Linux,TP316.81
  7. Design and Implementation of Code Smell Detection Tool for Auto-refactoring,TP311.52
  8. Study on Code Generation Technology and Its Applications on Telecom Add-Value Services,TP311.52
  9. Design and Implementation of C to Java Automatic Program Transformation System Prototype,TP311.11
  10. Design and Implementation of C to Java Automatic Program Transformation System Prototype,TP311.11
  11. Design and Implementation of Software Tool Based Tree Structure,TP311.52
  12. The Research and Implementation of Embedded ECMA Interpreter,TP368.1
  13. Design and Implementation of a Refactoring Tool for Java Application,TP312.1
  14. Research and Implementation of Cursor and Trigger Mechanism in DBMS,TP311.13
  15. Research and Implementation of GKD-Base PL/SQL Stored Procedure and Package,TP311.13
  16. Study and Implementation of Interpreter of Data Base Procedure Language,TP311.13
  17. A Conversion from Java Language to XML,TP312
  18. Design and Implementation of ATLAS_MPS,TP311.52
  19. C Compiler for Embedded System Based on M68HC11,TP314
  20. ASN.1 translation system key technology research and partial implementation,TP391.2

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