Jeroen Ketema
|
9173e08805
|
Merge pull request #12714 from jketema/rem-cleanup
C++: Match `SemZeroBound` handling of mul case in rem case
|
2023-03-30 14:25:20 +02: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
|
0202bafc35
|
Merge pull request #12709 from MathiasVP/disable-rounding-2
C++: Disable floating point rounding in range analysis
|
2023-03-30 10:05:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
64a08cefd7
|
C++: Add change note.
|
2023-03-30 09:37:27 +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 |
|
Jeroen Ketema
|
ade02d80cf
|
C++: Match SemZeroBound handling of mul case in rem case
|
2023-03-30 09:10:55 +02:00 |
|
Gulshan Singh
|
abec99badb
|
C++: Add getSizeExpr and getSizeMult predicates to BufferAccess
|
2023-03-29 08:26:00 -07:00 |
|
Mathias Vorreiter Pedersen
|
4d8159c581
|
C++: Disable rounding.
|
2023-03-29 14:23:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
6dd45b31e1
|
Merge pull request #12696 from MathiasVP/range-analysis-of-mul-expr
C++: IR-based range analysis of multiplication
|
2023-03-29 14:05:55 +01: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 |
|
Mathias Vorreiter Pedersen
|
9d5c785d89
|
C++: Even more fix'ing QLDoc.
|
2023-03-29 12:45:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
09d0385f0f
|
C++: Fix QLDoc.
|
2023-03-29 12:42:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
c14bccf7eb
|
C++: Fix QLDoc.
|
2023-03-29 12:41:04 +01:00 |
|
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 |
|
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
|
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 |
|
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 |
|
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
|
59f2c75186
|
C++: bool -> int conversions are safe conversions.
|
2023-03-22 15:01:54 +00: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 |
|
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 |
|