Geoffrey White
fcda0c9819
C++: Add more test cases for indirection (1).
2024-03-13 15:35:28 +00:00
Geoffrey White
c17a36ec07
C++: Add more test cases for taint through qualifiers.
2024-03-13 15:30:13 +00:00
Geoffrey White
92d57ab504
C++: Correct some existing cases that are in fact indirect.
2024-03-13 15:26:21 +00:00
Geoffrey White
9aad43f649
C++: Add indirect test models.
2024-03-13 11:34:36 +00:00
Jeroen Ketema
3ef1ab49ea
C++: Add IR tests for the destruction of temporaries
2024-03-13 12:00:02 +01:00
Geoffrey White
cbacd51337
C++: Make Argument[-1] refer to *this rather than this.
2024-03-12 17:51:43 +00:00
Geoffrey White
22d5e9bbfb
C++: Add test cases involving pointer qualifiers.
2024-03-12 17:47:11 +00:00
Mathias Vorreiter Pedersen
4c9876b008
C++: Accept test changes.
2024-03-06 18:18:36 -08:00
Mathias Vorreiter Pedersen
cc754858c6
C++: Add a testcase with missing flow out of the address of 'a' and to the argument of 'sink'.
2024-03-06 18:15:49 -08:00
Mathias Vorreiter Pedersen
a60afef923
C++: Add a local flow test file for IR dataflow.
2024-03-06 18:10:08 -08:00
Jeroen Ketema
6972f9b31d
C++: Update syntax-zoo expected test results
2024-03-06 09:34:47 +01:00
Robert Marsh
fbbd57b34f
C++: Suppress epxr destructors in preparation for temporaries
2024-03-05 21:12:12 +00:00
Geoffrey White
7675f153ce
C++: Add SummaryOutNode class.
2024-03-05 17:32:54 +00:00
Geoffrey White
d1a2048134
C++: Add SummaryPostUpdateNode class.
2024-03-01 16:03:37 +00:00
Geoffrey White
dbf0b98791
C++: Add some test cases involving function pointers.
2024-03-01 15:56:44 +00:00
Geoffrey White
f649939d78
C++: Allow flow through (previously missing) summary taint steps.
2024-03-01 15:56:44 +00:00
Jeroen Ketema
ae97a23c27
Merge pull request #15213 from jketema/frontend-update
...
C++: Accept test changes after frontend upgrade
2024-02-28 13:00:02 +01:00
Jeroen Ketema
00ad7854dc
C++: Accept test changes after frontend upgrade
...
* The `specifiers2` tests have a different result now due to the implementation
of CWG 2387.
* The `special_members/generated_copy` has improved results as the frontend has
improved support for deleted copy constructors.
2024-02-28 11:29:57 +01:00
Mathias Vorreiter Pedersen
b8c141f292
C++: Accept test changes.
2024-02-27 17:58:52 +00:00
Mathias Vorreiter Pedersen
892f97cd7a
C++: Add testcase with invalid IR from constructing a 'RoutineType'.
2024-02-27 17:58:52 +00:00
Geoffrey White
1da611cc02
Merge branch 'main' into mad
2024-02-27 17:29:45 +00:00
Mathias Vorreiter Pedersen
bba152da13
Merge branch 'main' into ir-for-vacuous-destructor-calls
2024-02-27 15:42:46 +00:00
Mathias Vorreiter Pedersen
f7b2de800b
Merge pull request #15506 from rdmarsh2/rdmarsh2/cpp/ir-synthetic-destructors
...
C++: Add implicit destructors for named variables to the IR
2024-02-27 15:12:46 +00:00
Mathias Vorreiter Pedersen
dc3b78dd7c
C++: Accept more test changes.
2024-02-27 14:30:19 +00:00
Mathias Vorreiter Pedersen
4a501e5b3c
C++: Accept test changes.
2024-02-27 13:53:43 +00:00
Mathias Vorreiter Pedersen
fbb0ffcadd
C++: Add testcase with invalid IR from vacuous destructor call.
2024-02-27 12:53:46 +00:00
Jeroen Ketema
788100d475
C++: Update test after extractor changes
2024-02-26 10:04:42 +01:00
Robert Marsh
dd97584eff
C++: fix for duplicated parent of ReturnVoid statements
2024-02-23 16:19:34 +00:00
Robert Marsh
6f7f68fee8
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
2024-02-22 18:10:13 +00:00
Robert Marsh
ebe6ee5257
C++: accept test changes from extractor fixes
2024-02-22 16:44:19 +00:00
Mathias Vorreiter Pedersen
0bf29f0a62
Merge branch 'main' into model-experiments
2024-02-22 15:05:53 +00:00
Robert Marsh
875ab74c28
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
...
Fixes conflicts in C++ IR tests and Stmt.qll
2024-02-21 21:34:49 +00:00
Robert Marsh
e0c7849f52
C++: fix incorrect use of getChildInternal
2024-02-21 20:35:58 +00:00
Jeroen Ketema
f9d391d087
C++: Support destructors for range-based for-loops
2024-02-21 17:26:32 +01:00
Jeroen Ketema
11dc467add
C++: Add test where the for loop should call destructors at the end of its body
2024-02-21 14:42:23 +01:00
Jeroen Ketema
57cb7f8218
C++: Update tests after extractor changes related to static variables
2024-02-21 10:22:59 +01:00
Jeroen Ketema
c1f18edfed
C++: Add IR tests for destruction of static locals
2024-02-21 10:22:59 +01:00
Geoffrey White
356214c11b
C++: Implement SummaryReturnNode.
2024-02-20 14:48:02 +00:00
Geoffrey White
5683092d6a
C++: Implement SummaryParameterNode.
2024-02-20 14:48:02 +00:00
Geoffrey White
1ace9ee50f
C++: Create a proper class for DataFlowCallable, that includes summarized callables.
2024-02-20 14:48:02 +00:00
Jeroen Ketema
7ec95fba6d
C++: Add more range-based for-loop IR tests
2024-02-20 09:22:13 +01:00
Robert Marsh
2494b7d801
C++: fix for IR CFG problem with return in if
2024-02-16 21:08:21 +00:00
Geoffrey White
6e13b877bb
C++: Add FlowSummaryNode and test it.
2024-02-16 18:06:57 +00:00
Robert Marsh
2c8ed6479a
C++: test for return in if
2024-02-16 17:55:34 +00:00
Jeroen Ketema
dd39fa0bde
C++: Support C++20 range-based for initializers
2024-02-16 15:20:14 +01:00
Geoffrey White
e187a4a7d6
C++: Add flow summaries to simpleLocalFlowStep.
2024-02-16 12:31:17 +00:00
Mathias Vorreiter Pedersen
9b2019db6b
C++: Accept test changes.
2024-02-16 13:10:41 +01:00
Mathias Vorreiter Pedersen
7e9bf2a880
C++: Add a model for 'partial updating' and extend models appropriately.
2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen
24a63ae94d
C++: Block flow by default.
2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen
625c47fa9c
C++: Add a testcase.
2024-02-16 12:56:19 +01:00
