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 |
|
Michael Nebel
|
47813e17c9
|
C++: Move test utilities into the query pack.
|
2024-12-12 13:21:32 +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
|
0f49ba848d
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-12-09 16:04:46 +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 |
|
Jeroen Ketema
|
ee8ce1c84d
|
Merge pull request #18222 from github/calumgrant/bmn/badly-bounded-write
C++: Fix FPs in cpp/badly-bounded-write caused by extraction errors
|
2024-12-06 19:50:06 +01:00 |
|
Calum Grant
|
fa123a7215
|
Merge pull request #18200 from github/calumgrant/bmn/wrong-type-format-args2
C++: Fix more FPs with extraction errors on cpp/wrong-type-format-arguments
|
2024-12-06 17:50:56 +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 |
|
Calum Grant
|
defa4cc19f
|
Merge pull request #18194 from github/calumgrant/bmn/wrong-number-format-arguments2
C++: Fix a FP in cpp/wrong-number-format-arguments caused by an extraction error
|
2024-12-06 10:14:06 +00:00 |
|
Calum Grant
|
b7f47f752b
|
C++: Remove FPs from cpp/badly-bounded-write
|
2024-12-05 14:37:19 +00:00 |
|
Calum Grant
|
fd7469848e
|
C++: Test case for cpp/badly-bounded-write
|
2024-12-05 13:16:59 +00:00 |
|
Ben Rodes
|
779376e281
|
Merge branch 'main' into brodes/seh_flow_phase2_splitting_seh_edges
|
2024-12-04 13:30:21 -05:00 |
|
Calum Grant
|
147d699133
|
C++: Add another test case
|
2024-12-04 15:45:17 +00: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 |
|
Calum Grant
|
28c5187a3c
|
C++: Remove FPs in cpp/wrong-type-format-argument when string type is an error
|
2024-12-04 11:02:19 +00:00 |
|
Calum Grant
|
19424020c3
|
C++: Test for erroneous string types
|
2024-12-04 10:57:15 +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 |
|
Calum Grant
|
99efff2217
|
C++: Fix a FP in cpp/wrong-number-format-arguments caused by extraction error
|
2024-12-03 16:40:02 +00:00 |
|
Calum Grant
|
08859be07b
|
C++: Test case for cpp/wrong-number-format-arguments
|
2024-12-03 16:33:40 +00:00 |
|
Jeroen Ketema
|
bcb7901758
|
Merge pull request #18111 from jketema/guarded-free
C++: Promote `cpp/guarded-free` out of experimental
|
2024-11-29 10:43:02 +01: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 |
|