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 |
|
Anders Schack-Mulligen
|
132cc03e3b
|
Merge pull request #14664 from aschackmull/shared/modulus-step
RangeAnalysis: Improve bounds that rely on relative modulus.
|
2023-11-03 08:16:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
679d64f0e8
|
Merge pull request #14647 from microsoft/24-odbc-model-instantiation-upstream2
C++: Adding a model implementation for ODBC.
|
2023-11-02 19:42:27 +00:00 |
|
Benjamin Rodes
|
947e0274c7
|
Adding sql injection test for ODBC.
|
2023-11-02 13:27:42 -04: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
|
b54b5ae0a9
|
Merge pull request #14648 from MathiasVP/simplify-invalid-ptr-deref
C++: Remove one use of range analysis in `cpp/invalid-pointer-deref`
|
2023-11-01 14:42:20 +00: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
|
377da9fa66
|
C++: Accept test changes.
|
2023-10-31 11:18:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
e8c18a3883
|
C++: Add FP in query test.
|
2023-10-31 11:17:51 +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
|
c8edf3151b
|
C++: Remove the use of range analysis in 'invalidPointerToDerefSource'.
|
2023-10-30 15:47:47 +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
|
b4958e7d58
|
C++: Accept path changes.
|
2023-10-30 12:44:30 +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
|
9652679c6f
|
Merge pull request #14568 from alexet/alexet/add-fn-tests
CPP: Add test demonstrating use-after-free false negatives.
|
2023-10-24 15:38:01 +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 |
|
Alex Eyers-Taylor
|
26b0363707
|
CPP: Add test demonstrating use-after-free false negatives.
|
2023-10-23 17:01:52 +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
|
bec3e62771
|
C++: Update cpp/constant-array-overflow test results after frontend update
|
2023-10-19 10:45:14 +02:00 |
|
Jeroen Ketema
|
23c6027386
|
C++: Update expected test changes after frontend update
|
2023-10-19 10:45:13 +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 |
|