Commits

Breadcrumbs

History for

on3b9eba2

User selector

All users

All time

Commit History

Commits on Feb 16, 2026

• Replace "javax" with `javaxOrJakarta()`

  Show description for a5e6f6d
  owen-mc

  committed
  a5e6f6d

  Copy full SHA for a5e6f6d

Commits on Jan 26, 2026

• Java: Adapt to changes in `FlowSummaryImpl`

  Show description for 7024b07
  hvitved

  committed
  7024b07

  Copy full SHA for 7024b07

Commits on Dec 3, 2025

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

  hvitved

  committed
  3ba256a

  Copy full SHA for 3ba256a

Commits on Nov 26, 2025

• Remove trailing periods from @name metadata in query files

  Show description for caf6b95
  felicitymay

  committed
  caf6b95

  Copy full SHA for caf6b95

Commits on Nov 12, 2025

• Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.

  aschackmull

  committed
  06df5c0

  Copy full SHA for 06df5c0

• Java: Replace getAFirstUse with top-level predicate.

  aschackmull

  committed
  07e6356

  Copy full SHA for 07e6356

Commits on Sep 1, 2025

• Java: Fix some Ql4Ql violations.

  michaelnebel

  committed
  77113b2

  Copy full SHA for 77113b2

Commits on May 14, 2025

• Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2

  Show description for e903d76
  MathiasVP

  authored
  e903d76

  Copy full SHA for e903d76

Commits on May 13, 2025

• Java: Update model generator implementation and test expected output.

  

  michaelnebel

  authored and

  MathiasVP

  committed
  ee83ca9

  Copy full SHA for ee83ca9

Commits on May 2, 2025

• C++/C#/Java/Rust: Fixup tests.

  MathiasVP

  committed
  bce5f25

  Copy full SHA for bce5f25

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

  MathiasVP

  committed
  4d2f2b8

  Copy full SHA for 4d2f2b8

• Shared: Remove the language-specific model generator scripts

  paldepind

  committed
  c6d95ce

  Copy full SHA for c6d95ce

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

  MathiasVP

  committed
  d5bc95d

  Copy full SHA for d5bc95d

Commits on Apr 30, 2025

• Java: Fixup queries and accept test changes.

  MathiasVP

  committed
  07641e4

  Copy full SHA for 07641e4

Commits on Apr 29, 2025

• Shared: Sprinkle some predicate defaults and clean up.

  michaelnebel

  committed
  c9d01bc

  Copy full SHA for c9d01bc

• Java: Re-factor implementation to use the new model generator interface.

  michaelnebel

  committed
  2535055

  Copy full SHA for 2535055

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

  michaelnebel

  committed
  b5c596b

  Copy full SHA for b5c596b

• C#/Java/Rust: Change the tag for the model generator debugging queries.

  michaelnebel

  committed
  89fd9a4

  Copy full SHA for 89fd9a4

Commits on Apr 25, 2025

• C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.

  michaelnebel

  committed
  2a0097e

  Copy full SHA for 2a0097e

Commits on Apr 10, 2025

• Java: Fixup MaD input.

  MathiasVP

  committed
  b6c6587

  Copy full SHA for b6c6587

Commits on Jan 29, 2025

• Java, C#: Ensure variable is used in all disjuncts

  paldepind

  committed
  7055095

  Copy full SHA for 7055095

Commits on Jan 28, 2025

• Shared: Generalize the number of columns in a generated MaD row

  paldepind

  committed
  13e0829

  Copy full SHA for 13e0829

Commits on Dec 12, 2024

• Also move the postprocessing queries to the library pack.

  michaelnebel

  committed
  0bfc1b6

  Copy full SHA for 0bfc1b6

• Move modules to the library packs.

  michaelnebel

  committed
  941b0ab

  Copy full SHA for 941b0ab

• Java: Update all test util paths to point to the new location.

  michaelnebel

  committed
  0a1d2d0

  Copy full SHA for 0a1d2d0

• Java: Move test utilities to the java query pack.

  michaelnebel

  committed
  91cfb30

  Copy full SHA for 91cfb30

Commits on Nov 6, 2024

• C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.

  michaelnebel

  committed
  55cfbcc

  Copy full SHA for 55cfbcc

• Java: Make language specific modifications.

  michaelnebel

  committed
  a86cd18

  Copy full SHA for a86cd18

Commits on Oct 1, 2024

• Merge pull request #17604 from aschackmull/java/neutral-overrides

  Show description for 6081ba5
  aschackmull

  authored
  6081ba5

  Copy full SHA for 6081ba5

Commits on Sep 30, 2024

• Java: Add overrides to the interpretation of neutral MaD models.

  aschackmull

  committed
  ec0bd44

  Copy full SHA for ec0bd44

Commits on Sep 27, 2024

• Shared: Only make unlifted models in case the API itself is relevant.

  michaelnebel

  committed
  80497f5

  Copy full SHA for 80497f5

• C#/Java: Add a query that uses both content based and non-content based model generation.

  michaelnebel

  committed
  8310faa

  Copy full SHA for 8310faa

Commits on Sep 24, 2024

• Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.

  michaelnebel

  committed
  e608575

  Copy full SHA for e608575

• Shared: Move the model generator implementation to an internal folder.

  michaelnebel

  committed
  fd45d2d

  Copy full SHA for fd45d2d

• Shared: Make a ContentSensitive module with predicates and classes related to content flow.

  michaelnebel

  committed
  22c2522

  Copy full SHA for 22c2522