Security Testing

Dear all,

We have released Exercise 11. You can find it under Information > Material. Please read the chapter Testing Compilers for this exercise. It is recommended to review the chapter Fuzzing with Constraints as well as the ISLa language specification.

This exercise is due on 28 January 2024 23:59.

As a reminder, each exercise comes as a ZIP file that contains:

• sheet.pdf, listing the tasks
• a number of Python/Jupyter Notebook/Text files for you to implement or extend
• verify.py, a script that checks whether your submission is valid in a sense that all required files and functions are included

Follow the instructions in sheet.pdf carefully.
The exercises must be solved alone.
Invalid submissions (i.e. verify.py reports a problem) will result in 0 points.
Note that we cannot evaluate delayed submissions.
 

We ask you to submit your solutions as a ZIP file via the CMS on your Personal Status page.

If you have any questions, please ask on Askbot.

Happy Fuzzing!