Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
34c1ec73c2
|
C++: Add tests with missing flow through globals.
|
2025-08-02 16:38:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbe5561eb6
|
C++: Accept test changes.
|
2025-07-23 14:05:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
50785f7f21
|
C++: Add tests with missing flow.
|
2025-07-23 13:37:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
a825213c05
|
C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.
|
2025-07-14 15:22:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
46627c677d
|
C++: Add FP in dataflow through global variables.
|
2025-07-14 15:20:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
1da42cb590
|
Merge pull request #20023 from MathiasVP/dataflow-for-functors
C++: Better dataflow for function objects
|
2025-07-11 15:14:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
4f538a2b1f
|
C++: Accept taint test changes.
|
2025-07-11 09:46:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
6d0c8c6d77
|
C++: Work around an extractor bug.
|
2025-07-11 09:46:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
df241ad4f6
|
C++: Fix lambda creation for objects with no constructor.
|
2025-07-11 09:46:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
b53c3547d0
|
C++: Add lambda dispatch for functors.
|
2025-07-11 09:36:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
6736dd4e8f
|
C++: Add some tests with missing flow through function objects.
|
2025-07-11 09:36:38 +01:00 |
|
Jeroen Ketema
|
6d8e2f8231
|
Merge pull request #20017 from jketema/final
C++: Add dataflow predicate for checking if a node is the final value of a parameter
|
2025-07-10 18:47:09 +02:00 |
|
Jeroen Ketema
|
b32a8c2489
|
C++: Add dataflow predicate for checking if a node is the final value of a parameter
|
2025-07-10 15:47:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
7ddc909d4e
|
C++: Accept test changes after review.
|
2025-07-10 13:29:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
dda4a97080
|
Update cpp/ql/test/library-tests/dataflow/external-models/test.cpp
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2025-07-10 13:00:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
89cf215ebb
|
C++: Add models for 'std::thread' and accept test changes.
|
2025-07-10 12:45:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
2062a774fc
|
C++: Add 'std::thread' test with missing flow.
|
2025-07-10 12:44:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
d198a964e0
|
C++: Add a model for 'pthread_create' and accept test changes.
|
2025-07-10 12:20:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
675a072639
|
C++: Add 'pthread_create' test with missing flow.
|
2025-07-10 12:16:23 +01:00 |
|
Jeroen Ketema
|
463ae4b1eb
|
C++: Address review comments
|
2025-07-04 23:13:37 +02:00 |
|
Jeroen Ketema
|
d010b6eb01
|
C++: Update expected test results
|
2025-07-04 14:28:17 +02:00 |
|
Jeroen Ketema
|
799f33eb3a
|
C++: Add more postfix-crement tests
|
2025-07-04 14:08:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
24728a3417
|
C++: Accept test changes.
|
2025-07-04 00:03:42 +01:00 |
|
Jeroen Ketema
|
5b26a426dc
|
C++: Add test showing we miss the operands of postfix crement in dataflow
|
2025-07-03 16:49:37 +02:00 |
|
Mathias Vorreiter Pedersen
|
76678ef3d2
|
C++: Accept test changes.
|
2025-07-02 14:24:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
5684ca5d51
|
C++: Add tests with 'CreateProcess' and fiends demonstrating missing flow.
|
2025-07-02 14:18:34 +01:00 |
|
idrissrio
|
62e55edbad
|
C++: accept new test results after changes
|
2025-06-30 17:11:59 +02:00 |
|
Jeroen Ketema
|
0996e6083e
|
C++: Pretty print MaD ids in test output
|
2025-06-26 23:38:32 +02:00 |
|
Eric Bickle
|
3083bdb0b4
|
C++: Update MaD line numbers in flow.expected
|
2025-06-26 06:47:24 -07:00 |
|
Mathias Vorreiter Pedersen
|
c14a4a66d5
|
C++: Accept test changes. Nothing exciting here.
|
2025-06-13 11:41:01 +01:00 |
|
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 |
|
Mathias Vorreiter Pedersen
|
f82f1c84f3
|
C++: Accept test changes.
|
2025-05-16 14:14:46 +01: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 |
|
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 |
|