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 |
|
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 |
|