Dissertation > Excellent graduate degree dissertation topics show

Analysis and Check of Type Conversion and Control Flow Safety Vulnerability

Author: ZhaoWenJie
Tutor: LiuJian
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Software Safety Static Check Type Conversion Abstract Syntax Tree
CLC: TP309
Type: Master's thesis
Year: 2006
Downloads: 113
Quote: 1
Read: Download Dissertation

Abstract


High efficiency and flexibility are the aims of the developers of C/C++ language. But some safeties are neglected more or less. Because of the programmer’s inability or carelessness, the safety of the software is extremely threatened. Type conversion and control flow safety vulnerabilities in C/C++ are studied in this paper. Feasible static detecting methods are given based on deep analysis of these safety vulnerabilities.For type conversion safety vulnerabilities, its commonness is summarized through the analysis of data type characteristic and the conversion of them. Syntax directed translation technique is used to describe the type conversion safety vulnerabilities formally. Finally, these vulnerabilities are detected with the use of foreign free software GASTA and the handle of the AST (Abstract Syntax Tree). The control flow relative safety vulnerabilities are handled similarly.

Related Dissertations

  1. The Design and implementation of AST in C/C++ Safety Checker,TP311.52
  2. The Design and Implementation of Front End of Software Safety Checking Tool,TP311.53
  3. Research and Implementation of Program Plagiarism Detection System,TP311.52
  4. The Role of IL-27 in Myasthenia Gravis and Its Correlation with Anti-AchR-IgG Class Switching,R746.1
  5. Research and Design of Source Code Homology Detection System Based on Text and Abstract Syntax Tree Compare,TP311.52
  6. The Research and Application of Automatic Scoring System Based on Abstract Syntax Tree,TP311.52
  7. Abstract syntax tree based on GCC C source semantic text analysis method,TP311.11
  8. GCC abstract syntax tree analysis and control of dependency subgraph building method,TP311.11
  9. The Exterior Space Design Exploration of the Public Rental Housing in Mountainous City Based on Typology,TU984.12
  10. A Modular Approach on Building Certified Software System,TP311.52
  11. Design and Implementation of Code Smell Detection Tool for Auto-refactoring,TP311.52
  12. Inversion techniques in combinatorial identities Applications,O157
  13. Design and Implementation of ATLAS_MPS,TP311.52
  14. Three European countries and the reform of health care financing,F842.6
  15. Based on abstract syntax tree and static analysis of the cloned code is automatically reconstructed,TP311.52
  16. Study on Software Homology Detection Technology Based on Ast Structure Optimization and CFG Comparison,TP311.52
  17. Gatling weapons within variable RF energy technology research,TJ02
  18. Certifying Compilation in an Infrastructure for Developing Trustable Software,TP311.52
  19. Research on Testing and Evaluating Theory of Reliability and Safety for High Dependability Software,TP311.52
  20. Design and Implementation of Code Clone Analysis System Based on Sequence Matching,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > General issues > Security and confidentiality
© 2012 www.DissertationTopic.Net  Mobile