1) Symbolic execution is a great tool for improving system
security, even though many papers on the topic don't even talk about
an attacker or a threat model. Explain why symbolic execution could be
used to improve security.


2) Path explosion is a challenge with symbolic execution
systems. Given an example of a mitigation of path explosion.