slides & source for my talk: symbolically executing a fuzzy tyrant, or, how to h*ck literally anything