Blind Spots: Automatically detecting ignored program inputs

Code from the paper:

https://github.com/trailofbits/polytracker https://github.com/trailofbits/polyfile