Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jul 28, 2025

• SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

  aschackmull

  committed
  3b8234e

  Copy full SHA for 3b8234e

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

• Merge pull request #19569 from MathiasVP/fix-return-value-surces-in-mad

  Show description for 0822ded
  MathiasVP

  authored
  0822ded

  Copy full SHA for 0822ded

• 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

• SSA: Distinguish between has and controls branch edge.

  aschackmull

  committed
  1d30103

  Copy full SHA for 1d30103

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 Apr 24, 2025

• Dataflow: Make default field flow branch limit configurable per language

  jketema

  committed
  46b21af

  Copy full SHA for 46b21af

Commits on Mar 31, 2025

• VariableCapture: Replace phi-read reference with SSA data flow integration module.

  aschackmull

  committed
  ca6444c

  Copy full SHA for ca6444c

Commits on Feb 28, 2025

• Data flow: Improve doc for defaultImplicitTaintRead.

  geoffw0

  committed
  1b35c0b

  Copy full SHA for 1b35c0b

Commits on Feb 24, 2025

• Fix typo.

  geoffw0

  committed
  24411b6

  Copy full SHA for 24411b6

Commits on Feb 10, 2025

• SSA: Remove the need for ExitBasicBlock in SSA.

  aschackmull

  committed
  0b52709

  Copy full SHA for 0b52709

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

• Dataflow: Remove unused predicate.

  aschackmull

  committed
  e55130e

  Copy full SHA for e55130e

• Dataflow: Avoid duplication in fwdFlow1 disjunction.

  aschackmull

  committed
  2597ef6

  Copy full SHA for 2597ef6

• Dataflow: Rename two predicates to remove need for alias defs.

  aschackmull

  committed
  b2d42ee

  Copy full SHA for b2d42ee

• Dataflow: Minor cleanup.

  aschackmull

  committed
  e0cb70a

  Copy full SHA for e0cb70a

• Dataflow: Use (node,state) pair as node type in stage 2+.

  aschackmull

  committed
  b4197b0

  Copy full SHA for b4197b0

• Dataflow: Prepare a (node,state) pair type.

  aschackmull

  committed
  1166aa6

  Copy full SHA for 1166aa6

• Dataflow: Parameterise stages 2-6 over the node type.

  aschackmull

  committed
  1799bf9

  Copy full SHA for 1799bf9

• Dataflow: Move definition of toNormalSinkNode.

  aschackmull

  committed
  d5759a7

  Copy full SHA for d5759a7

• Dataflow: Remove superfluous constraint.

  aschackmull

  committed
  3cbf8e5

  Copy full SHA for 3cbf8e5

• Dataflow: Move Stage1 to its own file. Stick flow exploration in there as well.

  aschackmull

  committed
  04db61a

  Copy full SHA for 04db61a

• Dataflow: Rename signature to preempt name clash.

  aschackmull

  committed
  02a81a0

  Copy full SHA for 02a81a0

Commits on Jan 27, 2025

• all: use my script to delete outdated deprecations

  erik-krogh

  committed
  34f5f61

  Copy full SHA for 34f5f61

Commits on Jan 23, 2025

• Rust: Translate more MaD IDs in tests

  hvitved

  committed
  33e07ed

  Copy full SHA for 33e07ed

Commits on Jan 22, 2025

• Merge pull request #18340 from jbj/diff-informed-getASelectedLocation

  Show description for 773a98a
  jbj

  authored
  773a98a

  Copy full SHA for 773a98a

Commits on Jan 20, 2025

• Merge pull request #18515 from aschackmull/dataflow/simplify-rev-throughflow

  Show description for 28d0d65
  aschackmull

  authored
  28d0d65

  Copy full SHA for 28d0d65

Pagination

Previous

Next