Commits

History for

onredsun82-rust-analyzer-update

Commits on Aug 13, 2026

Data flow: Remove unused variable
hvitved
committed
aa48658
Update shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

hvitved
and
aschackmull
authored
ccbab33

Commits on Aug 12, 2026

Data flow: Earlier pruning based on `accessPathLimit`
hvitved
committed
6b3afee

Commits on Jun 26, 2026

Shared: Fix grammar.
MathiasVP
committed
caef09b

Commits on Jun 25, 2026

Shared: Remove useless existential.
MathiasVP
committed
84a3435

Commits on Jun 23, 2026

Shared: Support "reverse flow" summaries. That is, summaries starting from the return value of a call.
MathiasVP
committed
bb2ec12

Commits on Apr 23, 2026

Shared: Remove deprecated code
hvitved
committed
90ae086

Commits on Apr 14, 2026

Merge pull request #21584 from owen-mc/shared/update-mad-comments
owen-mc
authored
7458674

Commits on Apr 9, 2026

Merge pull request #21592 from hvitved/dataflow/source-call-context-type-flow
hvitved
authored
33cc887
Fix CP in `typeFlowParamType`
hvitved
committed
d704b75

Commits on Apr 7, 2026

Shared: Respond to review comments.
MathiasVP
committed
e06294b
Address review comments
hvitved
committed
0d4524f
Data flow: Add hook for preventing lambda dispatch in source call contexts
hvitved
committed
1e1a873

Commits on Apr 2, 2026

Shared: Also expose dataflow stage 1's forward flow predicate.
MathiasVP
committed
4d8b782

Commits on Mar 27, 2026

Replace `branch` with `acceptingValue`
owen-mc
committed
37aac05
Replace `acceptingvalue` with `acceptingValue`
owen-mc
committed
a7fdc4b

Commits on Mar 20, 2026

Add `FlowBarrierGuard` to FlowBarrier.qll
owen-mc
committed
7d65bac
Shared: Add `barrierElement` in FlowSummaryImpl.qll
owen-mc
committed
f455054

Commits on Mar 4, 2026

Commits on Jan 29, 2026

Add missing QLDocs
owen-mc
committed
8b936c5

Commits on Jan 26, 2026

Commits on Dec 12, 2025

Shared: Prefer source/sink models with manual provenance over generated
hvitved
committed
c4a8e9d

Commits on Dec 11, 2025

Java: Add support for boolean MaD barrier guards.
aschackmull
committed
8da65ec
Java: Basic support for pass-through barrier models.
aschackmull
committed
d24b0ff

Commits on Dec 4, 2025

Merge pull request #20961 from aschackmull/dataflow/flowfrom
aschackmull
authored
607ad1f

Commits on Dec 3, 2025

Commits on Dec 1, 2025

Shared: Improvements to content-sensitive model generation
hvitved
committed
666855d

Commits on Nov 26, 2025

Add QLDoc explaining `reverseRead`
owen-mc
committed
9481fc9
Shared: allow exclusions to `localFlowIsLocal`
owen-mc
committed
a2e6848

Commits on Oct 29, 2025

Dataflow: Minor drive-by qldoc addition.
aschackmull
committed
4ea90e0

Commits on Oct 28, 2025

Shared: update qldoc
d10c
committed
462d8c5

Commits on Oct 20, 2025

Data flow: Add various debug predicates
hvitved
committed
f71cfac