Geoffrey White 638bfff09d C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).

2024-03-25 11:20:09 +00:00

..

FlowSummaryNode.expected

C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).

2024-03-25 11:20:09 +00:00

FlowSummaryNode.ql

C++: Add FlowSummaryNode and test it.

2024-02-16 18:06:57 +00:00

interpretElement.expected

C++: Add an inline test for interpretElement matching.

2024-02-09 18:57:05 +00:00

interpretElement.ql

C++: Add an inline test for interpretElement matching.

2024-02-09 18:57:05 +00:00

taint.expected

C++: Update the (synthetic) test.

2024-01-18 13:24:57 +00:00

taint.ql

C++: Add an inline test for interpretElement matching.

2024-02-09 18:57:05 +00:00

testModels.qll

C++: Add more test cases for taint through qualifier fields.

2024-03-13 16:20:12 +00:00

tests.cpp

C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).

2024-03-25 11:20:09 +00:00