For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
A taint type where the data is untainted.
import semmle.code.cil.DataFlow