[FFmpeg-devel] [WIP] False positives on Coverity

[Rémi Denis-Courmont]

Le 14 mai 2024 10:37:20 GMT+03:00, "Tomas Härdin" <git at haerdin.se> a écrit :
>Formal methods would be better than the heuristics coverity uses.

That sounds like wishful thinking, or at least a distant pipe dream. Lets stick to what is possible and realistic today, please.

And I don't think that it would be reasonable to require that every FFmpeg developer be able to update the hypothetical formal proofs whenever they make a code change.