Mathias Vorreiter Pedersen
|
3b2c3f6f40
|
C++: Use an 'EquivalenceRelation' instead of the 'shortestDistances' HOP in 'getInstruction'. This reduces the memory pressure when generating the CFG for Wireshark.
|
2023-05-17 13:46:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
06d5a7f0ef
|
Merge pull request #13139 from MathiasVP/faster-product-flow
C++: Speedup product dataflow
|
2023-05-17 13:40:39 +01:00 |
|
Jeroen Ketema
|
883ec7a0e9
|
C++: Add forgotten private specifiers in product flow
|
2023-05-17 11:24:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
150d4f341a
|
C++: Fix looping flow that goes from the output argument node and back into the function argument.
|
2023-05-16 17:39:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
e1cc7dcdc1
|
C++: Tweak join orders.
|
2023-05-12 16:12:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
3f01a2157b
|
Revert "C++: Speedup 'isSuccessor'."
This reverts commit 594da1a21a.
|
2023-05-12 13:41:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
2458fa0ab3
|
C++: Push conjunct into 'isSuccessor' and rename it to 'fwdIsSuccessor'.
|
2023-05-12 12:50:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
594da1a21a
|
C++: Speedup 'isSuccessor'.
|
2023-05-12 12:05:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
e58b99ddd1
|
C++: Don't carry the sources around as columns during the main loop of product flow.
|
2023-05-12 11:58:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
f7924bda0d
|
Merge pull request #13099 from MathiasVP/heuristic-allocation-for-overrun-write
C++: Use heuristic allocation functions in `cpp/overrun-write`
|
2023-05-12 10:15:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
fd6282063e
|
Merge pull request #12971 from MathiasVP/fix-fp-in-invalid-deref-2
C++: Fix more FPs on `cpp/invalid-pointer-deref`
|
2023-05-11 10:06:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
477722a94a
|
Merge pull request #13101 from MathiasVP/member-predicates-on-CallAllocationExprTarget
C++: Cleanup `CallAllocationExprBase` with module signature members
|
2023-05-10 16:52:30 +01:00 |
|
Kasper Svendsen
|
8410eb3477
|
C++: Enable implicit this warnings
|
2023-05-10 15:15:21 +02:00 |
|
Kasper Svendsen
|
f8b3968b38
|
C++: Make implicit this receivers explicit
|
2023-05-10 15:15:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
f05cce8fc2
|
C++: Add a member predicate to phi nodes for checking if a phi is a read-phi and use it to restrict flow in 'cpp/invalid-pointer-deref'.
|
2023-05-10 14:10:13 +01:00 |
|
Kasper Svendsen
|
5b45962dff
|
C++: Make implicit this receiver explicit
|
2023-05-10 12:34:47 +02:00 |
|
Jeroen Ketema
|
c3a7f98b2f
|
Merge branch 'main' into fix-fp-in-invalid-deref-2
|
2023-05-10 11:31:10 +02:00 |
|
Jeroen Ketema
|
6a33e87c27
|
Merge pull request #13100 from jketema/order-by-order
C++: Fix the location of order-by in experimental `RangeNode`
|
2023-05-10 11:08:20 +02:00 |
|
Kasper Svendsen
|
c3191e989b
|
Merge pull request #13078 from kaspersv/kaspersv/explicit-this-receivers-shared3
C#, C++: Make implicit this receivers explicit
|
2023-05-10 11:07:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
6aa40050bd
|
C++: Use member predicates on parameterized module parameters now that it's available in the language.
|
2023-05-10 09:24:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
720586c437
|
Merge pull request #13059 from MathiasVP/remove-self-edges
C++: Remove self edges
|
2023-05-10 09:04:08 +01:00 |
|
Jeroen Ketema
|
a5c7d09702
|
C++: Fix the location of order-by in experimental RangeNode
|
2023-05-10 09:50:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
363514e4ca
|
C++: Expand heuristic to catch more sources.
|
2023-05-10 08:27:29 +01:00 |
|
Kasper Svendsen
|
c46898cb75
|
C++: Make implicit this receivers explicit
|
2023-05-09 15:35:54 +02:00 |
|
Kasper Svendsen
|
a129513b80
|
C#, C++: Make implicit this receivers explicit
|
2023-05-09 15:33:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
b43702451f
|
C++: Remove self edges from post-update SSA.
|
2023-05-05 15:47:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
4048915c8c
|
C++: Remove self edges from non-post-update SSA.
|
2023-05-05 15:45:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
c0b3a1896b
|
C++: No phi self-edges.
|
2023-05-05 12:16:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
09ba9a74ce
|
Merge pull request #12959 from MathiasVP/identity-consistency-check
DataFlow: Add an "identity-step" consistency check
|
2023-05-05 10:03:20 +01:00 |
|
Robert Marsh
|
e32e28d95f
|
Merge pull request #13035 from MathiasVP/ranked-phi-hack-for-bounded-phi
C++: Work around poor codegen for `forex` in IR-based range analysis
|
2023-05-04 16:48:00 -04:00 |
|
Mathias Vorreiter Pedersen
|
27c4408431
|
Merge pull request #12997 from MathiasVP/sync-product-flow-across-calls
C++: Synchronize product dataflow paths on function entry points
|
2023-05-04 17:37:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
5a5240dbf9
|
Merge pull request #12865 from rdmarsh2/rdmarsh2/range-analysis-ast-wrapper
C++: AST-based wrapper for new range analysis
|
2023-05-04 16:10:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
26206a85dc
|
C++: Properly handle setter-related flow in IPA injector.
|
2023-05-04 14:00:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
f94eb74a7b
|
C++: Move 'rankedPhiInput' to the 'RangeUtils' module and use it in 'RangeAnalysisStage.qll'.
|
2023-05-04 12:20:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3d706d9ab
|
C++: Fix accidental cartesian product.
|
2023-05-04 09:59:16 +01:00 |
|
Jeroen Ketema
|
0b2f5609d6
|
Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached
C++: Handle nonreturning functions in IR generation
|
2023-05-03 23:20:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
77001a070b
|
Merge branch 'main' into identity-consistency-check
|
2023-05-03 22:01:06 +01:00 |
|
Robert Marsh
|
a2503bd7d5
|
C++: update change note
|
2023-05-03 16:28:09 -04:00 |
|
Mathias Vorreiter Pedersen
|
2af48e2536
|
Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions
C++: Barrier guards API for indirect expressions
|
2023-05-03 18:14:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
2d98fb7cf1
|
C++: Add a parameter-based version of 'getAnIndirectBarrierNode'.
|
2023-05-03 17:06:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d6fdc674b
|
C++: Also account for setter-related flow and jump steps.
|
2023-05-03 15:47:12 +01:00 |
|
Ian Lynagh
|
b56b843d13
|
Merge pull request #12987 from github/post-release-prep/codeql-cli-2.13.1
Post-release preparation for codeql-cli-2.13.1
|
2023-05-03 13:12:10 +01:00 |
|
Kasper Svendsen
|
c9fba18c48
|
C++: Make implicit this receivers explicit
|
2023-05-03 10:31:01 +02:00 |
|
Robert Marsh
|
df1a7b8b83
|
C++: change note
|
2023-05-02 16:19:00 -04:00 |
|
Robert Marsh
|
8c992fb437
|
C++: added change note
|
2023-05-02 16:13:33 -04:00 |
|
Mathias Vorreiter Pedersen
|
7fa6894aaf
|
C++: Ensure that product dataflow library enters/leaves through the same call.
|
2023-05-02 17:13:36 +01:00 |
|
Robert Marsh
|
2bfa8b661b
|
C++: a some QLDoc to new range analysis wrapper
|
2023-05-02 09:43:25 -04:00 |
|
Anders Schack-Mulligen
|
353d5f82a6
|
Merge pull request #12984 from aschackmull/dataflow/instanceof-node
Dataflow: Replace "extends Node" with "instanceof Node".
|
2023-05-02 13:52:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
ab67103e6e
|
Merge pull request #12966 from MathiasVP/dataflow-for-static-vars
C++: Dataflow for static local variables
|
2023-05-02 11:52:43 +01:00 |
|
github-actions[bot]
|
18d4af994d
|
Post-release preparation for codeql-cli-2.13.1
|
2023-05-02 10:50:20 +00:00 |
|