Bouncer: Static Program Analysis in Hardware