Do RE tools commonly output binaries? Note that unless your compiler is already bugged (or you’re using a bugged binary), community review of the source should

Do RE tools commonly output binaries? Note that unless your compiler is already bugged (or you’re using a bugged binary), community review of the source should turn out any possible issues... unless there’s a significant competence gap between the NSA and the security community — which may be possible, but I don’t think security professionals are worried about it.