• Dynamic pointer tracking and its applications 

      Zhang, Kun (Georgia Institute of Technology, 2010-01-12)
      Due to the significant limitations of static analysis and the dynamic nature of pointers in weakly typed programming languages like C and C++, the points-to sets obtained at compile time are quite conservative. Most static ...