This is an old revision of the document!
- Tiny Projects(25%)
- (Due 2/2 11:59pm， 5%) Using Valgrind memcheck to debug a given faulty program without knowing the fault. Description Buggy program Failure inducing input
- (Due 3/7 11:59pm，extended to 3/19 11:59pm 15%) Using LLVM to construct call graph.Description Test Cases
- (Due 4/20 11:59pm， 5%) Testing with Klee.
- Term project(30%)Description
