Jeroen Ketema
|
ae266546a6
|
C++: Minor test clean up
|
2025-05-27 16:57:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
76c2d24a7e
|
C++: Add summary for ReadFileEx and accept test changes.
|
2025-05-27 12:41:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1ee56e4c1
|
C++: Add ReadFileEx tests with missing flow.
|
2025-05-27 12:41:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d8bb1b5b0
|
C++: Add more Windows sources.
|
2025-05-27 11:38:00 +01:00 |
|
Jeroen Ketema
|
fbc9615287
|
C++: Update expected test results
|
2025-05-23 16:03:47 +02:00 |
|
Jeroen Ketema
|
b800040c73
|
C++: Add tests for various local Windows dataflow sources
|
2025-05-23 15:55:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
cf39103df3
|
C++: Accept test changes.
|
2025-05-23 11:19:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
ced1d580df
|
C++: Accept test changes.
|
2025-05-16 20:14:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
d7e07b0b2d
|
Merge pull request #19492 from MathiasVP/add-cpp-models
C++: Add summary models for `openssl` and `sqlite`
|
2025-05-16 18:33:56 +01:00 |
|
Jeroen Ketema
|
5db797ec88
|
Merge pull request #19508 from jketema/options
C++: Minor cleanup of qltest options
|
2025-05-16 15:46:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
f82f1c84f3
|
C++: Accept test changes.
|
2025-05-16 14:14:46 +01:00 |
|
Jeroen Ketema
|
55f8cb7935
|
C++: Drop --clang_vector_types option
The types are already enabled through the specfied gcc version.
|
2025-05-16 15:12:06 +02:00 |
|
Jeroen Ketema
|
9d5a465e9d
|
C++: Remove unused options file
|
2025-05-16 15:11:40 +02:00 |
|
Mathias Vorreiter Pedersen
|
03d6633d41
|
Merge pull request #19501 from MathiasVP/as-expr-class-aggregate-literal
C++: Make `node.asExpr() instanceof ClassAggregateLiteral` satisfiable
|
2025-05-16 13:49:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
bebc077c9e
|
C++: Accept test changes.
|
2025-05-16 13:37:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
c3c6bb6e60
|
C++: Accept test changes.
|
2025-05-15 17:23:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f21075722
|
C++: Add a test that demonstrate missing asExpr for aggregate literals.
|
2025-05-15 17:18:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
e75dcd27f5
|
C++: Accept test changes.
|
2025-05-15 15:28:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
c6df9505c0
|
C++: Add tests to exercise the upcoming behavior of function dispatch when there are model-generated summaries AND source definitions.
|
2025-05-15 15:05:17 +01:00 |
|
Jeroen Ketema
|
401281331f
|
C++: Fix IR edge case where there are no function calls taking an argument
|
2025-05-14 13:44:29 +02:00 |
|
Jeroen Ketema
|
96bd9a96e5
|
C++: Add test case for IR edge case
|
2025-05-14 13:36:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
bce5f2539f
|
C++/C#/Java/Rust: Fixup tests.
|
2025-05-02 16:52:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
4d2f2b89e7
|
Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.
|
2025-05-02 14:02:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5bc95daeb
|
Merge branch 'main' into generate-more-value-preserving-summaries-2
|
2025-05-02 10:51:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
d8eafbb9e2
|
C++: Fixup queries and accept test changes.
|
2025-04-30 20:34:35 +01:00 |
|
Michael Nebel
|
c16d913f8a
|
C++: Re-factor implementation to use the new model generator interface.
|
2025-04-29 15:22:09 +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 |
|
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 |
|
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 |
|