Q1. What are the main ideas for handling pointers introduced in CCured?  
[2 points]

Q2. Explain the purpose of each boxed premise in Fig 6. You can illustrate each with a small code snippet, showing the prevented bug in each case.
[2 points]

Q3. What do you think are the practical limitations of CCured? 
[1 point]