3806 Commits

Author	SHA1	Message	Date
github-actions[bot]	5b14ebf22a	Post-release preparation for codeql-cli-2.11.4	2022-11-18 11:26:00 +00:00
erik-krogh	a5a244fc53	CPP: delete old deprecations	2022-11-17 22:12:50 +01:00
github-actions[bot]	e105c13e77	Release preparation for version 2.11.4	2022-11-17 16:40:45 +00:00
Mathias Vorreiter Pedersen	b12955e220	C++: Fix flow out of const member functions.	2022-11-16 22:46:21 +00:00
Mathias Vorreiter Pedersen	29f4b26280	Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow	2022-11-16 16:09:35 +00:00
Mathias Vorreiter Pedersen	a9173727cf	Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow	2022-11-16 14:22:54 +00:00
Mathias Vorreiter Pedersen	3b1b8cc720	C++: Fix SSA for array writes.	2022-11-16 14:05:54 +00:00
Mathias Vorreiter Pedersen	235a06903e	C++: Fix 'asParameter' to handle references.	2022-11-16 14:05:42 +00:00
erik-krogh	20c4699478	CPP: convert some block-comments that could be QLDoc to QLDoc	2022-11-16 13:39:22 +01:00
Anders Schack-Mulligen	94bca4399a	Merge pull request #11183 from aschackmull/dataflow/groupflow ... Dataflow: Introduce support for src/sink grouping in path results.	2022-11-16 12:59:01 +01:00
Mathias Vorreiter Pedersen	b8fab9ae79	C++: Respond to review comments.	2022-11-15 16:07:07 +00:00
Mathias Vorreiter Pedersen	1f43a1a924	Merge branch 'replace-ast-with-ir-use-usedataflow' into merge-some-indirect-and-instruction-nodes	2022-11-15 16:00:52 +00:00
Robert Marsh	5bbdaad0e5	C++: deprecate AST-based GVN	2022-11-14 16:50:39 -05:00
Mathias Vorreiter Pedersen	16565401c7	C++: Reduce path duplication.	2022-11-14 15:29:57 +00:00
Mathias Vorreiter Pedersen	7408931565	C++: Disable 'reference -> dereference' dataflow.	2022-11-14 14:05:31 +00:00
Jeroen Ketema	2b37ebd7ed	Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-11-11 17:24:34 +01:00
Jeroen Ketema	5c109cdef1	Merge pull request #11234 from jketema/std-iterator-fix ... C++: Recognize `basic_string::iterator` as an iterator	2022-11-11 17:21:42 +01:00
Rasmus Wriedt Larsen	ddbcdcb4ba	Merge pull request #11160 from RasmusWL/dataflow-consistency-read-store ... DataFlow: Add read/store stepIsLocal consistency checks	2022-11-11 14:51:45 +01:00
Jeroen Ketema	612624d241	C++: Recognize basic_string::iterator as an iterator	2022-11-11 14:04:50 +01:00
Mathias Vorreiter Pedersen	f534768715	C++: Fix join orders.	2022-11-11 11:09:38 +00:00
Mathias Vorreiter Pedersen	e0a6c16228	C++: Add missing QLDoc.	2022-11-11 11:09:38 +00:00
Mathias Vorreiter Pedersen	1a1f078684	C++: Also pick the operand as the 'ExprNode' when the expression is the qualifier of a call (and not just when it's an argument of a call).	2022-11-11 11:07:08 +00:00
Mathias Vorreiter Pedersen	c999704d1e	C++: Now that we sometimes target an operand where we'd target an instruction before we should pick the operand as the 'sink' in the call-target resolution recursion.	2022-11-11 11:07:08 +00:00
Mathias Vorreiter Pedersen	a51ac7b4e7	C++: Remove some unnecessary IPA values from 'IndirectInstruction' and 'IndirectOperand' when the semantically identical value already exists in the IR.	2022-11-11 11:07:08 +00:00
Jeroen Ketema	ba00a0f370	C++: Share parameter logic in std::string model	2022-11-11 08:48:11 +01:00
Jeroen Ketema	23e29e993b	C++: Split std::string::insert off in a separate class ... The `insert` function has two different return types: `iterator` and `basic_string&`.	2022-11-11 08:48:01 +01:00
Anders Schack-Mulligen	b3b7711149	Dataflow: Sync.	2022-11-09 14:23:15 +01:00
Jeroen Ketema	af6a87e54d	C++: Add missing QLDoc comments	2022-11-09 13:08:53 +01:00
Jeroen Ketema	d7804f5473	C++: Fix DataFlow2 import	2022-11-09 12:53:05 +01:00
Jeroen Ketema	ceb6706c73	C++: Fix formatting	2022-11-09 12:52:44 +01:00
Jeroen Ketema	4ab5066ed2	C++: Fix imports and module names in old dataflow/taint tracking library	2022-11-09 11:52:39 +01:00
Mathias Vorreiter Pedersen	f19b381e3e	C++: Add use-use flow through global variables.	2022-11-08 17:10:37 +00:00
Jeroen Ketema	74f9b322a8	Merge branch 'main' into update-from-main	2022-11-08 17:01:02 +01:00
Rasmus Wriedt Larsen	4895daba85	DataFlow: Add read/store stepIsLocal consistency checks	2022-11-08 13:32:49 +01:00
Jeroen Ketema	c61a9c5911	C++: Also taint the return value dereference in the strcat model	2022-11-08 12:08:44 +01:00
Jeroen Ketema	5732c3bca0	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-11-07 15:03:26 +01:00
Anders Schack-Mulligen	99ca28ea9b	Merge pull request #10886 from aschackmull/dataflow/joinorders ... Dataflow: Fix a couple of join-orders.	2022-11-07 11:05:29 +01:00
github-actions[bot]	fca754bddd	Post-release preparation for codeql-cli-2.11.3	2022-11-05 14:30:48 +00:00
github-actions[bot]	508327235a	Release preparation for version 2.11.3	2022-11-04 20:16:23 +00:00
Tom Hvitved	05bf86acb6	Merge pull request #11126 from hvitved/cpp/position-overrides ... C++: Let `(Indirect|Direct)Position` be sub classes of `Position`	2022-11-04 15:35:27 +01:00
Tom Hvitved	95835b8297	C++: Let (Indirect|Direct)Position be sub classes of Position	2022-11-04 14:31:18 +01:00
Anders Schack-Mulligen	a1dba82360	Dataflow: Sync.	2022-11-04 12:41:55 +01:00
Mathias Vorreiter Pedersen	b95163cfe4	Merge pull request #11112 from MathiasVP/local-expr-flow ... C++: Improve `Buffer.qll` performance	2022-11-04 10:32:27 +00:00
Mathias Vorreiter Pedersen	2617e6d7c6	C++: Inline a predicate that was only used once.	2022-11-04 09:35:34 +00:00
Mathias Vorreiter Pedersen	84af725ef1	Fix QLDoc.	2022-11-03 20:33:41 +00:00
Mathias Vorreiter Pedersen	b42e81c32d	C++: Speed up 'Buffer.qll'.	2022-11-03 20:31:55 +00:00
Jeroen Ketema	c87b516130	C++: Turn IndirectArgumentOutNode into a PartialDefinitionNode	2022-11-03 17:58:35 +01:00
Tom Hvitved	d3488da0c2	Data flow: Sync files	2022-11-03 15:52:30 +01:00
Mathias Vorreiter Pedersen	18802a2883	Merge pull request #11042 from MathiasVP/simplify-buffer.qll ... C++: Simplify `buffer.qll` repair	2022-11-03 09:18:39 +00:00
Dave Bartolomeo	49c4c554c4	Merge from main	2022-11-01 13:22:40 -04:00