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

VIM XTU Analysis

Daniel Krupp edited this page Jan 20, 2017 · 9 revisions

Baseline:

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

VIM XTU with XTU - clang 4.0

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

###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| |---|---|---|---|---|---|---|---|---|---| |VIM| 2| 77| 11 files | 56 files |?|?|?|

Most important true positives found with XTU

  1. core.NullDereference http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=7&newcheck=8&report=1049

False positives

  1. http://md-mtas2.tsp.eth.ericsson.se:4999/#baseline=7&newcheck=8&report=1046 (actually the conclusion is correct, but does not consider that there is such a programming convention in c)
Clone this wiki locally