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
Major :
Master of Science )Computer Science(
Keyword :
partial order , buffer overflows , static analysis , data abstraction , buffer overruns , abstract interpretation
