Anders Schack-Mulligen
|
64eb4ff753
|
Merge pull request #14983 from aschackmull/dataflow/deprecate-old-api
Data Flow: Deprecate old data flow api.
|
2023-12-08 14:27:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
7b83947383
|
Merge branch 'main' into fewer-dataflow-branches
|
2023-12-08 09:30:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
1c73d43b4f
|
C++: Accept more test changes.
|
2023-12-08 09:29:48 +00:00 |
|
Jeroen Ketema
|
9a555ba16e
|
Merge pull request #14909 from jketema/rm-dtt
C++: Remove `DefaultTaintTracking` library
|
2023-12-08 10:08:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
e648058d30
|
C++: Accept test changes.
|
2023-12-07 23:11:28 +00:00 |
|
Anders Schack-Mulligen
|
9fafa973d8
|
C++: Remove irrelevant test.
|
2023-12-07 14:13:42 +01:00 |
|
Jeroen Ketema
|
edf178696d
|
C++: accept test changes for IR Guards replacement
|
2023-12-06 12:47:20 +01:00 |
|
Jeroen Ketema
|
db1dc6fa2c
|
Merge pull request #15021 from jketema/ir-guards-unreached-fix
C++: Fix handling of unreached instructions in IRGuards
|
2023-12-06 12:46:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
9fa20f5f39
|
Merge pull request #14799 from MathiasVP/solve-modify-copy-problem
DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation
|
2023-12-06 09:55:34 +00:00 |
|
Jeroen Ketema
|
4390e4cad3
|
C++: Fix handling of unreached instructions in IRGuards
|
2023-12-06 10:23:27 +01:00 |
|
Jeroen Ketema
|
d6e30cd828
|
C++: Add test showing unreachable instructions give spurious blocks in IRGuards
|
2023-12-06 10:23:27 +01:00 |
|
Jeroen Ketema
|
4d702e2eee
|
C++: Fix IRGuards ternary behaviour
|
2023-12-05 12:17:46 +01:00 |
|
Jeroen Ketema
|
d84961571b
|
C++: Add IRGuards test that shows that ternary behaviour is not quite correct
|
2023-12-05 12:16:01 +01:00 |
|
Benjamin Rodes
|
94a0420040
|
Updated getResultExpr to getResultNode. Added strlcat. Added tests.
|
2023-11-29 16:03:41 -05:00 |
|
Mathias Vorreiter Pedersen
|
e47ad274ea
|
C++: Add Schack's tests.
|
2023-11-28 14:32:21 +00:00 |
|
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 |
|