Jeroen Ketema
|
996eb6c63c
|
C++: Fix Ql-for-QL warnings
|
2023-02-13 09:22:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
378484ec01
|
Merge pull request #12149 from MathiasVP/fewer-flowthroughs
C++: Fix spurious flow-through
|
2023-02-10 18:45:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
168202dbf7
|
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/has-parameter-flow-out.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-02-10 16:36:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
9a8b3bad31
|
C++: Respond to PR reviews.
|
2023-02-10 13:56:19 +00:00 |
|
Jeroen Ketema
|
ecdeb9a970
|
C++: Revert semmle.code.cpp.dataflow to its old state
While here make sure all queries and tests use IR dataflow when appropriate.
|
2023-02-10 14:21:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
5bd7589109
|
C++: Fix spurious flow though and accept test changes.
|
2023-02-10 12:42:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
faf9fd6253
|
C++: Add a testcase (and a new test) to test flow through functions.
|
2023-02-10 12:40:29 +00:00 |
|
Jeroen Ketema
|
8f15abc285
|
Merge pull request #12146 from jketema/global-indirect
C++: Do not mark global indirect flow as spurious in dataflow tests
|
2023-02-10 10:21:04 +01:00 |
|
Jeroen Ketema
|
350fb89ebf
|
C++: Also mention all locations in the AST case
|
2023-02-10 09:49:24 +01:00 |
|
Jeroen Ketema
|
12930c68fb
|
C++: Do not mark global indirect flow as spurious in dataflow tests
|
2023-02-10 09:29:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
6b851d0529
|
C++: Fix an inconsistency with too many out nodes.
|
2023-02-09 16:55:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
7439de37a3
|
C++: Add a new test that demonstrates multiple out nodes.
|
2023-02-09 16:23:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
ae774a6b95
|
C++: Add a test with an indirect source.
|
2023-02-03 16:59:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
702b10ff96
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into global-flow
|
2023-02-01 13:37:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
1b45c5f96a
|
C++: Accept test changes.
|
2023-01-30 09:13:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b47e150c6
|
C++: Accept test changes.
|
2023-01-27 11:44:17 +00:00 |
|
Robert Marsh
|
3648f26cca
|
Merge remote-tracking branch 'origin/mathiasvp/replace-ast-with-ir-use-usedataflow' into global-flow
Resolved trivial conflicts.
|
2023-01-26 11:58:53 -05:00 |
|
Mathias Vorreiter Pedersen
|
bfe9ae22ad
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-26 13:03:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
510211a4c7
|
C++: Add testcase with looping behavior in C/C++ def-use flow.
|
2023-01-24 09:44:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
79b77b01fd
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-23 15:49:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
a217017859
|
C++: Add testcase with looping behavior in C/C++ use-use flow.
|
2023-01-23 14:29:39 +00:00 |
|
Jeroen Ketema
|
f628152be1
|
C++: In dataflow use the AST representation of IR Instructions and Operands
|
2023-01-20 10:39:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
cc0371648b
|
C++: Accept test changes.
|
2023-01-11 16:25:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
cd24405a22
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into global-flow
|
2023-01-11 15:42:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
22b04af0fa
|
Merge pull request #11658 from MathiasVP/uncertain-writes
C++: Flow through uncertain writes
|
2022-12-14 15:26:28 +00:00 |
|
Jeroen Ketema
|
bb256514c0
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-12-14 15:52:20 +01:00 |
|
Tom Hvitved
|
cfcb3a60ba
|
C++: Update expected test output
|
2022-12-13 09:53:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
8722fb2cf5
|
C++: Accept test changes.
|
2022-12-12 10:54:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
2999243e34
|
C++: Add failing IR dataflow testcase.
|
2022-12-12 10:42:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
4fd6ac5657
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-12-08 13:10:18 +00:00 |
|
Tom Hvitved
|
7972db68bc
|
C++: Update expected test output
|
2022-12-05 17:07:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
fc3d6a1847
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow
|
2022-11-21 20:57:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
23d6eb67c3
|
C++: Fix comment.
|
2022-11-21 19:26:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
231e2a8df3
|
C++: Reduce fan-in for 'readStep'.
|
2022-11-21 17:07:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
24542ec84a
|
Merge branch 'main' into replace-ast-with-ir-use-usedataflow
|
2022-11-21 15:02:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
d361053e10
|
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2022-11-21 10:37:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
1e00e15c7b
|
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2022-11-21 10:36:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
29f4b26280
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow
|
2022-11-16 16:09:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
a9173727cf
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow
|
2022-11-16 14:22:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
4f2c2e6d5e
|
C++: Accept test changes.
|
2022-11-16 14:05:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
3e5c66e932
|
C++: Accept test changes.
|
2022-11-16 14:05:48 +00:00 |
|
Jeroen Ketema
|
98176007d8
|
C++: Fix type in dataflow test comment
|
2022-11-15 17:18:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
1f43a1a924
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into merge-some-indirect-and-instruction-nodes
|
2022-11-15 16:00:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
7408931565
|
C++: Disable 'reference -> dereference' dataflow.
|
2022-11-14 14:05:31 +00:00 |
|
Jeroen Ketema
|
2b37ebd7ed
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-11-11 17:24:34 +01:00 |
|
Rasmus Wriedt Larsen
|
ddbcdcb4ba
|
Merge pull request #11160 from RasmusWL/dataflow-consistency-read-store
DataFlow: Add read/store stepIsLocal consistency checks
|
2022-11-11 14:51:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
0c7f57e0c4
|
C++: Accept test changes.
|
2022-11-11 11:09:38 +00:00 |
|
Rasmus Wriedt Larsen
|
88f703af1f
|
DataFlow: Accept changes to .expected
|
2022-11-10 22:13:34 +01:00 |
|
Jeroen Ketema
|
0e33f4da6b
|
C++: Re-introduce most of the ast annotation test infrastructure
|
2022-11-09 14:37:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
f19b381e3e
|
C++: Add use-use flow through global variables.
|
2022-11-08 17:10:37 +00:00 |
|