> You would be better off comparing it to Astree, which is a static analyzer written by the group that wrote the Compcert C compiler. I was wrong to write this

> You would be better off comparing it to Astree, which is a static analyzer written by the group that wrote the Compcert C compiler. I was wrong to write this. They were written by different groups in France, but licenses for both of them are being sold by the same company, which made it easy to mistake the creators as the same group. I realized my misunderstanding several hours after making that comment and could not edit to correct the error.