Jeroen Ketema
|
3e4f35151a
|
C++: Rename SslContextCallMake to SslContextCallGlobal
This is in line with changes made to the dataflow library
|
2023-03-24 09:05:06 +01:00 |
|
Anders Schack-Mulligen
|
9d88f01c82
|
Merge pull request #12645 from aschackmull/dataflow/renaming
Dataflow: Rename Make to Global and hasFlow to flow
|
2023-03-24 08:48:31 +01:00 |
|
Anders Schack-Mulligen
|
d440bc2d0c
|
Dataflow: Sync.
|
2023-03-23 13:40:23 +01:00 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Michael Nebel
|
3fea9e4d0b
|
Sync files.
|
2023-03-16 14:12:29 +01: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 |
|
Tom Hvitved
|
9f798902bd
|
Data flow: Add consistency check for DataFlowCall::getEnclosingCallable
|
2023-03-16 08:40:53 +01: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 |
|
Tom Hvitved
|
bdd56f1b6e
|
Data flow: Sync files
|
2023-03-14 10:01:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
136769d647
|
Merge pull request #12507 from MathiasVP/fix-as-expr-performance-2
C++: Map some indirect nodes to expressions in `localExprFlowStep`
|
2023-03-13 16:03:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
a5051655a1
|
C++: Autoformat.
|
2023-03-13 15:41:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
00450d10bb
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-13 14:50:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
58c1518fbd
|
C++: Fix QLDoc.
|
2023-03-13 14:45:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
97462a3fa0
|
C++: Include more expressions in 'asExpr' in local expression flow.
|
2023-03-13 14:29:11 +01:00 |
|
Erik Krogh Kristensen
|
060c37b6a2
|
Merge pull request #12345 from erik-krogh/delOldDeps
delete old deprecations
|
2023-03-13 12:48:24 +01:00 |
|
erik-krogh
|
6c1ebd999e
|
Merge branch 'main' into delOldDeps
|
2023-03-13 11:00:29 +01:00 |
|
Anders Schack-Mulligen
|
1e64748ffe
|
Dataflow: Autoformat.
|
2023-03-10 15:12:19 +01:00 |
|
Anders Schack-Mulligen
|
289f921171
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Anders Schack-Mulligen
|
00f0879ff5
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Anders Schack-Mulligen
|
159d8e978c
|
Dataflow: one more autoformat post rebase
|
2023-03-10 10:04:35 +01:00 |
|
Anders Schack-Mulligen
|
ef97e539ec
|
C/C++: Autoformat
|
2023-03-10 09:39:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
d25a312557
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-09 18:38:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
59402eb754
|
Merge pull request #12462 from MathiasVP/disable-std-order-in-fwd-flow-stage-1
DataFlow: Disable standard order in `Stage1::fwdFlow`
|
2023-03-09 15:30:05 +00:00 |
|
Jeroen Ketema
|
de97ae38dc
|
C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand
|
2023-03-09 15:15:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
1f77f77153
|
DataFlow: Sync identical files.
|
2023-03-09 10:41:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
c7b41ca470
|
C++: Disable standard order for 'fwdFlow' in stage 1 of dataflow.
|
2023-03-09 10:41:06 +00:00 |
|
Jeroen Ketema
|
e5ce27fbf9
|
C++: Fix a number of instances where a dataflow node did not have a location
|
2023-03-09 10:32:30 +01:00 |
|
Jeroen Ketema
|
31fa230c0d
|
C++: Remove toStringImpl predicate that is overridden in every subclass
|
2023-03-09 10:29:17 +01:00 |
|
Jeroen Ketema
|
4ee13a3234
|
C++: Remove getLocationImpl predicate that is always overridden
Also remove the predicate referred to in ints implementation, as it is no
longer used.
|
2023-03-09 10:27:15 +01:00 |
|