I don't think jrockway is referring to the software on the laptop, but rather software that the US government is buying. If the source code is available (especially as open source), malicious code should theoretically be less likely to make it in.