Mathias Vorreiter Pedersen
08b528b5c4
C++: Add a taint-model for 'realloc' and accept test changes.
2023-10-30 17:08:01 +00:00
Mathias Vorreiter Pedersen
0837e400a2
C++: Add failing test.
2023-10-30 17:05:43 +00:00
Mathias Vorreiter Pedersen
91d224eea5
Merge pull request #14623 from alexet/dataflow-fps
...
CPP: Add dataflow FP with output arguments
2023-10-30 14:30:51 +00:00
Alex Eyers-Taylor
fb0f9ec601
CPP: Add missing rnage analysis ranges in test.
2023-10-30 14:17:03 +00:00
Alexander Eyers-Taylor
b8d45ae927
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/flowOut.cpp
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-10-30 14:04:45 +00:00
Mathias Vorreiter Pedersen
a077b70d66
C++: Accept test changes.
2023-10-30 11:54:24 +00:00
Alex Eyers-Taylor
60f3598da9
CPP: Add dataflow FP with output arguments
2023-10-27 19:07:10 +01:00
Mathias Vorreiter Pedersen
33494fe9e1
C++: Extend the taint model and accept test changes.
2023-10-27 16:26:37 +01:00
Mathias Vorreiter Pedersen
e4683449cb
C++: Add failing test.
2023-10-27 16:26:37 +01:00
Mathias Vorreiter Pedersen
572cec2c55
C++: Accept test changes.
2023-10-27 15:00:25 +01:00
Mathias Vorreiter Pedersen
d6b6c432d9
C++: Add test with incorrect IR due to wrong model.
2023-10-27 14:53:06 +01:00
Mathias Vorreiter Pedersen
30ecb4b0c8
Merge pull request #14588 from aschackmull/shared/rangeanalysis
...
C++/Java: Share core range analysis
2023-10-26 16:32:46 +01:00
Anders Schack-Mulligen
06fe10bbe9
Rangeanalysis: Bugfix division with float representation.
2023-10-25 11:17:02 +02:00
Anders Schack-Mulligen
7b214a24df
C++: Add division test
2023-10-25 11:17:02 +02:00
Anders Schack-Mulligen
ec39de20d8
C++: Convert to qlpack version of core range analysis.
2023-10-25 11:17:01 +02:00
Mathias Vorreiter Pedersen
032572b924
C++: Fix 'strtok' model.
2023-10-25 09:39:36 +01:00
Mathias Vorreiter Pedersen
f54379d096
C++: Add failing test.
2023-10-25 09:38:49 +01:00
Mathias Vorreiter Pedersen
67ed12c916
C++: Correctly model that 'operator->', and 'get'
...
on smart pointers perform a load.
2023-10-23 20:11:23 +01:00
Mathias Vorreiter Pedersen
b107c4c641
C++: Fix missing result in 'ModelUtil'. The problem was that 'n.asInstruction()' on line 81 wasn't necessarily a 'CallInstruction' (it could be a conversion).
2023-10-23 19:34:25 +01:00
Mathias Vorreiter Pedersen
c0b04eac7c
C++: Add failing test.
2023-10-23 19:29:28 +01:00
Mathias Vorreiter Pedersen
6c10ba2fb1
Merge pull request #14495 from github/calumgrant/comp-generated-this
...
C++: Fix ImplicitThisFieldAccess
2023-10-20 15:25:26 +01:00
Mathias Vorreiter Pedersen
0ab159f803
Merge pull request #14135 from github/sashabu/frontend-update
...
C++: Update for changes in frontend.
2023-10-19 11:40:24 +01:00
Jeroen Ketema
a972d0943a
C++: Accept test changes after changes in IR generation
2023-10-19 10:45:14 +02:00
Jeroen Ketema
2a64552979
C++: Add support for C23/C++23 floating-point types
2023-10-19 10:45:14 +02:00
Jeroen Ketema
7e71d9e619
C++: Update expected test results after outputting less loads from the extractor
2023-10-19 10:45:14 +02:00
Jeroen Ketema
8b8a2726d4
C++: Accept semantic range analysis test changes due to extra loads in the IR
2023-10-19 10:45:13 +02:00
Jeroen Ketema
5036135f01
C++: Fix IR generation for the comma operator
2023-10-19 10:45:13 +02:00
Jeroen Ketema
0fceecee6d
C++: Fix extractor options for deprecated_with_msg test
...
The previous extractor options no longer work, because the default assumed
compiler versions have changed in the frontend.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
e271c7e5e7
C++: Accept IR GVN test changes a CopyValue is now Load due to IR changes
2023-10-19 10:45:13 +02:00
Jeroen Ketema
91a98f3512
C++: Accept new dataflow IR inconsistencies
...
These are due to additional loads being generated on fields, and should not
cause any problems. Ideally, we should tune the definition of
`TPostFieldUpdateNode` to make these go away.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
a6dae91215
C++: Accept IR test changes after value category updates
2023-10-19 10:45:12 +02:00
Calum Grant
c51efb1477
C++: Tighten up definitions of field accesses
2023-10-18 11:39:09 +01:00
Mathias Vorreiter Pedersen
9a2c1daebe
C++: Add tests for 'AdditionalCallTarget'.
2023-10-17 11:48:44 +01:00
Calum Grant
552221868f
C++: Expand ImplicitThisFieldAccess
2023-10-13 12:05:20 +01:00
Alex Eyers-Taylor
3ac3169278
CPP: Add some range analysis cases
2023-10-10 20:01:14 +01:00
Mathias Vorreiter Pedersen
496f190d70
C++: Accept test changes.
2023-10-10 16:45:31 +01:00
Henry Mercer
f3847b3f51
Merge branch 'main' into henrymercer/rc-3.11-mergeback
2023-10-03 16:30:23 +01:00
Mathias Vorreiter Pedersen
0e9f5f6b8e
C++: Accept test changes.
2023-09-18 11:46:19 +01:00
Mathias Vorreiter Pedersen
53561b7883
C++: Add tests for sized allocation without a need for a synthesized conversion.
2023-09-18 11:45:18 +01:00
Mathias Vorreiter Pedersen
cdf5872eb3
Merge pull request #14217 from alexet/is-trivial-built-in
...
CPP:Make __is_trivial a builtin operation.
2023-09-15 16:01:25 +01:00
Mathias Vorreiter Pedersen
b0566af938
C++: Accept test changes.
2023-09-14 14:04:12 +01:00
Mathias Vorreiter Pedersen
2a55034e55
C++: Add failing test.
2023-09-14 14:01:48 +01:00
Alex Eyers-Taylor
d79a2c7674
CPP:Make __is_trivial a builtin operation.
2023-09-14 12:50:36 +01:00
Tom Hvitved
c9910f5464
C++: Update expected test output
2023-09-12 20:05:12 +02:00
Mathias Vorreiter Pedersen
becb469477
Merge branch 'main' into deduplicate-dataflow-results-take-3
2023-09-11 09:55:11 +01:00
Mathias Vorreiter Pedersen
9f89c63771
C++: Accept test changes.
2023-09-08 17:07:26 +01:00
Mathias Vorreiter Pedersen
d5442ec9c5
C++: Add regression test.
2023-09-08 13:10:04 +01:00
Alex Eyers-Taylor
43a72f2a8e
CPP:Add tests for the aliased IR.
2023-09-07 13:42:31 +01:00
Alex Eyers-Taylor
b44c4587a4
CPP: Remove sucessors of non-returning IR calls.
2023-09-07 12:58:20 +01:00
Alex Eyers-Taylor
e8dfecc4a4
CPP: Fix test result
2023-09-07 12:49:13 +01:00
