Dissertation > Excellent graduate degree dissertation topics show

The Design and Implementation of Data Flow Analyzer in C/C++ Program Safety Checker

Author: YuXinDai
Tutor: LiuJian
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Static Safety Check Data Flow Analysis Out of Bound of Array
CLC: TP311.11
Type: Master's thesis
Year: 2010
Downloads: 65
Quote: 1
Read: Download Dissertation

Abstract


A data flow analyzer which is used to collect data flow information for a C/C++ program static safety checker is designed and implemented in this thesis.Firstly, basic theories in data flow analysis and the conventional iterative data flow analysis method is studied, and a control flow path-based data flow analysis method is presented according to the actual needs of the C/C++ program static safety checker. Secondly, based on this method a data flow analyzer is designed and implemented, which searches out the control flow paths in control flow graph, and then parses the abstract syntax tree to calculate data flow information along each path. The overall workflow, control flow path searching and data flow information calculation in the analyzer are discussed detailedly. Finally, integer value analysis of which the result is used to check array bounds is discussed. Experimental results illustrate that this method is effective.

Related Dissertations

  1. The Design and implementation of AST in C/C++ Safety Checker,TP311.52
  2. Research on Type Analysis in Decompilation for ARM Architecture,TP368.1
  3. Research on Statement Recovery and Algorithm Recognition in Code Reverse Analysis,TP311.52
  4. Research and Implementation of Global Array Data-flow Analysis Technology,TP338.6
  5. Research and Realization on Static Detection for XSS Vulnerability Based on JSP,TP311.10
  6. Researches on Two Important Topics of Certifying Compiler,TP314
  7. Abstract syntax tree based on GCC C source semantic text analysis method,TP311.11
  8. The Research and Implementation of Automatic Unit Test Recording Framework,TP311.52
  9. Dynamic taint based on information flow analysis technique,TP393.08
  10. Consider pointer aliasing static analysis technology research,TP311.11
  11. Design and Implementation of PHP Program Statistic Analysis System,TP311.52
  12. Vocational health school student hostel management system design,TP311.52
  13. Research on Key Technologies of File Network-Leakage Prevention Based on Data Stream Analysis,TP393.08
  14. Intelligent Space Management and Monitor System Based on Home Service,TP277
  15. Research and Implementation of CSP-Based Data Flow Testing System for JavaME Programs,TP311.52
  16. The Key Technology Research and Implemention of Decompiler C-Decompiler,TP314
  17. Research on Intermediate Code Optimization in GCC,TP314
  18. Research and Cases Study on Data Flow Analysis,TP314
  19. Interprocedural data flow analysis technology research,TP311.1
  20. The Status Maintenance Management System and Its Data Flow Analyses in Fuel Power Plants,TM73

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