Real-world test cases

[Seyed Ahmad Mansouri]

Hello,

I was wondering if  someone could share with me some codes + test suites? Specifically, I am looking for likely invariants which was in the output of Daikon (with high confidence) and revealed some bugs/errors/vulnerabilities?

Thanks