potentially produces incorrect results. Nevertheless, binary analyzers are continuing to improve in their
capabilities and can be beneficial in analyzing the security of closed source COTS products.
275 “Black Hat Digital Self-Defense” [web site] (Seattle, WA: Black Hat).
276 Kris Britton (NSA CAS), “NSA Center for Assured Software” (presentation to the Director of Central