Accelerating Taint-Based Concolic Testing by Pruning Pointer Overtaint | IEEE Conference Publication | IEEE Xplore