| commit | 7cb5deb49211c239603bf2bf84781fc23ddab1c1 | |
| author | Dominik Gabi <dominik@fb.com> | |
| Wed, 8 Sep 2021 03:36:36 +0000 (7 20:36 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 8 Sep 2021 03:38:56 +0000 (7 20:38 -0700) | ||
| tree | 8c1eaa4b08d007c1763c018c728efd8cd544b8ba | treesnapshot (tar.gz zip) |
| parent | b9724703d7a36b9219bf097c2625db21937f75c7 | commitdiff |
support for attribute propagation
Summary: See unit tests for specific examples: we want to be able to capture basic flows where values get stored in attributes before being passed into a sink.
Reviewed By: ricklavoie
Differential Revision: D30632256
fbshipit-source-id: 00cba875230d8d3bd1ba6c31b6d5732f3ea5e1f5
Summary: See unit tests for specific examples: we want to be able to capture basic flows where values get stored in attributes before being passed into a sink.
Reviewed By: ricklavoie
Differential Revision: D30632256
fbshipit-source-id: 00cba875230d8d3bd1ba6c31b6d5732f3ea5e1f5
13 files changed:
| hphp/runtime/vm/member-key.cpp | diffblobblamehistory | |
| hphp/runtime/vm/member-key.h | diffblobblamehistory | |
| hphp/runtime/vm/taint/interpreter.cpp | diffblobblamehistory | |
| hphp/runtime/vm/taint/state.cpp | diffblobblamehistory | |
| hphp/runtime/vm/taint/state.h | diffblobblamehistory | |
| hphp/test/taint/fields/configuration.json | [new file with mode: 0644] | blob |
| hphp/test/taint/fields/fields.php | [new file with mode: 0644] | blob |
| hphp/test/taint/fields/fields.php.expect | [new file with mode: 0644] | blob |
| hphp/test/taint/fields/fields.php.opts | [new file with mode: 0644] | blob |
| hphp/test/taint/members/configuration.json | [new file with mode: 0644] | blob |
| hphp/test/taint/members/members.php | [new file with mode: 0644] | blob |
| hphp/test/taint/members/members.php.expect | [new file with mode: 0644] | blob |
| hphp/test/taint/members/members.php.opts | [new file with mode: 0644] | blob |