Mathias Vorreiter Pedersen
|
fb6329fbc1
|
C++: Fix test annotation
|
2023-11-28 14:27:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1771d77c23
|
C++: Accept test changes.
|
2023-11-28 14:27:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1753a7e146
|
C++: Add tests.
|
2023-11-28 14:27:15 +00:00 |
|
Jeroen Ketema
|
c02a732632
|
C++: Remove DefaultTaintTracking library
|
2023-11-24 18:35:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
98bf748e64
|
C++: Accept test changes.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
dcba8e5408
|
C++: Fix global variable flow for array types.
|
2023-11-20 12:15:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
8039e117ba
|
C++: Add more global-variable flow tests.
|
2023-11-20 12:15:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
5a7cb8f25a
|
C++: Fix duplication on reference dereference expressions.
|
2023-11-16 10:52:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
799873113f
|
C++: Add a test that demonstrates reference dereference duplication.
|
2023-11-16 10:52:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
f8feb84958
|
C++: Accept test changes from refactoring QL files.
|
2023-11-16 10:52:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
6a1504b91c
|
C++: Slightly refactor test QL files so that we can add a test which tests the nodes being selected.
|
2023-11-16 10:50:56 +00:00 |
|
Anders Schack-Mulligen
|
bf6cfd3bef
|
Rangeanalysis: Simplify api.
|
2023-11-13 10:35:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
39b9d2ea83
|
C++: Accept test changes.
|
2023-11-09 20:28:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
0963af2ee7
|
C++: Add failing tests.
|
2023-11-09 18:01:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
1c8f474848
|
C++: Add comment as suggested in the PR review for #14708.
|
2023-11-07 15:16:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
2787f0a0fc
|
Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis
C++: Add range analysis testcase
|
2023-11-07 15:15:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
a04830b8b2
|
Merge pull request #14697 from MathiasVP/range-analysis-simplify-conversions
C++: Simplify the definition of `SemExpr` for range analysis
|
2023-11-07 14:52:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
9dca6697fb
|
C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.
|
2023-11-07 11:52:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
a17cd9bc1c
|
Merge pull request #14667 from MathiasVP/more-function-input-and-output-ipa-numbers
C++: Allocate more `FunctionInput` and `FunctionOutput`s
|
2023-11-07 08:57:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
e91987b1a9
|
C++: Accept test changes.
|
2023-11-06 16:02:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
31c2a3be98
|
C++: Don't redefine the meaning of the single-parameter 'isParameterDeref' and accept test changes.
|
2023-11-06 15:52:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
392b2af923
|
C++: Only the second indirection of the argument should be the remote flow source.
|
2023-11-02 16:51:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
b82dfa9a21
|
C++: Fix failing test by allocating 'TFunctionInput's and 'TFunctionOutput's for more indirections. Note that we now mark two output nodes coming out of 'getaddrinfo' as a remote flow source (the first indirection and the second indirection). We'll fix that in the next commit.
|
2023-11-02 16:45:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
5487b404ed
|
C++: Add failing test.
|
2023-11-02 16:41:19 +00:00 |
|
Anders Schack-Mulligen
|
7bf271fb6c
|
RangeAnalysis: Improve bounds that rely on relative modulus.
|
2023-11-02 12:51:48 +01:00 |
|
Anders Schack-Mulligen
|
7c3684dbb7
|
RangeAnalysis: Rename semExprModulus to exprModulus.
|
2023-11-02 08:19:23 +01:00 |
|
Anders Schack-Mulligen
|
400910e4d3
|
C++: Fix modulus analysis test.
|
2023-11-02 08:19:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
b79a5fee14
|
Merge pull request #14637 from MathiasVP/dataflow-for-realloc
C++: Add a taint model for `realloc`
|
2023-10-31 18:24:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
b9dfeb3aac
|
Merge pull request #14444 from alexet/range-cases
CPP: Add some range analysis cases
|
2023-10-31 15:55:41 +01:00 |
|
Alexander Eyers-Taylor
|
11152deeb5
|
Update cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-10-31 13:52:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
66f4eccc30
|
Merge pull request #14632 from MathiasVP/share-ipa-numbering-for-indirect-nodes
C++: Share IPA numbering for indirect nodes
|
2023-10-31 11:20:41 +01:00 |
|
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 |
|