Earlier quoted context omitted.
https://www.torproject.org/about/sponsors.html.en The NSA fully-funded and wrote SELinux, too. So what?
I am naive on this topic. Sincere question: don't these facts call the utility of SELinux and Tor into question? If the answer is "because math", well... I don't speak math. Being illerate in this manner, I must depend on the reputations of the parties involved (and the reputations of the parties that report who was involved!). So... Can a person who does not trust the NSA trust products they paid for?
That's what I do, it's not perfect but I love reading source code and figuring out how things work so I know others, much smarter than me, love that too.
The public cases of the US government going after Tor, for example, have all read like external attacks on the protocol design flaws to build a larger case.
I would be more suspicious over placing exit nodes in libraries because I assume they're state owned in the US. Don't know since I'm not from there though. I just think it's sort of ironic because the attacks that have been performed all required possession of exit nodes.