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

[Tomas Härdin]

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