Skip to content

Commit

Permalink
[MSDK] Update hackc component on INFER:master
Browse files Browse the repository at this point in the history
Reviewed By: dulmarod

Differential Revision: D64322771

fbshipit-source-id: 83e872e78183afa8f01d2307f301255dbfad4b5e
  • Loading branch information
geralt-encore authored and facebook-github-bot committed Oct 14, 2024
1 parent 6152d54 commit 813d1ad
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 2 deletions.
1 change: 0 additions & 1 deletion infer/tests/codetoanalyze/hack/pulse/issues.exp
Original file line number Diff line number Diff line change
Expand Up @@ -280,7 +280,6 @@ typetesttest.hack, TypeTestTest::Wrapper.checkIntBad, 5, PULSE_UNAWAITED_AWAITAB
typetesttest.hack, TypeTestTest::Wrapper.checkBoolBad, 5, PULSE_UNAWAITED_AWAITABLE, no_bucket, ERROR, [allocation part of the trace starts here,allocated by async call here,awaitable becomes unreachable here]
typetesttest.hack, TypeTestTest::Wrapper.checkStringBad, 5, PULSE_UNAWAITED_AWAITABLE, no_bucket, ERROR, [allocation part of the trace starts here,allocated by async call here,awaitable becomes unreachable here]
typetesttest.hack, TypeTestTest::Wrapper.checkClass2Bad, 5, PULSE_UNAWAITED_AWAITABLE, no_bucket, ERROR, [allocation part of the trace starts here,allocated by async call here,awaitable becomes unreachable here]
typeverification.hack, Unsafe.callMaybeBogusStringBad, 3, TAINT_ERROR, no_bucket, ERROR, [source of the taint here: value returned from `$root.Level1::taintSource` with kind `Simple`,flows to this sink: value passed as argument `#0` to `$root.Level1::taintSink` with kind `Simple`], source: $root.Level1::taintSource, sink: $root.Level1::taintSink, tainted expression: $taint
uninit.hack, $root.Uninit::call_get_field_bad, 1, PULSE_UNINITIALIZED_CONST, no_bucket, ERROR, [in call to `lazy_class_initialize` (modelled),when calling `Uninit::A$static.get_field` here,in call to `hhbc_cls_cns` (modelled),read to uninitialized value occurs here]
uninit.hack, $root.Uninit::call_get_field_after_cond_bad, 4, PULSE_UNINITIALIZED_CONST, no_bucket, ERROR, [in call to `lazy_class_initialize` (modelled),when calling `Uninit::A$static.get_field` here,in call to `hhbc_cls_cns` (modelled),read to uninitialized value occurs here]
uninit.hack, Uninit::AbstractUseTrait$static.call_my_trait_get_field_Bad, 1, PULSE_UNINITIALIZED_CONST, no_bucket, ERROR, [in call to `lazy_class_initialize` (modelled),when calling `Uninit::MyTrait$static.get_field_from_trait` here,in call to `hhbc_cls_cns` (modelled),read to uninitialized value occurs here]
Expand Down
2 changes: 1 addition & 1 deletion infer/tests/codetoanalyze/hack/pulse/typeverification.hack
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ class Unsafe {
\Level1\taintSink($taint);
}

public function callMaybeBogusStringBad(bool $b): void {
public function callMaybeBogusStringBad_FN(bool $b): void {
$maybe_ret = $this->maybeBogusString($b);
$taint = \Level1\taintSource();
\Level1\taintSink($taint);
Expand Down

0 comments on commit 813d1ad

Please sign in to comment.