Exercise Sheet 6 (Symbolic and Concolic Execution)

You can find the details of the assignment in the following repository (to which you should already have access):

https://github.students.cs.ubc.ca/cpsc410-2023w-t2/Exercise6 

This is an individual assignment. Please submit your own work via Canvas upload.

You only need to submit answers for the questions not marked as Unassessed.

Just a reminder: working out how to solve these questions must be your own individual work; check the syllabus for details. Of course, after the deadline you are welcome to discuss the work with anyone on the course.

As usual, let us know if you have any questions about what we'd like you to do! However, we won't be able to help you solve the assessed problems before the deadline. Note that in some cases these include a certain amount of interpretation on your part, and that is intentional!

Best wishes,

Alex and Caroline

p.s. the sample solutions can be found in the same repository.