3327 Commits

Author	SHA1	Message	Date
github-actions[bot]	e87ce62f95	Post-release preparation for codeql-cli-2.12.5	2023-03-30 13:48:58 +00:00
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	4043aa976d	Merge branch 'main' into skip-safe-conversions-in-range-analysis	2023-03-30 11:24:27 +01:00
Mathias Vorreiter Pedersen	d9b2a72232	C++: Ensure that equiv instructions are in the same block.	2023-03-30 11:22:24 +01:00
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