Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

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

Commits on Jan 16, 2025

• Dataflow: Fix poor join-order

  aschackmull

  committed
  20af2d5

  Copy full SHA for 20af2d5

• Dataflow: Slight join improvement.

  aschackmull

  committed
  3ffc616

  Copy full SHA for 3ffc616

• Dataflow: Simplify the call-edge join in reverse through-flow.

  aschackmull

  committed
  f310780

  Copy full SHA for f310780

• Dataflow: Remove outdated comment.

  aschackmull

  committed
  4223971

  Copy full SHA for 4223971

• Dataflow: Fix a poor join-order.

  aschackmull

  committed
  f11ae49

  Copy full SHA for f11ae49

Commits on Jan 13, 2025

• Merge pull request #17787 from yoff/shared/add-location-to-typetracking-nodes

  Show description for 599411b
  yoff

  authored
  599411b

  Copy full SHA for 599411b

Commits on Jan 10, 2025

• Merge pull request #18298 from hvitved/rust/mad-source-sink

  Show description for 303b11e
  hvitved

  authored
  303b11e

  Copy full SHA for 303b11e

Commits on Jan 9, 2025

• Data flow: Cache `known{Source,Sink}Model`

  hvitved

  committed
  653d122

  Copy full SHA for 653d122

• Data flow: Fix a bad join order

  hvitved

  committed
  91b6a65

  Copy full SHA for 91b6a65

• Rust: Implement `known{Source,Sink}Model`

  hvitved

  committed
  a7bb952

  Copy full SHA for a7bb952

Commits on Jan 8, 2025

• Merge pull request #18315 from hvitved/ruby/dataflow-types

  Show description for 9e5a814
  hvitved

  authored
  9e5a814

  Copy full SHA for 9e5a814

• Rename `{Source,Sink}Node` to `{Source,Sink}Element`

  hvitved

  committed
  868caf9

  Copy full SHA for 868caf9

• Merge branch 'main' into shared/add-location-to-typetracking-nodes

  yoff

  authored
  aca5a51

  Copy full SHA for aca5a51