BAP: A Binary Analysis Platform