Michael Nebel
|
a589014243
|
C++: Update model generator tests.
|
2025-04-25 15:50:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e9a580d02
|
C++: Add MaD generation test with union content.
|
2025-04-23 11:11:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
3fd760c632
|
C++: Move 'InlineMadTest.qll' out of 'lib/utils/test' and into 'test' since C++ has no external packs depending on MaD testing.
|
2025-04-20 16:49:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
6fcf56e6e1
|
C++: Add more tests.
|
2025-04-20 16:49:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
1465058da0
|
C++: Add copy-pasted files from C#.
|
2025-04-20 16:48:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
f241e4b537
|
C++: Add tests that will soon succeed.
|
2025-04-20 16:48:43 +01:00 |
|
Anders Schack-Mulligen
|
8749bdb979
|
C++: Accept test changes.
|
2025-03-25 13:58:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
a035c9b4d1
|
C++: Also update source-sink tests.
|
2025-03-14 20:04:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
636150ea4f
|
C++: Adjust tests and accept test changes.
|
2025-03-14 18:43:33 +00:00 |
|
Anders Schack-Mulligen
|
c2309442d5
|
C++: Accept qltest changes.
|
2025-03-14 10:51:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
f9a7ac4e89
|
C++: Accept test changes.
|
2025-03-07 19:59:06 +00:00 |
|
Jeroen Ketema
|
94608c5996
|
C++: Update expected test results
This seemed to have slipped through earlier.
|
2025-01-30 16:53:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
d40322f9eb
|
C++: (Bugfix 3) Don't conflate summarized callables and source callables in 'nodeGetEnclosingCallable'.
|
2025-01-28 13:59:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
06bc8add9d
|
C++: (Bugfix 2) Don't remap isParameterOf.
|
2025-01-28 13:59:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
01d7ab93e2
|
C++: Add consistency check to the MaD folder.
|
2025-01-28 13:59:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e44201ba8
|
C++: Remap calls to source functions to the summarized function.
|
2025-01-27 16:58:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
ad80b36074
|
C++: Don't generate parameter nodes for bodyless parameters when there is a summary of the enclosing function.
|
2025-01-24 20:16:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
cda629b204
|
C++: Accept test changes. Notice the consistency failure.
|
2025-01-24 20:13:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
2cdb52cad2
|
C++: Accept test changes after previous commit.
|
2025-01-23 13:46:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
e0f2f1dd80
|
Update cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-01-23 13:41:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
a1449bf0bd
|
C++: Accept test changes.
|
2025-01-21 20:43:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
503f018600
|
C++: Add taint test with false flow from conflation.
|
2025-01-21 20:43:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
8de7d4e8ef
|
C++: Accept test changes.
|
2025-01-18 02:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
9970f7837b
|
C++: Add pointer/pointee conflation test.
|
2025-01-17 21:03:44 +00: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 |
|
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 |
|
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 |
|