Michael Nebel
|
a589014243
|
C++: Update model generator tests.
|
2025-04-25 15:50:10 +02: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 |
|
Geoffrey White
|
547b082ac3
|
C++: Even more test cases.
|
2025-02-21 18:58:42 +00:00 |
|
Geoffrey White
|
3aa1ba5876
|
C++: More additional test cases.
|
2025-02-21 18:09:41 +00:00 |
|
Geoffrey White
|
89355991df
|
C++: Additional test cases.
|
2025-02-20 16:28:35 +00:00 |
|
Geoffrey White
|
e77ebf0715
|
C++: Test spacing.
|
2025-02-20 16:23:35 +00:00 |
|
Geoffrey White
|
3954f5e45e
|
C++: Add some test cases.
|
2025-02-20 15:21:25 +00:00 |
|
Geoffrey White
|
c36e91855f
|
C++: Fix a test case.
|
2025-02-20 15:21:17 +00:00 |
|
Jeroen Ketema
|
89bbef935d
|
Merge pull request #18672 from jketema/codeblock-name
C++: Update expected test results after extractor changes
|
2025-02-04 13:39:54 +01:00 |
|
Jeroen Ketema
|
1591a56aab
|
C++: Update expected test results after extractor changes
|
2025-02-04 13:19:49 +01:00 |
|
Jeroen Ketema
|
25d8f0e161
|
Merge branch 'main' into calumgrant/bmn/wrong-type-format-arg-linkage
|
2025-02-03 11:23:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f35fea3bee
|
Merge pull request #18629 from MathiasVP/fix-more-fps-in-buffer-overflow
C++: Fix more FPs in `cpp/overflow-buffer`
|
2025-01-30 18:28:10 +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 |
|