Dissertation > Excellent graduate degree dissertation topics show

Implementation of C++Checking Tool with Static Safety Rules

Author: WeiZhiQiang
Tutor: WangAnSheng
School: Beijing University of Posts and Telecommunications
Course: Software Engineering
Keywords: C static safety rule checking compile GCC
CLC: TP312.1
Type: Master's thesis
Year: 2009
Downloads: 114
Quote: 2
Read: Download Dissertation

Abstract


C language is a development language of software which is widely used at present. The developers using C language pursuit efficiency and flexibility of the language. So they ignore the safety of the language in varying degrees. And because of limited capacity and carelessness of programmers, the safety of software is under serious threat.The development of C static safety rule checking tool is studied in this paper. Static code checking tool is software which is used to help programmers to automatically detect whether there are potential safety defect in source code. Through line by line it analyses the source code and finds the potential safety defect in software. The formulation of safety rules based on \aerospace. According to static analysis of C program, the code which is detected non-compliance with safety standards is warned. The purpose is to detect potential safety defect in C program by application of static analysis.Rule checking tool is based on open source compiler GCC and the code which is used to check rules is added on the base of the frontend of GCC. Therefore firstly this article introduces the theory of achieving the frontend of compiler, and then it introduces the internal structure and implementation of the frontend of GCC through reversely analysis of source code of GCC. Finally the methods to develop checking tool are discussed totally according to GCC source code.

Related Dissertations

  1. Design and Implementation of the Vectorizing Complier of High-Performance DSP Matrix,TP314
  2. Lithography feasibility tests and its optimization,TN407
  3. Research on the Buffer Overflow Technology Based on GCC,TP393.08
  4. The Economic Effect Analysis of China-GCC Free Trade Area,F752.7
  5. Study and Development of Decoder Module Based on Embedded CNC System,TG659
  6. Research on the Compile of Higher Primary School History Textbooks in the End of Qing Dynasty and the Early Republic of China (1902-1919),K251
  7. \,J609.2
  8. Research and Application of Early Warning System for Network Attacks Based on Honeypot Technology,TP393.08
  9. Task Scheduling Research Based on Tree-based Grid,TP393.02
  10. Research on RFID Time Delay Estimating Algorithm,TP391.44
  11. The Design and Implementation of Data Flow Analyzer in C/C++ Program Safety Checker,TP311.11
  12. Research on Value Profile-based Optimization,TP314
  13. Research and Implementation of B / S Mode C language exams and automatic scoring system,TP311.52
  14. Embedded System Analysis and Research Based on uClinux OS for ARM7 Kernel,TP368.11
  15. Research on the Compilation and the Philological Value of Nancun Chuogenglu,G256
  16. Research and Design on OSA-GW in IMS,TN919.8
  17. Research on Compilation of WenGuanCiLin,I206.2
  18. A Study on Dong Guan Han Ji,K234.2
  19. Primary Study of the QinDingShiJingYuePuQuanShu,I207.22
  20. Theory and Practice of Compilation of Memoir of Qing Dynasty,G272
  21. Research and Implementation of Job Management System Base on Compile Grid,TP393.09

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Programming language ALGOL
© 2012 www.DissertationTopic.Net  Mobile