• DocumentCode
    12263
  • Title

    Abstraction-Based Static Analysis of Buffer Overruns in C Programs

  • Author

    Matthias Stallmann استاد مشاور , Daniel C DuVarney استاد مشاور , S Purushothaman Iyer استاد راهنما

  • University
    Virginia Polytechnic Institute and state University
  • Grade
    نامعلوم
  • Major
    Master of Science )Computer Science(
  • Number of pages
    0
  • Publish Date
    2003
  • Keyword

    partial order , buffer overflows , static analysis , data abstraction , buffer overruns , abstract interpretation

  • Note
    01
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=17&DC=12263