The chief scientist of the Software Assurance Marketplace (SWAMP) is sponsoring a project to improve software quality and raise the bar of static analysis capabilities. Barton Miller: Static analysis tools appear to be lacking in depth and breadth, which results in oversimplifying, which may lead tools to make inaccurate assumptions about code. He says tools perform differently on different program structures. Miller: “There is no ber tool; all tools struggle to some degree with tool coverage. Every tool has a sweet spot (or several sweet spots)”]