Assignment 2, CSC530, Spring 2017

Do only one of the following.

1 Fuzzing

Take a language. LLVM? add code to track how many times each function is called.

2 Concolic Testing

Take a language. Python? Consider only a tiny subset: comparison, a few arithmetic operations, and ... if? Write an instrumenter that spits out constraints on a per-expression basis; "this expression evaluates to x+1," etc. At a branch, make a note of the decision that you took.