TheNSFCKeyResearchPlanonTrustworthySoftware.pptVIP

Zhang and his students have also worked on the automatic detection of memory leak problems in C programs. * * We show the main points in the introduction. (1 min) * Here is AutoLog’s architecture shown as the animation of the workflow. (2 min) * (0.5 min) * Here we illustrate the relations between different slices and introduce log refinement. (1.5 min) * 1. In general, concurrency bugs can be categorized into two groups, shared-memory access-related bugs and lock-related bugs. All of these bugs are sensitive to thread interleavings. 2. (click) The testing and bug detection of multithreaded pr