Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ | IEEE Journals & Magazine | IEEE Xplore