Mathias Vorreiter Pedersen
|
4602a8ae4a
|
C++: Simplify 'converts'.
|
2023-03-30 11:16:54 +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
|
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 |
|
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 |
|