Tiny Projects(25%)
(
Due 1/27 11:59pm
, 5%) Using Valgrind memcheck to debug a given faulty program without knowing the fault.
Description
Buggy program
Failure inducing input
(
Due 2/24 11:59pm
, 15%) Using LLVM to construct call graph.
Description
Test Cases
(
Due 4/20 11:59pm
, 5%) Testing with Klee.
Description
Term project(30%)
Description
Test Cases