Anders Schack-Mulligen
|
72415c7c2c
|
C++: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
2761aa73ca
|
Dataflow: Sync.
|
2023-03-23 13:06:19 +01:00 |
|
Kasper Svendsen
|
ce6be1f636
|
Dataflow: Instantiate stage 1 access paths with proper unit type
|
2023-03-23 08:32:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f240d6738
|
C++: Fix join order in 'boundFlowCond'.
|
2023-03-22 17:00:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
cd7ba7c503
|
C++: Fix join orders in 'eqBound'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c6b60b2c6
|
C++: Avoid two joins on value number.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e38105615
|
C++: Fix implicit 'this'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4cc3bfae33
|
C++: Fix places that assumed that 'Expr' was always 'Instruction'.
|
2023-03-22 16:51:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
08e8604430
|
C++: Change 'Expr' to be EquivalenceClasses instead of Instructions.
|
2023-03-22 15:26:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
59f2c75186
|
C++: bool -> int conversions are safe conversions.
|
2023-03-22 15:01:54 +00:00 |
|
Robert Marsh
|
204dbee14c
|
C++: Move overflow detection to SimpleRangeAnalysis.qll
|
2023-03-21 11:02:06 -04:00 |
|
Robert Marsh
|
0f4157c534
|
C++: Add overflow detection to new range analysis
|
2023-03-21 11:01:58 -04:00 |
|
Anders Schack-Mulligen
|
0d6dd7d25a
|
DataFlow: Sync.
|
2023-03-21 14:27:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
98dc73c6dd
|
Merge pull request #12611 from MathiasVP/buffer-access-should-be-evaluated
C++: Exclude unevaluated accesses in `BufferAccess`
|
2023-03-21 12:10:37 +00:00 |
|
Asger F
|
6d665da4dc
|
Merge pull request #12570 from github/post-release-prep/codeql-cli-2.12.5
Post-release preparation for codeql-cli-2.12.5
|
2023-03-21 13:06:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
eab43973b7
|
C++: Add change note.
|
2023-03-21 10:00:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
8623d8eb8e
|
C++: Exclude unevaluated expressions from BufferAccess.
|
2023-03-21 09:48:09 +00:00 |
|
Jeroen Ketema
|
4e752369c5
|
Merge pull request #12598 from jketema/default-config
C++: Adjust the internals of default taint tracking to use `DataFlow::ConfigSig`
|
2023-03-21 08:59:27 +01:00 |
|
Jeroen Ketema
|
7cdd2b69c9
|
C++: Adjust the internals of default taint tracking to use DataFlow::ConfigSig
|
2023-03-20 18:58:16 +01:00 |
|
Gulshan Singh
|
bae1dfebb2
|
Address some review comments on RangeNode class
|
2023-03-20 09:46:03 -07:00 |
|
Gulshan Singh
|
e2fdfbb71f
|
Add RangeNode class
|
2023-03-20 09:46:02 -07:00 |
|
Anders Schack-Mulligen
|
3876e4335f
|
Merge pull request #12420 from kaspersv/kaspersv/dataflow-remove-alias-preds
Dataflow: Remove revFlowAlias and revFlowApAlias predicates
|
2023-03-20 16:30:15 +01:00 |
|
Jeroen Ketema
|
c56c1cbb62
|
Merge pull request #12588 from jketema/boost-config
C++: Refactor `BoostorgAsio` to use `DataFlow::ConfigSig`
|
2023-03-20 15:31:35 +01:00 |
|
Jeroen Ketema
|
bbe95367d6
|
C++: Simplify SslContextCallMake
|
2023-03-20 14:00:03 +01:00 |
|
Jeroen Ketema
|
2968c12e12
|
Merge pull request #12583 from jketema/move-print
C++: Move SsaConsistency to its own file
|
2023-03-20 13:41:29 +01:00 |
|
Jeroen Ketema
|
9997326804
|
C++: Refactor BoostorgAsio to use DataFlow::ConfigSig
|
2023-03-20 13:37:18 +01:00 |
|
Kasper Svendsen
|
1d2f1b6ae6
|
Address comments
|
2023-03-20 13:34:14 +01:00 |
|
Kasper Svendsen
|
e0e3a1d621
|
Dataflow: remove revFlowApAlias trick
|
2023-03-20 13:04:13 +01:00 |
|
Jeroen Ketema
|
91b069603d
|
C++: Move SsaConsistency to its own file
This removes the import of the `Print` library in places that are used in
production and not just debugging.
|
2023-03-20 10:31:33 +01:00 |
|
Kasper Svendsen
|
9630feb5e4
|
Dataflow: Remove revFlowAlias trick
|
2023-03-20 09:04:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
b0f803759c
|
Merge pull request #11928 from rdmarsh2/rdmarsh2/stageify-range-analysis
|
2023-03-18 12:42:49 +00:00 |
|
Robert Marsh
|
1e8404c954
|
C++: Remove fixed TODO
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-03-17 11:27:13 -04:00 |
|
Robert Marsh
|
726f99975e
|
C++: remove direct IR dependency in range analysis
|
2023-03-17 10:50:02 -04:00 |
|
github-actions[bot]
|
981e171525
|
Post-release preparation for codeql-cli-2.12.5
|
2023-03-17 13:27:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
1aecc64327
|
C++: Autoformat.
|
2023-03-17 09:37:46 +00:00 |
|
Michael Nebel
|
3fea9e4d0b
|
Sync files.
|
2023-03-16 14:12:29 +01:00 |
|
github-actions[bot]
|
fe4d27e8cc
|
Release preparation for version 2.12.5
|
2023-03-16 12:58:50 +00:00 |
|
Jeroen Ketema
|
8aa9207281
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-16 10:28:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
eec1e9ffcd
|
C++: Fix change note.
|
2023-03-16 08:01:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
58602927bd
|
C++: Add change note.
|
2023-03-16 07:57:03 +00:00 |
|
Tom Hvitved
|
9f798902bd
|
Data flow: Add consistency check for DataFlowCall::getEnclosingCallable
|
2023-03-16 08:40:53 +01:00 |
|
Robert Marsh
|
45fdf69461
|
C++: add SemLocation so SemBound is copy-shareable
|
2023-03-15 10:38:47 -04:00 |
|
Mathias Vorreiter Pedersen
|
08419b77af
|
C++: Respond to PR reviews.
|
2023-03-15 14:07:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
913ff201f1
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into local-flow-for-getAdditionalFlowIntoCallNodeTerm
|
2023-03-15 11:15:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
11932a54e8
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-15 11:13:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
9bd3347a3c
|
C++: Remove import.
|
2023-03-15 10:33:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
623f6ff701
|
C++: Move things around so that 'getAdditionalFlowIntoCallNodeTerm' is in the same stage as 'DataFlowImplCommon'.
|
2023-03-15 10:01:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
deb43c21e6
|
C++: Use local flow instead of GVN to find parameters that are used in switch statements.
|
2023-03-15 10:00:47 +00:00 |
|
Robert Marsh
|
623e39031c
|
C++: fix ModulusAnalysis test
|
2023-03-14 16:46:09 -04:00 |
|
Robert Marsh
|
267c341965
|
C++: exclude ZeroBounds in relative stage
|
2023-03-14 10:41:50 -04:00 |
|