AFL:
1. Do you feel like you understand roughly how AFL works from this white paper?
2. What was the most significant lesson you learned from the paper?

Symbolic execution:
3. What was the most significant lesson you learned from the paper?
4. Suppose a file format specifies that the last 4 bytes of the file contain a checksum of rest of the file.  Which would you expect to be more effective, AFL or symbolic execution?  Why?

5. Optional: What topic would you most like to see discussed in class, or question you would most like to have answered, if any?