Exercise Sheet 6 (Symbolic and Concolic Execution)
- Due Apr 4 by 5p.m.
- Points 2
- Submitting a file upload
- Available after Mar 24 at 9a.m.
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-2024W-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!
Find Rubric
