FFMpeg XTU Analysis

Baseline:

FFMPeg without xtu - clang 4.0 http://md-mtas2.tsp.eth.ericsson.se:4999/#run=6

FFMpeg XTU with XTU - clang 4.0

http://md-mtas2.tsp.eth.ericsson.se:4999/#run=5

###Summary

|Analyzed project| New findings | Disappeared findings | Successfully analyzed | Failed to analyze | Analysis Time (NonXTU)|Analysis Time XTU|Average bug path length in baseline|Average bug path length XTU| |---|---|---|---|---|---|---|---|---|---| |FFMpeg| 151 (core.*(120), unix.malloc(31)| 55| 1409 files | 198 files |?|?|?|

Most important true positives found with XTU

1. Called function pointer is null (core.callAndMessage) http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=55
2. Memory leak (unix.malloc) http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=34
3. Memory Leak (unix.malloc): http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=56
4. core.unitialized.branch http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=25
5. core.DivideZero http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=316
6. core.DivideZero http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=172
7. core.CallAndMessage http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=100
8. unix.malloc use of memory after freed http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=99

False positives

1. Memory leak http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=56 ??
2. core.nulldereference http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=116 ??