This title is quite broad. There is plenty of open research into software security. It seems you're referring to open development of fuzzing tools. I am not

This title is quite broad. There is plenty of open research into software security. It seems you're referring to open development of fuzzing tools. I am not really convinced that any kind of after-the-fact testing is the ultimate mechanism for making security guarantees. It's simply inherently flawed. I'm sure you make a lot of good discoveries with it, but when you're talking about 100% confidence I'd highly doubt it's going to happen. And in security, the difference between 100% soundness versus anything less is huge.