Hopefully they have to have demonstrated some level of quality to be used as legal evidence in convicting someone. Although, I would hope "code analysis" is an infinitesimal part of the validation with the majority being real world end to end tests. (e.g. we can take 10,000 samples, divide them in two, mix them, then use our tool to pair up the samples with 100% accuracy).