[Dexter] Add DexDeclareAddress command and address function
authorStephen Tozer <stephen.tozer@sony.com>
Wed, 1 Dec 2021 13:00:22 +0000 (13:00 +0000)
committerStephen Tozer <stephen.tozer@sony.com>
Wed, 1 Dec 2021 13:07:19 +0000 (13:07 +0000)
commit0428d44d4cfafe55fd13679cf16f6b099cbb0e61
tree6eccc672da63587f09a853b8d96c9aa42d0a8fd0
parentdee85a4ffaad070000c9672a6ce67e36082e0176
[Dexter] Add DexDeclareAddress command and address function

This patch adds a new dexter command, DexDeclareAddress, which is used
to test the relative values of pointer variables. The motivation for
adding this command is to allow meaningful assertions to be made about
pointers that go beyond checking variable availability and null
equality.

The full explanation and syntax is in Commands.md.

Reviewed By: Orlando

Differential Revision: https://reviews.llvm.org/D111447
16 files changed:
cross-project-tests/debuginfo-tests/dexter/Commands.md
cross-project-tests/debuginfo-tests/dexter/dex/command/ParseCommand.py
cross-project-tests/debuginfo-tests/dexter/dex/command/commands/DexDeclareAddress.py [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/dex/command/commands/DexExpectWatchBase.py
cross-project-tests/debuginfo-tests/dexter/dex/heuristic/Heuristic.py
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/penalty/missing_dex_address.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/address_after_ref.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/address_hit_count.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/expression_address.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/identical_address.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/multiple_address.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/offset_address.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/self_comparison.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/subtools/test/address_printing.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/subtools/test/err_duplicate_address.cpp [new file with mode: 0644]
cross-project-tests/debuginfo-tests/dexter/feature_tests/subtools/test/err_undeclared_addr.cpp [new file with mode: 0644]