Skip to content
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|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 http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=6&newcheck=5&report=55
Clone this wiki locally