Engineering solutions to hard program analysis problemsblog.trailofbits.com1 pointwampler10 years ago