Mathias Vorreiter Pedersen
1e33593c79
C++: Accept test changes.
2025-01-16 00:39:23 +00:00
Mathias Vorreiter Pedersen
2e3d3494de
C++: Accept test changes.
2025-01-16 00:39:20 +00:00
Jeroen Ketema
13e8853277
C++: Update expected test results after extractor changes
2025-01-15 11:38:03 +01:00
Mathias Vorreiter Pedersen
0ff37f1205
Merge pull request #18486 from MathiasVP/indirect-instruction-barriers
...
C++: Add a `BarrierGuard` module for indirect instruction/operand nodes.
2025-01-14 11:37:58 +00:00
Simon Friis Vindum
7196892867
Merge pull request #18461 from paldepind/cpp-conditional-expr-range-analysis
...
C++: Only propagate smallest/largest range bound in conditional expressions
2025-01-14 12:31:21 +01:00
Mathias Vorreiter Pedersen
91992e2f3f
C++: Accept test changes.
2025-01-13 18:34:42 +00:00
Mathias Vorreiter Pedersen
4e3b27e920
C++: Add a testcase that needs indirect instruction/operand nodes.
2025-01-13 18:33:52 +00:00
Simon Friis Vindum
e9f2a8b017
C++: Extend nested ternary test with two more terms in the addition
2025-01-13 13:54:05 +01:00
Simon Friis Vindum
847f3f1fc2
C++: Add test for nested ternary expressions of literals
2025-01-13 12:08:50 +01:00
Mathias Vorreiter Pedersen
7a84132a6b
C++: Add models and accept testcases.
2025-01-09 17:32:34 +00:00
Mathias Vorreiter Pedersen
23acc31885
C++: Add testcases with missing models.
2025-01-09 17:30:37 +00:00
Mathias Vorreiter Pedersen
d935e9fb0f
C++: Also resolve typedefs nested inside arrays.
2025-01-06 14:50:37 +00:00
Mathias Vorreiter Pedersen
fdc305298d
C++: Add testcase with missing MaD support for resolving typedefs inside arrays.
2025-01-06 14:46:55 +00:00
Mathias Vorreiter Pedersen
682dd42caa
C++: Accept test changes.
2025-01-02 16:10:19 +01:00
Mathias Vorreiter Pedersen
5ccc12cea1
C++: Add a testcase that demonstrates the problem with MaD and typedefs.
2025-01-02 16:06:45 +01:00
Mathias Vorreiter Pedersen
f23e56bdca
Merge pull request #18261 from MathiasVP/add-more-atl-string-models
...
C++: Add more MaD models for ATL string classes
2025-01-02 15:06:04 +00:00
Mathias Vorreiter Pedersen
289b938b4d
C++: Fix testcase.
2025-01-02 15:37:39 +01:00
Mathias Vorreiter Pedersen
d8cfa711ad
C++: Fix testcase for conversion operator.
2025-01-02 15:35:21 +01:00
Mathias Vorreiter Pedersen
052b6f6ec4
C++: Accept test changes.
2025-01-02 15:22:10 +01:00
Mathias Vorreiter Pedersen
e7773770fa
C++: Fix missing return value flow out of 'operator=' in lots of MaD models.
2024-12-23 12:00:41 +01:00
Jeroen Ketema
b60c86077d
Merge pull request #18353 from jketema/template-parameters-2
...
C++: Handle `sizeof...` for types and template template parameters
2024-12-20 19:15:50 +01:00
Jeroen Ketema
659ec66b5e
Merge pull request #18350 from jketema/test-cleanup-2
...
C++: Simplify more `semmle-extractor-options`
2024-12-20 17:23:54 +01:00
Jeroen Ketema
46e9d0aa0c
Merge pull request #18334 from jketema/template-parameters-1
...
C++: Update test after extractor changes
2024-12-20 17:08:31 +01:00
Jeroen Ketema
46b230ae92
C++: Simplify more semmle-extractor-options
...
This will allow us to drop a number of special cases from the
extractor.
2024-12-20 16:01:19 +01:00
Jeroen Ketema
6ecaf20cdd
C++: Update expected test results
2024-12-20 13:53:35 +01:00
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 ed922f6519 , reversing
changes made to aa4cc72f30 .
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