Le 14 mai 2024 10:37:20 GMT+03:00, "Tomas Härdin" <[email protected]> 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. _______________________________________________ ffmpeg-devel mailing list [email protected] https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email [email protected] with subject "unsubscribe".
