======
  *Tiny Projects(25%)
      *(**Due 1/27 11:59pm**， 5%) Using Valgrind memcheck to debug a given faulty program without knowing the fault.  [[http://www.cs.purdue.edu/homes/xyzhang/spring13/p1-README|Description]] [[http://www.cs.purdue.edu/homes/xyzhang/spring10/bc.tar.gz|Buggy program]] [[http://www.cs.purdue.edu/homes/xyzhang/spring13/test.b|Failure inducing input]]
      *(**Due 2/24 11:59pm**， 15%) Using LLVM to construct call graph.  [[http://www.cs.purdue.edu/homes/xyzhang/spring13/cs510-llvm-S13.pdf|Description]] [[http://www.cs.purdue.edu/homes/xyzhang/spring13/testCases.zip|Test Cases]]   
      *(**Due 4/20 11:59pm**， 5%) Testing with Klee.  [[http://www.cs.purdue.edu/homes/xyzhang/spring13/tinyproj-3.zip|Description]]
  *Term project(30%)[[http://www.cs.purdue.edu/homes/xyzhang/spring13/cs510-FinalProject-S13.pdf|Description]][[http://www.cs.purdue.edu/homes/xyzhang/spring13/test.cases.zip|Test Cases]]