There is no need to steal the source code. As mentioned in the article (or a different article?), they can just demand the manufacturer send the source code for

There is no need to steal the source code. As mentioned in the article (or a different article?), they can just demand the manufacturer send the source code for NSA review before the government buys any drives.