UnitTests.TaintTests
module F = Stdlib.Format
module MockTrace : sig ... end
module MockTaintAnalysis : sig ... end
module TestInterpreter : sig ... end
val tests : OUnit2.test