From dc92f0e09911c77e97a3577403d657dd798486bb Mon Sep 17 00:00:00 2001 From: Sungkeun Cho Date: Thu, 28 Sep 2023 09:05:33 -0700 Subject: [PATCH] [hack] Update issues.exp for hack/pulse test Reviewed By: ezgicicek Differential Revision: D49730753 fbshipit-source-id: 600516800d02241fc4cd6f4e51bd0730c42412d6 --- infer/tests/codetoanalyze/hack/pulse/issues.exp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/tests/codetoanalyze/hack/pulse/issues.exp b/infer/tests/codetoanalyze/hack/pulse/issues.exp index 77cfd4f7e8b..8e130d2da61 100644 --- a/infer/tests/codetoanalyze/hack/pulse/issues.exp +++ b/infer/tests/codetoanalyze/hack/pulse/issues.exp @@ -16,7 +16,7 @@ basic_object.hack, BasicObject::Main.set_and_get_Derived_copy_bad, 9, TAINT_ERRO booleans.hack, $root.Booleans::testBoolBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `$root.Booleans::testBoolBad` with kind `Simple`,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.Booleans::testBoolBad, sink: $root.Level1::taintSink, tainted expression: $sc booleans.hack, $root.Booleans::testNullBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `$root.Booleans::testNullBad` with kind `Simple`,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.Booleans::testNullBad, sink: $root.Level1::taintSink, tainted expression: $sc booleans.hack, $root.Booleans::testNotNullBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `$root.Booleans::testNotNullBad` with kind `Simple`,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.Booleans::testNotNullBad, sink: $root.Level1::taintSink, tainted expression: $sc -closures.hack, Closures::C1.f1Bad, 1, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `Closures::C1.f1Bad` with kind `Simple`,when calling `Closures::Utils.logDelayed` here,when calling `Closures::Delayed.startAndWait` here,when calling `Closure$Closures::Utils3a3alogDelayed.__invoke` here,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: Closures::C1.f1Bad, sink: $root.Level1::taintSink, tainted expression: $sc +closures.hack, Closures::C1.f1Bad, 1, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `Closures::C1.f1Bad` with kind `Simple`,when calling `Closures::Utils.logDelayed` here,when calling `Closures::Delayed.startAndWait` here,when calling `Closure$Closures::Utils::logDelayed.__invoke` here,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: Closures::C1.f1Bad, sink: $root.Level1::taintSink, tainted expression: $sc closures.hack, Closures::Main.id_fst_bad, 7, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `$root.Level1::taintSource` with kind `Simple`,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.Level1::taintSource, sink: $root.Level1::taintSink, tainted expression: $tainted control_flow.hack, $root.ControlFlow::typeCheckDoesntConfuseTheAnalysis_maintainsTaint_Bad, 2, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#1` to `$root.ControlFlow::typeCheckDoesntConfuseTheAnalysis_maintainsTaint_Bad` with kind `Simple`,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.ControlFlow::typeCheckDoesntConfuseTheAnalysis_maintainsTaint_Bad, sink: $root.Level1::taintSink, tainted expression: $sc control_flow.hack, $root.ControlFlow::nullsafeAccessTaintedBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `$root.ControlFlow::nullsafeAccessTaintedBad` with kind `Simple`,when calling `$root.ControlFlow::nullsafeLog` here,value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.ControlFlow::nullsafeAccessTaintedBad, sink: $root.Level1::taintSink, tainted expression: $2