Mathias Vorreiter Pedersen
|
fe487a1ae8
|
C++: Respond to PR reviews.
|
2023-03-29 12:30:24 +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 |
|
Mathias Vorreiter Pedersen
|
6699a0cb1a
|
C++: Add range analysis for binary multiplication.
|
2023-03-28 16:50:18 +01:00 |
|
Anders Schack-Mulligen
|
7c74fd07e9
|
Merge pull request #12684 from aschackmull/dataflow/remove-footgun
Dataflow: Remove accidentally exposed predicates.
|
2023-03-28 15:14:58 +02:00 |
|
Jeroen Ketema
|
3b8ad087eb
|
Make imports of codeql.util.Unit private
|
2023-03-28 14:14:13 +02:00 |
|
Anders Schack-Mulligen
|
47e7aa9566
|
Dataflow: Add change note.
|
2023-03-28 13:17:48 +02:00 |
|
Mathias Vorreiter Pedersen
|
4b2758f1b5
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-28 10:32:13 +01:00 |
|
Anders Schack-Mulligen
|
d406b051fc
|
Dataflow: Remove accidentally exposed predicates.
|
2023-03-28 10:04:21 +02:00 |
|
Jeroen Ketema
|
12da4f7814
|
C++: Address review comment
|
2023-03-28 00:33:46 +02:00 |
|
Jeroen Ketema
|
9303055013
|
C++: Address review comment
|
2023-03-28 00:33:46 +02:00 |
|
Jeroen Ketema
|
99c6111b05
|
C++: Add support for bounded modulus operations
|
2023-03-28 00:33:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
724d97eabb
|
C++: Make sign analysis aware of unsigned'ness and accept test changes.
|
2023-03-27 23:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbd4662696
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-27 21:18:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
87c144d33b
|
C++: Throw away the sign analysis when analyzing add expressions: instead, we now recursively analyze both operands.
|
2023-03-27 13:19:47 +01: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 |
|
Mathias Vorreiter Pedersen
|
125c013052
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-24 17:01:11 +00:00 |
|
Gulshan Singh
|
b87f12d5b2
|
C++: Add StrlenLiteralRangeExpr
|
2023-03-24 08:51:35 -07: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 |
|
Robert Marsh
|
7ea74df4b3
|
C++: SimpleRangeAnalysis wrapper uses constant stage
|
2023-03-23 11:59:52 -04:00 |
|
Anders Schack-Mulligen
|
d440bc2d0c
|
Dataflow: Sync.
|
2023-03-23 13:40:23 +01:00 |
|
Anders Schack-Mulligen
|
1c1aa7ecdd
|
Dataflow: Add change notes.
|
2023-03-23 13:17:36 +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 |
|
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 |
|