Mathias Vorreiter Pedersen
d5bc95daeb
Merge branch 'main' into generate-more-value-preserving-summaries-2
2025-05-02 10:51:11 +01:00
Michael Nebel
74669cb0cb
Merge pull request #19382 from michaelnebel/shared/modelgenrefactor
...
Shared: Re-factor summary, source and sink model generators into separate modules.
2025-05-02 09:38:24 +02:00
Mathias Vorreiter Pedersen
d8eafbb9e2
C++: Fixup queries and accept test changes.
2025-04-30 20:34:35 +01:00
Jeroen Ketema
2ed48ae571
C++: Update expected test results after barrier introduction
2025-04-30 20:51:27 +02:00
Michael Nebel
c16d913f8a
C++: Re-factor implementation to use the new model generator interface.
2025-04-29 15:22:09 +02:00
Jeroen Ketema
7f9020282d
C++: Turn header variant tests that use PCH files into integration tests
...
These tests currently test a code path in the extractor that only exists for
these tests. By turning them into integration tests, we actually use the
code path that normal database creation uses.
2025-04-29 14:51:34 +02:00
Jeroen Ketema
0bb0b5c587
C++: Add use-after-free FP tests
2025-04-28 14:13:14 +02:00
Mathias Vorreiter Pedersen
e942ec9964
C++: Fix annotations after #19311 .
2025-04-28 10:39:11 +01:00
Mathias Vorreiter Pedersen
6466a5dbaf
Merge branch 'main' into add-missing-predicate-to-mad-generation
2025-04-28 10:33:24 +01:00
Michael Nebel
a589014243
C++: Update model generator tests.
2025-04-25 15:50:10 +02:00
Mathias Vorreiter Pedersen
79c03100f8
C++: Accept test changes.
2025-04-25 12:29:38 +01:00
Mathias Vorreiter Pedersen
63b0dd68c9
C++: Add a test with missing summaries.
2025-04-25 12:18:42 +01:00
Jeroen Ketema
4093afbaab
Merge pull request #19290 from jketema/typeof
...
C++: Support C23 `typeof` and `typeof_unqual`
2025-04-24 10:12:46 +02:00
Jeroen Ketema
e97f9495d0
C++: Update expected test results
2025-04-23 16:56:56 +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
idrissrio
14a84c3209
C++: update expected test results after extractor changes
2025-04-02 15:20:06 +02:00
idrissrio
9ec7f3c9a5
C++: add test for calling conventions
2025-03-31 17:45:44 +02:00
idrissrio
f83f14bab2
C++: add calling convention specifier class
2025-03-31 17:44:56 +02:00
Jeroen Ketema
86ecef6481
Merge pull request #19144 from jketema/dollar-escape
...
C++: Escape any `$` - specifically in `$@` - coming from error messages
2025-03-28 12:40:08 +01:00
Anders Schack-Mulligen
0c74f21107
Merge pull request #19044 from aschackmull/ssa/useuse-trim
...
Ssa: Trim the use-use relation to skip irrelevant nodes
2025-03-28 11:55:34 +01:00
Jeroen Ketema
8dbd81b296
C++: Add test for $` escaping
2025-03-28 10:57:23 +01:00
idrissrio
9af65001b3
C++: accept changes after C++ extractor preprocessor fix
2025-03-26 15:08:04 +01:00
idrissrio
148ffe8519
C++: accept changes after C++ extractor preprocessor fix
2025-03-26 09:41:20 +01:00
Anders Schack-Mulligen
8749bdb979
C++: Accept test changes.
2025-03-25 13:58:52 +01:00
idrissrio
13f4f48d27
C++: Accept changes after C++ extractor preprocessor fix
2025-03-24 15:16:26 +01:00
idrissrio
3c54722a74
C++: Accept changes after C++ extractor preprocessor fix
2025-03-21 17:33:23 +01:00
idrissrio
5eda853de4
C++: Accept changes after C++ extractor preprocessor fix
2025-03-21 15:25:41 +01:00
idrissrio
878e621a38
Improved source location extraction for directive.
2025-03-21 09:46:54 +01:00
idrissrio
11c71f03f3
C++: Accept changes after C++ extractor preprocessor fix
2025-03-19 16:34:00 +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
M Starch
7b5d604607
Updating tests to allow new typedefs
2025-03-13 15:04:37 -07:00
Mathias Vorreiter Pedersen
f9a7ac4e89
C++: Accept test changes.
2025-03-07 19:59:06 +00:00
Jeroen Ketema
324499e447
C++: Update template test to also output the value of template arguments
...
These values are currently the same as the result that `getTemplateArgument`
yields. However, this will change with the upcoming frontend update.
2025-03-04 16:24:21 +01:00
Geoffrey White
7f56c67544
Merge pull request #18837 from geoffw0/overflowbuffer
...
C++: Improve and promote cpp/overflow-buffer
2025-03-03 14:17:12 +00:00
Geoffrey White
998bec1efb
C++: Fix the bug.
2025-02-27 21:24:07 +00:00
Geoffrey White
51d916263d
C++: Another test.
2025-02-27 21:19:05 +00:00
Geoffrey White
1354bebd7c
C++: Fix an issue with padding.
2025-02-26 17:43:25 +00:00
Geoffrey White
dbab845295
C++: Effect of this branch on the new test.
2025-02-26 17:18:48 +00:00
Geoffrey White
abb88e3dba
C++: Add a test file that was internal (results as on main).
2025-02-26 17:14:43 +00:00
Geoffrey White
c41add896f
C++: Accept regressions in SAMATE based test cases.
2025-02-26 16:34:10 +00:00
Geoffrey White
812315df27
C++: Use existing getSize / getRootType to find more generous bounds for arrays inside classes (though it sometimes fails, costing us TPs).
2025-02-25 16:29:49 +00:00
Geoffrey White
07004bd6f9
C++: Test cases motivated by a real world FP.
2025-02-25 15:36:12 +00:00
Geoffrey White
3681ace746
C++: Explore negative indices more in tests.
2025-02-24 10:36:43 +00:00
Geoffrey White
ae25399a47
C++: Fix offsetof bug.
2025-02-21 18:58:56 +00:00
