Commits

Breadcrumbs

History for

onyoff/python-use-shared-cfg-for-dataflow

User selector

All users

All time

Commit History

Commits on Apr 30, 2026

• Address review comments on path-injection[read] sub-kind

  Show description for 936f0c6
  MarkLee131

  committed
  936f0c6

  Copy full SHA for 936f0c6

Commits on Apr 20, 2026

• Java: split read-only path sinks into path-injection[read]

  Show description for c336a15
  MarkLee131

  committed
  c336a15

  Copy full SHA for c336a15

Commits on Apr 14, 2026

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

  Show description for 7458674
  owen-mc

  authored
  7458674

  Copy full SHA for 7458674

Commits on Mar 27, 2026

• Replace `acceptingvalue` with `acceptingValue`

  owen-mc

  committed
  a7fdc4b

  Copy full SHA for a7fdc4b

Commits on Mar 26, 2026

• Python: Replace type tracking with global data-flow

  Show description for c439fc5
  tausbn

  committed
  c439fc5

  Copy full SHA for c439fc5

Commits on Jan 29, 2026

• python: Add query for prompt injection

  Show description for e7a0fc7
  yoff

  committed
  e7a0fc7

  Copy full SHA for e7a0fc7

Commits on Jan 13, 2026

• Shared, rust: Add option to disable reads steps as taint steps in model generator

  paldepind

  committed
  8bfce6b

  Copy full SHA for 8bfce6b

Commits on Dec 12, 2025

• MaD: Use "namespace" instead "package" in shared code.

  aschackmull

  committed
  64a48e4

  Copy full SHA for 64a48e4

• MaD: Rename file.

  aschackmull

  committed
  7f8d077

  Copy full SHA for 7f8d077

• Go: Use shared modelCoverage.

  aschackmull

  committed
  8564b4e

  Copy full SHA for 8564b4e

• Go: Move Go package-grouping support into shared lib.

  aschackmull

  committed
  5bddc8d

  Copy full SHA for 5bddc8d

• C++: Use shared model coverage code.

  aschackmull

  committed
  e262438

  Copy full SHA for e262438

• Java/C++: Thread additional models through the shared lib.

  aschackmull

  committed
  0725251

  Copy full SHA for 0725251

• Java/C#: Share model coverage code.

  aschackmull

  committed
  3b334ea

  Copy full SHA for 3b334ea

• Java: Move interpretModelForTest into shared code.

  aschackmull

  committed
  cb578e3

  Copy full SHA for cb578e3

Commits on Dec 11, 2025

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

  aschackmull

  committed
  d24b0ff

  Copy full SHA for d24b0ff

Commits on Dec 3, 2025

• C#/Java: Go back to access path limit 2

  hvitved

  committed
  3ba256a

  Copy full SHA for 3ba256a

Commits on Dec 1, 2025

• Shared: Improvements to content-sensitive model generation

  hvitved

  committed
  666855d

  Copy full SHA for 666855d

Commits on Sep 5, 2025

• Rename `cors-misconfiguration` to `cors-origin`.

  Napalys

  committed
  d8c4d6d

  Copy full SHA for d8c4d6d

Commits on Sep 4, 2025

• Replace complex wrapper classes with MaD

  Napalys

  committed
  4dac80a

  Copy full SHA for 4dac80a

Commits on Jul 16, 2025

• Update which sink kinds are shared between languages

  owen-mc

  committed
  ad60aff

  Copy full SHA for ad60aff

Commits on Jun 24, 2025

• Overlay: Add overlay annotations to Java & shared libraries

  kaspersv

  committed
  c207cfd

  Copy full SHA for c207cfd

Commits on May 13, 2025

• Shared: Adjust the printing of heuristic value summaries (and fix a minor issue with output printing in captureSink).

  

  michaelnebel

  authored and

  MathiasVP

  committed
  a94cffa

  Copy full SHA for a94cffa

• Shared: Avoid generating taint based heuristic summaries when a content sensitive summary can be generated.

  

  michaelnebel

  authored and

  MathiasVP

  committed
  6c9f248

  Copy full SHA for 6c9f248

Commits on May 8, 2025

• Shared: Fix QLDoc to make QL4QL happy.

  MathiasVP

  committed
  6437168

  Copy full SHA for 6437168

Commits on May 2, 2025

• Shared: Deduplicate flow summaries.

  MathiasVP

  committed
  37bc2bf

  Copy full SHA for 37bc2bf

• Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.

  MathiasVP

  committed
  4d2f2b8

  Copy full SHA for 4d2f2b8

• Shared: Rename 'asLiftedTaintModel' to 'asLiftedModel'.

  MathiasVP

  committed
  54f0eed

  Copy full SHA for 54f0eed

• Merge branch 'main' into generate-more-value-preserving-summaries-2

  MathiasVP

  committed
  d5bc95d

  Copy full SHA for d5bc95d

Commits on Apr 30, 2025

• Shared: Generate value-preserving summaries when possible.

  MathiasVP

  committed
  607a1e4

  Copy full SHA for 607a1e4

Commits on Apr 29, 2025

• Shared: Sprinkle some predicate defaults and clean up.

  michaelnebel

  committed
  c9d01bc

  Copy full SHA for c9d01bc

• Shared: Make the summary, source and sink model generation a parameterized module.

  michaelnebel

  committed
  bb6530f

  Copy full SHA for bb6530f

• Shared: Split model printing of summaries and sources/sinks into separate param modules.

  michaelnebel

  committed
  b5c596b

  Copy full SHA for b5c596b

Commits on Apr 28, 2025

• Shared: Use 'isSink/1' in 'PropagateFlowConfig'.

  MathiasVP

  committed
  b91a2cc

  Copy full SHA for b91a2cc

Commits on Apr 25, 2025

• Shared: Address review comments.

  michaelnebel

  committed
  f6135d5

  Copy full SHA for f6135d5