Skip to content

Commit

Permalink
[hack] Update issues.exp for hack/pulse test
Browse files Browse the repository at this point in the history
Reviewed By: ezgicicek

Differential Revision: D49730753

fbshipit-source-id: 600516800d02241fc4cd6f4e51bd0730c42412d6
  • Loading branch information
skcho authored and facebook-github-bot committed Sep 28, 2023
1 parent fd570bc commit dc92f0e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion infer/tests/codetoanalyze/hack/pulse/issues.exp
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit dc92f0e

Please sign in to comment.