Jeroen Ketema
6f9968d2c2
C++: Update test after extractor changes
2024-12-20 08:27:39 +01:00
Jeroen Ketema
6200a1d5b9
C++: Simplify some semmle-extractor-options in tests
2024-12-19 21:46:33 +01:00
Jeroen Ketema
66b2b5df8d
Merge pull request #18308 from jketema/template-parameters
...
C++: Introduce a new base class for template parameters
2024-12-18 10:38:03 +01:00
Jeroen Ketema
b7d1da8741
C++: Introduce a new base class for template parameters
...
This will enable us to support non-type template parameters, which we
currently do not support, and error template parameters, which might
become relevant in the `build-mode: none` context.
2024-12-17 20:25:41 +01:00
Mathias Vorreiter Pedersen
20dfbdc5cc
Revert "Merge pull request #18057 from jketema/codeql-cli-2.19.4"
...
This reverts commit ed922f6519aa4cc72f30
2024-12-16 14:02:38 +00:00
Michael Nebel
aaf0cd5dee
Merge pull request #17968 from michaelnebel/java/movetestutils
...
Move test utilities to the query pack.
2024-12-16 13:41:30 +01:00
Jeroen Ketema
8e458f4651
C++: Simplify local variable names
2024-12-12 17:13:02 +01:00
Jeroen Ketema
e43f7fbb48
C++: Fix AST printing for OverloadedArrayExpr
2024-12-12 13:44:24 +01:00
Jeroen Ketema
0a7ed159a4
C++: Add test that show that PrintAST is broekn for OverloadedArrayExpr
2024-12-12 13:40:22 +01:00
Michael Nebel
12008b4b4e
C++: Update all test util paths to point to the new location.
2024-12-12 13:21:34 +01:00
Mathias Vorreiter Pedersen
0acef590b1
C++: Add more MaD models.
2024-12-10 18:29:48 +00:00
Mathias Vorreiter Pedersen
64464b39c6
C++: Add tests for a few string-related classes.
2024-12-10 18:28:12 +00:00
Mathias Vorreiter Pedersen
c5bb907fe0
C++: Also handle varargs in MaD parsing.
2024-12-10 18:25:56 +00:00
Mathias Vorreiter Pedersen
c604c44a55
C++: Add CStringT model and accept tests.
2024-12-10 18:22:06 +00:00
Mathias Vorreiter Pedersen
73ff33888b
C++: Add CStringT tests.
2024-12-10 18:18:37 +00:00
Mathias Vorreiter Pedersen
ba0ba15e88
C++: Add CSimpleStringT model and accept tests.
2024-12-10 18:13:42 +00:00
Mathias Vorreiter Pedersen
b42bffc55c
C++: Add CSimpleStringT tests.
2024-12-10 18:10:54 +00:00
Mathias Vorreiter Pedersen
fb75f54951
C++: Add another typedef.
2024-12-10 18:07:45 +00:00
Mathias Vorreiter Pedersen
0f5786e4e6
Merge pull request #18251 from MathiasVP/fix-uncertain-array-writes
...
C++: Consider writes to arrays as uncertain
2024-12-10 12:38:47 +00:00
Mathias Vorreiter Pedersen
1266b244f5
Merge pull request #18136 from MathiasVP/model-active-template-library
...
C++: Model Microsoft's "Active Template Library"
2024-12-09 16:05:19 +00:00
Mathias Vorreiter Pedersen
9bcdfb6d01
C++: VariableAddressInstructions with array types are not single-object types.
2024-12-09 15:06:22 +00:00
Mathias Vorreiter Pedersen
8bdd10c0c2
C++: Fix spurious columns in 'CRegKey'.
2024-12-09 14:31:17 +00:00
Mathias Vorreiter Pedersen
674dbce36d
C++: Add taint flow through 'CRegKey::Create'.
2024-12-09 13:38:37 +00:00
Mathias Vorreiter Pedersen
db86f6aaf9
C++: Fix annotation.
2024-12-09 13:32:22 +00:00
Mathias Vorreiter Pedersen
d735a1433b
C++: Also flow to the return value of 'operator='.
2024-12-09 13:24:21 +00:00
Mathias Vorreiter Pedersen
41425b157f
C++: Add test with missing flow.
2024-12-08 23:47:34 +00:00
Mathias Vorreiter Pedersen
59f4b3c0db
C++: Get rid of the model for 'Create'.
2024-12-06 15:58:07 +00:00
Mathias Vorreiter Pedersen
3d0a2057f6
C++: Fix 'BSTRToArray' stub and MaD model.
2024-12-06 15:46:14 +00:00
Mathias Vorreiter Pedersen
904db38a5f
C++: Add missing space between type name and '&'.
2024-12-06 15:29:13 +00:00
Ben Rodes
779376e281
Merge branch 'main' into brodes/seh_flow_phase2_splitting_seh_edges
2024-12-04 13:30:21 -05:00
Mathias Vorreiter Pedersen
4f00e229e0
C++: Accept more test changes.
2024-12-04 13:49:07 +00:00
Henry Mercer
963f084d87
Merge branch 'main' into henrymercer/merge-back-rc-3.16
2024-12-04 13:39:10 +00:00
Mathias Vorreiter Pedersen
8d035e61a3
C++: Fix test.
2024-12-04 12:33:02 +00:00
Mathias Vorreiter Pedersen
c3086d4ecd
C++: Fix models and accept test changes.
2024-12-03 19:13:00 +00:00
Mathias Vorreiter Pedersen
3abb9049bb
C++: Fix testcase to reveal problematic models.
2024-12-03 19:06:20 +00:00
Jeroen Ketema
1420f564a5
C++: Update expected test results
2024-12-03 19:18:55 +01:00
Mathias Vorreiter Pedersen
593e2233f8
C++: Update test changes after 0c8245f727.
2024-12-03 17:55:59 +00:00
Mathias Vorreiter Pedersen
0c8245f727
Update cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-12-03 17:53:01 +00:00
Mathias Vorreiter Pedersen
3c0af498db
C++: Fix bug introduced in an earlier commit and accept test changes. They all look good.
2024-11-27 19:04:25 +00:00
Mathias Vorreiter Pedersen
19e7c37760
C++: Update the final test changes. Nothing exciting here.
2024-11-27 16:41:58 +00:00
Mathias Vorreiter Pedersen
d69de0cc76
C++: Add a MaD model for 'CRegKey' and mark query calls as local flow sources.
2024-11-27 16:41:57 +00:00
Mathias Vorreiter Pedersen
5aada39a4e
C++: Add failing tests for 'CRegKey'.
2024-11-27 16:41:55 +00:00
Mathias Vorreiter Pedersen
33212da876
C++: Add a MaD model for 'CAtlTemporaryFile' and mark reads as local flow sources.
2024-11-27 16:41:53 +00:00
Mathias Vorreiter Pedersen
67ba85a0a3
C++: Add failing tests for 'CAtlTemporaryFile'.
2024-11-27 16:41:52 +00:00
Mathias Vorreiter Pedersen
3709151353
C++: Add a MaD model for 'CAtlFileMappingBase' and mark reads as local flow sources.
2024-11-27 16:41:51 +00:00
Mathias Vorreiter Pedersen
ac0599cf75
C++: Add a failing test with 'CAtlFileMapping'.
2024-11-27 16:41:50 +00:00
Mathias Vorreiter Pedersen
74eae4a18d
C++: Add a MaD model for 'CAtlFile' and mark reads as local flow sources.
2024-11-27 16:41:48 +00:00
Mathias Vorreiter Pedersen
dee47f2111
C++: Add a failing test with 'CAtlFile'.
2024-11-27 16:41:47 +00:00
Mathias Vorreiter Pedersen
e73fccdb4a
C++: Add more types that we'll need for later.
2024-11-27 16:41:46 +00:00
Mathias Vorreiter Pedersen
300e3eaba6
C++: Add MaD model for 'CUrl'.
2024-11-27 16:41:45 +00:00
