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