Accelerating Dynamic Detection Of Memory Errors For C Programs Via Static Analysis