Taus
86020d9eed
Python: Add change note
2026-04-10 14:43:30 +00:00
Taus
6b7d47ee7d
Python: Add QL test for the new syntax
2026-04-10 14:39:13 +00:00
Taus
1ddfed6b6b
Python: Add QL support for lazy imports
...
Adds a new `isLazy` predicate to the relevant classes, and adds the
relevant dbscheme (and up/downgrade) changes. On upgrades we do nothing,
and on downgrades we remove the `is_lazy` bits.
2026-04-10 14:25:08 +00:00
Taus
fe94828fe4
Python: Add overlay annotations to AST template
...
Otherwise these will disappear every time we regenerate the AST.
2026-04-10 14:23:29 +00:00
Taus
2c79f9d828
Python: Regenerate parser files
2026-04-10 13:50:59 +00:00
Taus
ad4018f399
Python: Add parser support for lazy imports
...
As defined in PEP-810. We implement this in much the same way as how we
handle `async` annotations currently. The relevant nodes get an
`is_lazy` field that defaults to being false.
2026-04-10 13:50:43 +00:00
Anders Schack-Mulligen
d5c9fd1085
C#/Cfg: A bit more qldoc.
2026-04-10 15:47:25 +02:00
Anders Schack-Mulligen
452913f336
C#: Improve perf of UnsynchronizedStaticAccess.ql.
2026-04-10 15:47:25 +02:00
Anders Schack-Mulligen
aaf9bb2e9e
C#: Accept fewer CallContextSpecificCall due to no splitting.
2026-04-10 15:47:24 +02:00
Anders Schack-Mulligen
2d5a1840f4
C#: Accept new CFG in tests.
2026-04-10 15:47:24 +02:00
Anders Schack-Mulligen
bbd403dbc3
C#: Rework DataFlowCallable-to-cfg relation in terms of basic blocks for performance.
2026-04-10 15:47:23 +02:00
Anders Schack-Mulligen
bfbd0f77e8
C#: Fix some bad join orders.
2026-04-10 15:47:23 +02:00
Anders Schack-Mulligen
1d9c0ae388
C#: Fix perf.
2026-04-10 15:47:22 +02:00
Anders Schack-Mulligen
371bc3012e
C#: CFG and data flow nodes now exist for LHSs.
2026-04-10 15:47:22 +02:00
Anders Schack-Mulligen
a7d4b00d06
C#: Accept changed location for phi nodes.
2026-04-10 15:47:21 +02:00
Anders Schack-Mulligen
a69581966b
C#: Accept CFG changes for "first" relation.
2026-04-10 15:47:21 +02:00
Anders Schack-Mulligen
a997d9f80c
C#: Accept fixed consistency check.
2026-04-10 15:47:20 +02:00
Anders Schack-Mulligen
773881f333
C#: Accept data flow inconsistency check for read+write calls.
2026-04-10 15:47:20 +02:00
Anders Schack-Mulligen
88256eeee8
C#: GuardedExpr no longer contains expressions guarded solely by disjunctions.
2026-04-10 15:47:19 +02:00
Anders Schack-Mulligen
e90243c348
C#: Accept irrelevant changes.
...
The additions are unintentional, but the fault lies with the shared
SignAnalysis code. The removals are due to compile-time constant
initializers no longer having CFG nodes.
2026-04-10 15:47:19 +02:00
Anders Schack-Mulligen
49cc931f92
C#: Compile-time constants no longer have CFG nodes.
2026-04-10 15:47:18 +02:00
Anders Schack-Mulligen
5d589093cf
C#: Accept CFG changes.
2026-04-10 15:47:18 +02:00
Anders Schack-Mulligen
a5c99f9693
C#: Accept harmless CFG changes.
2026-04-10 15:47:17 +02:00
Anders Schack-Mulligen
6010640cea
C#: Accept bugfix.
2026-04-10 15:47:17 +02:00
Anders Schack-Mulligen
1a6670a6bb
C#: Phi nodes are not expected to have associated Elements.
2026-04-10 15:47:16 +02:00
Anders Schack-Mulligen
43fe411585
C#: Accept SSA location changes.
2026-04-10 15:47:16 +02:00
Anders Schack-Mulligen
093eb57ad0
C#: Fix CFG position of property setter calls.
2026-04-10 15:47:15 +02:00
Anders Schack-Mulligen
ac88b73b65
C#: Bugfix in enclosing callable.
2026-04-10 15:47:15 +02:00
Anders Schack-Mulligen
700d56f3ab
C#: Fix UncheckedCastInEquals.
2026-04-10 15:47:14 +02:00
Anders Schack-Mulligen
b1790335c0
C#: Fix test.
2026-04-10 15:47:14 +02:00
Anders Schack-Mulligen
ff978d1a8c
C#: Replace CFG.
2026-04-10 15:47:13 +02:00
Anders Schack-Mulligen
9cf9a36d0d
C#: Rename ControlFlow::BasicBlock to BasicBlock.
2026-04-10 15:47:12 +02:00
Anders Schack-Mulligen
13a4141cc6
C#: Rename remaining references to ControlFlow::Nodes.
2026-04-10 15:47:12 +02:00
Anders Schack-Mulligen
b878ae3f21
C#: Update some references to ControlFlow::Nodes.
2026-04-10 15:47:11 +02:00
Anders Schack-Mulligen
03f6bdbdd2
C#: Update some references in preparation for CFG swap.
2026-04-10 15:47:11 +02:00
Anders Schack-Mulligen
b85b02abb4
Cfg: Add dominance predicates to shared ControlFlowNode.
2026-04-10 15:47:10 +02:00
Anders Schack-Mulligen
61976e3ef0
C#: Rename ControlFlow::Node to ControlFlowNode.
2026-04-10 15:47:10 +02:00
Anders Schack-Mulligen
88aaff863b
Cfg: Extend consistency checks.
2026-04-10 15:47:09 +02:00
Anders Schack-Mulligen
6ffed8523c
Cfg/Java: Move InstanceOfExpr CFG into shared lib.
2026-04-10 15:47:09 +02:00
Anders Schack-Mulligen
035b83c0e4
C#: Introduce ControlFlowElementOrCallable.
2026-04-10 15:47:08 +02:00
Anders Schack-Mulligen
0b6c416fd4
Cfg: Support short-circuiting compound assignments.
2026-04-10 15:47:08 +02:00
Anders Schack-Mulligen
a53cffc121
Cfg: Support GotoStmt.
2026-04-10 15:47:07 +02:00
Anders Schack-Mulligen
93a594e9c0
Cfg: Support Throw expressions.
2026-04-10 15:47:07 +02:00
Taus
6078df524b
Merge pull request #21683 from github/tausbn/python-add-extractor-pack-build-script
...
Python: Add `create-extractor-pack.sh` for Python
2026-04-10 15:16:54 +02:00
Jeroen Ketema
888d392040
Merge pull request #21636 from jketema/actions-perm
...
Actions: Correctly check reusable workflow permissions in `actions/missing-workflow-permissions`
2026-04-10 15:02:36 +02:00
Geoffrey White
b9226a359a
Merge pull request #21633 from geoffw0/intmultlong2
...
C++: Upgrade cpp/integer-multiplication-cast-to-long to high precision
2026-04-10 14:02:34 +01:00
Geoffrey White
814c0ae7a8
Merge pull request #21632 from geoffw0/wrongtype2
...
C++: Upgrade cpp/wrong-type-format-argument to high precision
2026-04-10 14:01:07 +01:00
Geoffrey White
9ea33bc5bb
Merge pull request #21553 from geoffw0/implicitfn
...
C++: Disable cpp/implicit-function-declaration on build mode none databases
2026-04-10 14:00:06 +01:00
Geoffrey White
bcf612e6fe
Merge branch 'main' into compwidertype2
2026-04-10 13:58:35 +01:00
Anders Schack-Mulligen
dfa8d72dd3
Merge pull request #21685 from aschackmull/csharp/unbind-new
...
C#: Replace old-style unbind with pragmas.
2026-04-10 13:55:01 +02:00
