A problem that can't be solved, you can't check every single program out there much like you can't check every single human ever even with cameras installed everywhere.
Yes you can check every single program out there, when digital stores are the only acquisition mechanism.
Or as alternative, signed binaries.
Coupled with liability like anything else in our societies.