Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 4, 2026

• Address review comments

  hvitved

  committed
  db491fc

  Copy full SHA for db491fc

• Data flow: Add `FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext)` flow feature

  hvitved

  committed
  189c160

  Copy full SHA for 189c160

Commits on Jan 26, 2026

• Shared: Shadow `hasManualModel` in `RelevantSummarizedCallable`

  hvitved

  committed
  df09f02

  Copy full SHA for df09f02

• Shared: Provenance-based filtering of flow summaries

  hvitved

  committed
  4ce04e4

  Copy full SHA for 4ce04e4

Commits on Dec 12, 2025

• Shared: Prefer source/sink models with manual provenance over generated

  hvitved

  committed
  c4a8e9d

  Copy full SHA for c4a8e9d

Commits on Dec 11, 2025

• Java: Add support for boolean MaD barrier guards.

  aschackmull

  committed
  8da65ec

  Copy full SHA for 8da65ec

• Java: Basic support for pass-through barrier models.

  aschackmull

  committed
  d24b0ff

  Copy full SHA for d24b0ff

Commits on Dec 4, 2025

• Merge pull request #20961 from aschackmull/dataflow/flowfrom

  Show description for 607ad1f
  aschackmull

  authored
  607ad1f

  Copy full SHA for 607ad1f

Commits on Dec 3, 2025

• Merge pull request #20915 from hvitved/content-flow-ap-limit

  Show description for ca9d327
  hvitved

  authored
  ca9d327

  Copy full SHA for ca9d327

• Dataflow: Add flowFrom predicates to mirror flowTo.

  aschackmull

  committed
  4191b18

  Copy full SHA for 4191b18

Commits on Dec 1, 2025

• Shared: Improvements to content-sensitive model generation

  hvitved

  committed
  666855d

  Copy full SHA for 666855d

Commits on Nov 26, 2025

• Add QLDoc explaining `reverseRead`

  owen-mc

  committed
  9481fc9

  Copy full SHA for 9481fc9

• Shared: allow exclusions to `localFlowIsLocal`

  owen-mc

  committed
  a2e6848

  Copy full SHA for a2e6848

Commits on Oct 29, 2025

• Dataflow: Minor drive-by qldoc addition.

  aschackmull

  committed
  4ea90e0

  Copy full SHA for 4ea90e0

Commits on Oct 20, 2025

• Data flow: Add various debug predicates

  hvitved

  committed
  f71cfac

  Copy full SHA for f71cfac

Commits on Oct 7, 2025

• DataFlow: Adress comments on overlay informed dataflow

  alexet

  committed
  193cd46

  Copy full SHA for 193cd46

• Daatflow: Fix bug

  alexet

  committed
  7a8d239

  Copy full SHA for 7a8d239

• DataFlow: Add code for merging base with overlay.

  alexet

  committed
  3c110f2

  Copy full SHA for 3c110f2

• DataFlow: Add code to do overlay informed dataflow.

  alexet

  committed
  c49e2ab

  Copy full SHA for c49e2ab

Commits on Sep 22, 2025

• Rust: Ensure singleton

  paldepind

  committed
  45b84ff

  Copy full SHA for 45b84ff

• Shared: Pass SummaryComponentStack to isSource and getSourceType

  paldepind

  committed
  265e8b3

  Copy full SHA for 265e8b3

Commits on Sep 11, 2025

• DataFlow: Permit local flow between post-update nodes

  asgerf

  committed
  5113087

  Copy full SHA for 5113087

Commits on Jun 24, 2025

• Java: Add manual overlay annotations

  kaspersv

  committed
  b6e56f2

  Copy full SHA for b6e56f2

• rename overlay[caller] to overlay[caller?]

  kaspersv

  committed
  81b677a

  Copy full SHA for 81b677a

• Overlay: Add overlay annotations to Java & shared libraries

  kaspersv

  committed
  c207cfd

  Copy full SHA for c207cfd

Commits on Jun 16, 2025

• Shared: Make sure `getMadRepresentation` is unique

  hvitved

  committed
  41f7138

  Copy full SHA for 41f7138

Commits on May 23, 2025

• Shared: Fix QLDoc.

  MathiasVP

  committed
  92e0b64

  Copy full SHA for 92e0b64

• Shared: Add a 'getReturnValueKind' predicate and use it in 'interpretOutput' and 'interpretInput' to handle non-standard return value input/output. This is needed to support C++'s ReturnValue[**] n…

  Show description for 69ea19c
  MathiasVP

  committed
  69ea19c

  Copy full SHA for 69ea19c

Commits on May 12, 2025

• DataFlow: Support a bare Argument[n] as a valid output stack

  asgerf

  committed
  891b2b8

  Copy full SHA for 891b2b8

• DataFlow: Fix typo in a comment

  asgerf

  committed
  8fab235

  Copy full SHA for 8fab235

Commits on May 1, 2025

• DataFlow: expose from FlowSummaries whether a summary is supported

  asgerf

  committed
  0fc1ae2

  Copy full SHA for 0fc1ae2

Commits on Feb 24, 2025

• Fix typo.

  geoffw0

  committed
  24411b6

  Copy full SHA for 24411b6

Commits on Feb 5, 2025

• Data flow: Add aliases for removing `DataFlow` prefixes

  hvitved

  committed
  0f52fe9

  Copy full SHA for 0f52fe9

Commits on Feb 4, 2025

• Dataflow: Fix join-order issue.

  aschackmull

  committed
  73d7250

  Copy full SHA for 73d7250

• Dataflow: Fixup some qldoc.

  aschackmull

  committed
  da34c0b

  Copy full SHA for da34c0b

Pagination

Previous

Next