private static ImmutableVariableStorage GetDefaultTaint()
{
var defaultTaint = new DefaultTaintProvider().GetTaint();
if (_components.TaintProviders.Count == 1)
{
return _components.TaintProviders.Single().GetTaint();
}
if (_components.TaintProviders.Count > 1)
{
Console.WriteLine("Found multiple taint providers. Can't decide which one to use. Using builtin default taint.");
}
return defaultTaint;
}