Felicity Chapman
|
b5f849463b
|
Update QL library references
|
2022-11-28 15:26:24 +01:00 |
|
Tom Hvitved
|
cde05e1190
|
Data flow: Sync files
|
2022-11-28 12:11:38 +01:00 |
|
Jeroen Ketema
|
223eeb6921
|
C++: Fix upper bound detection in default taint flow
|
2022-11-24 14:38:36 +01:00 |
|
Erik Krogh Kristensen
|
1eec067474
|
Merge pull request #11294 from erik-krogh/fileDoc
QL: improve the "this block-comment should have been a QLDoc"-query
|
2022-11-23 22:23:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
349c5cd800
|
Merge pull request #11254 from MathiasVP/fix-ssa-flow
C++: Fix spurious reference flow
|
2022-11-23 09:52:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
623372238d
|
C++: Better support for flow-through.
|
2022-11-22 13:54:44 +00:00 |
|
Jeroen Ketema
|
cfb8f282d1
|
Merge pull request #11369 from jketema/fun-typo
C++: Fix typo flagged up by QL-for-QL
|
2022-11-22 12:34:54 +01:00 |
|
Jeroen Ketema
|
6a68e7936f
|
C++: Fix typo flagged up by QL-for-QL
|
2022-11-22 11:53:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
98285393fe
|
Merge pull request #11357 from MathiasVP/ignore-more-instructions
C++: Ignore more instructions in dataflow
|
2022-11-22 10:47:51 +00:00 |
|
Jeroen Ketema
|
4731f9222c
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-11-22 10:53:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
320b5ca01a
|
C++: Ignore more instructions for dataflow.
|
2022-11-21 21:39:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
fc3d6a1847
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow
|
2022-11-21 20:57:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
c2ac60fc34
|
Merge pull request #11311 from MathiasVP/repair-mustflow
C++: Repair `MustFlow` library for use-use flow
|
2022-11-21 19:13:10 +00:00 |
|
Edoardo Pirovano
|
6c33ddcd47
|
Merge pull request #11349 from github/edoardo/2.11.4-mergeback
Merge `rc/3.8` into `main`
|
2022-11-21 18:08:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
231e2a8df3
|
C++: Reduce fan-in for 'readStep'.
|
2022-11-21 17:07:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
24542ec84a
|
Merge branch 'main' into replace-ast-with-ir-use-usedataflow
|
2022-11-21 15:02:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
fcd9dd0be4
|
Update cpp/ql/lib/change-notes/2022-11-16-must-flow.md
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2022-11-21 14:18:20 +00:00 |
|
Jeroen Ketema
|
78ad9ba60f
|
Merge pull request #11262 from rdmarsh2/rdmarsh2/cpp/deprecate-ast-gvn
C++: deprecate AST-based GVN
|
2022-11-21 13:38:54 +01:00 |
|
Tom Hvitved
|
99e70e9a50
|
Data flow: Sync files
|
2022-11-20 10:19:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
4478ac2c17
|
C++: Add change note.
|
2022-11-18 16:43:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
b748ed8f43
|
C++: Repair the 'MustFlow' library.
|
2022-11-18 16:41:32 +00:00 |
|
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 |
|