So how do the Russians know that the code they see is the one generating the binaries sold in Russia? This is where reproducible builds would help, but without source code it's hopeless. They should at least build the product inthe lab, make sha1 of every file and check if they match with the ones on sale. But then there would be an inspection before every release and patch.