Mathias Vorreiter Pedersen
|
bef0a159c0
|
C++: IR generation for repeated initializers.
|
2023-04-04 10:08:32 +01:00 |
|
Gulshan Singh
|
56dc2a4d4e
|
C++: Consider ArrayExpr with non-constant size expressions as BufferAccesses
|
2023-04-03 23:11:14 -07:00 |
|
Alexandre Boulgakov
|
0aa39c0ca0
|
Merge pull request #12712 from github/sashabu/repeated-initializers
C++: Support repeated initializers in dbscheme.
|
2023-04-03 14:46:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
e8800a6dba
|
C++: Move the new range-analysis library out of experimental and into an 'internal' directory.
|
2023-04-03 13:53:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
6638df1578
|
C++: Sync identical files.
|
2023-03-31 18:25:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b33d26852
|
C++: Speed up non-linear recursion in GVN.
|
2023-03-31 18:25:19 +01:00 |
|
Alexandre Boulgakov
|
d0a77a8433
|
C++: Support repeated initializers in dbscheme.
|
2023-03-31 17:53:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
62bc8074ba
|
Merge pull request #12626 from gsingh93/buffer-access-size-expr
C++: Add getSizeExpr and getSizeMult predicates to BufferAccess
|
2023-03-30 10:49:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
6275a015a4
|
Merge pull request #12708 from MathiasVP/dont-break-ir-cfg-on-vla
C++: Don't produce partial CFGs when using VLAs
|
2023-03-30 09:16:10 +01:00 |
|
Gulshan Singh
|
abec99badb
|
C++: Add getSizeExpr and getSizeMult predicates to BufferAccess
|
2023-03-29 08:26:00 -07:00 |
|
Mathias Vorreiter Pedersen
|
3bd193f721
|
C++: Fix Code Scanning errors.
|
2023-03-29 14:02:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb6e45b6f4
|
C++: Emit a NoOp during CFG construction for VLAs.
|
2023-03-29 13:58:39 +01:00 |
|
Jeroen Ketema
|
0acca2ba76
|
Merge pull request #12687 from jketema/unit-2
Make imports of `codeql.util.Unit` private
|
2023-03-29 13:07:12 +02:00 |
|
Jeroen Ketema
|
3b8ad087eb
|
Make imports of codeql.util.Unit private
|
2023-03-28 14:14:13 +02:00 |
|
Anders Schack-Mulligen
|
d406b051fc
|
Dataflow: Remove accidentally exposed predicates.
|
2023-03-28 10:04:21 +02:00 |
|
Jeroen Ketema
|
977f15f8a4
|
Merge pull request #12649 from jketema/unit
Replace all definitions of `Unit` by `import codeql.util.Unit`
|
2023-03-27 08:49:50 +02:00 |
|
Anders Schack-Mulligen
|
6db8c8b19f
|
Merge pull request #12656 from aschackmull/dataflow/qldoc
Dataflow: Minor qldoc fix
|
2023-03-24 14:57:39 +01:00 |
|
Anders Schack-Mulligen
|
85511ba19d
|
Dataflow: Sync
|
2023-03-24 12:42:06 +01:00 |
|
Jeroen Ketema
|
a87a9438c7
|
Replace all definitions of Unit by import codeql.util.Unit
|
2023-03-24 10:39:34 +01:00 |
|
Jeroen Ketema
|
8b5393661b
|
C++: Address review comments
|
2023-03-24 10:34:10 +01:00 |
|
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 |
|