The occasional piece of software might be a trade secret, but a person downloading a preexisting leak isn't affected by those laws.
I think 18 U.S.C. § 1832 (a) (3) might answer your question? https://www.law.cornell.edu/uscode/text/18/1832
Closed-source code is not automatically a trade secret.