A prototype demonstrating dynamic taint tracking of implicit information flows in an abstract interpreter.