Formal methods would be better than the heuristics coverity uses. At the moment such methods are still too expensive for general use except for the most safety critical applications (aerospace etc). But perhaps in time the tooling and SMT solvers will improve sufficiently to make it commonplace.
For FFmpeg the Eva and WP plugins for Frama-C would be of relevance. I've been toying with the idea on and off /Tomas _______________________________________________ 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".
