This repository was archived by the owner on Mar 30, 2021. It is now read-only.

FFMpeg XTU Analysis

Jump to bottom

Daniel Krupp edited this page Jan 16, 2017 · 35 revisions

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
FFMpeg	151 (core.NonNullParamChecker(40), unix.malloc(31), core.UndefinedBinaryOperatorResults(27)	55	1409 files	198 files	?	?

Most important true positives found with XTU

Called function pointer is null http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=55