3353 Commits

Author	SHA1	Message	Date
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
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