Skip to content

Commit

Permalink
[hack] Fix tests
Browse files Browse the repository at this point in the history
Reviewed By: jvillard

Differential Revision: D53707550

fbshipit-source-id: 9edd53518bf6a327c603b6e61fe4f1a283af8d78
  • Loading branch information
dulmarod authored and facebook-github-bot committed Feb 13, 2024
1 parent 81a3e4b commit 64120e5
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 @@ -171,7 +171,7 @@ propagators.hack, Propagators::Flows$static.simpleTaintFlowBad, 2, TAINT_ERROR,
propagators.hack, Propagators::Flows$static.propToSinkBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `Propagators::Source$static.getTainted` with kind `Propagators`,in call to `Propagators::Prop$static.prop`,flows to this sink: value passed as argument `#0` to `Propagators::Sink$static.process` with kind `BuiltinCatchAll`], source: Propagators::Source$static.getTainted, sink: Propagators::Sink$static.process, tainted expression: $t1
propagators.hack, Propagators::Flows$static.propWithSinkToSinkBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `Propagators::Source$static.getTainted` with kind `Propagators`,flows to this sink: value passed as argument `#0` to `Propagators::Sink$static.process` with kind `BuiltinCatchAll`], source: Propagators::Source$static.getTainted, sink: Propagators::Sink$static.process, tainted expression: $t1
sanitizers.hack, Sanitizers::Flows$static.taintedNotSanitizedBad, 2, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `Sanitizers::Source.getTainted` with kind `Sanitizers`,flows to this sink: value passed as argument `#0` to `Sanitizers::Sink$static.process` with kind `Sanitizers`], source: Sanitizers::Source.getTainted, sink: Sanitizers::Sink$static.process, tainted expression: $t
selftest.hack, SelfTest::Baz.fooBad, 4, PULSE_UNAWAITED_AWAITABLE, no_bucket, ERROR, [allocation part of the trace starts here,allocated here,awaitable becomes unreachable here]
selftest.hack, SelfTest::Baz.fooBad, 1, PULSE_UNAWAITED_AWAITABLE, no_bucket, ERROR, [allocation part of the trace starts here,allocated here,awaitable becomes unreachable here]
shapes.hack, Shapes::C1.passViaShapeBad, 1, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `Shapes::C1.passViaShapeBad` with kind `Simple`,when calling `Shapes::ShapeLogger$static.logData` here,flows to this sink: value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: Shapes::C1.passViaShapeBad, sink: $root.Level1::taintSink, tainted expression: UNKNOWN
shapes.hack, Shapes::C1.passViaShapeGetBad, 2, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `Shapes::C1.passViaShapeGetBad` with kind `Simple`,flows to this sink: value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: Shapes::C1.passViaShapeGetBad, sink: $root.Level1::taintSink, tainted expression: $s->debug_data
shapes.hack, Shapes::C1.passViaUnknownBad, 2, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value passed as argument `#0` to `Shapes::C1.passViaUnknownBad` with kind `Simple`,in call to function `$root.Shapes::unknown` with no summary,when calling `Shapes::ShapeLogger$static.logData` here,flows to this sink: value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: Shapes::C1.passViaUnknownBad, sink: $root.Level1::taintSink, tainted expression: UNKNOWN
Expand Down

0 comments on commit 64120e5

Please sign in to comment.