Commits

Commit history

1. Commits on Jul 16, 2026

   • Java: Lift models to source (unbound) declarations.

     michaelnebel

     committed
     0b365b3View commit details

     Copy full SHA for 0b365b3

     View code at this pointBrowse repository at this point
2. Commits on Feb 16, 2026

   • Replace "javax" with `javaxOrJakarta()`

     Show description for a5e6f6d
     owen-mc

     committed
     a5e6f6dView commit details

     Copy full SHA for a5e6f6d

     View code at this pointBrowse repository at this point
3. Commits on Jan 26, 2026

   • Java: Adapt to changes in `FlowSummaryImpl`

     Show description for 7024b07
     hvitved

     committed
     7024b07View commit details

     Copy full SHA for 7024b07

     View code at this pointBrowse repository at this point
4. Commits on Dec 3, 2025

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

     hvitved

     committed
     3ba256aView commit details

     Copy full SHA for 3ba256a

     View code at this pointBrowse repository at this point
5. Commits on Nov 26, 2025

   • Remove trailing periods from @name metadata in query files

     Show description for caf6b95
     felicitymay

     committed
     caf6b95View commit details

     Copy full SHA for caf6b95

     View code at this pointBrowse repository at this point
6. Commits on Nov 12, 2025

   • Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.

     aschackmull

     committed
     06df5c0View commit details

     Copy full SHA for 06df5c0

     View code at this pointBrowse repository at this point

   • Java: Replace getAFirstUse with top-level predicate.

     aschackmull

     committed
     07e6356View commit details

     Copy full SHA for 07e6356

     View code at this pointBrowse repository at this point
7. Commits on Sep 1, 2025

   • Java: Fix some Ql4Ql violations.

     michaelnebel

     committed
     77113b2View commit details

     Copy full SHA for 77113b2

     View code at this pointBrowse repository at this point
8. Commits on May 14, 2025

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

     Show description for e903d76
     MathiasVP

     authored
     e903d76View commit details

     Copy full SHA for e903d76

     View code at this pointBrowse repository at this point
9. Commits on May 13, 2025

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

     

     michaelnebel

     authored and

     MathiasVP

     committed
     ee83ca9View commit details

     Copy full SHA for ee83ca9

     View code at this pointBrowse repository at this point
10. Commits on May 2, 2025

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

      MathiasVP

      committed
      bce5f25View commit details

      Copy full SHA for bce5f25

      View code at this pointBrowse repository at this point

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

      MathiasVP

      committed
      4d2f2b8View commit details

      Copy full SHA for 4d2f2b8

      View code at this pointBrowse repository at this point

    • Shared: Remove the language-specific model generator scripts

      paldepind

      committed
      c6d95ceView commit details

      Copy full SHA for c6d95ce

      View code at this pointBrowse repository at this point

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

      MathiasVP

      committed
      d5bc95dView commit details

      Copy full SHA for d5bc95d

      View code at this pointBrowse repository at this point
11. Commits on Apr 30, 2025

    • Java: Fixup queries and accept test changes.

      MathiasVP

      committed
      07641e4View commit details

      Copy full SHA for 07641e4

      View code at this pointBrowse repository at this point
12. Commits on Apr 29, 2025

    • Shared: Sprinkle some predicate defaults and clean up.

      michaelnebel

      committed
      c9d01bcView commit details

      Copy full SHA for c9d01bc

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      2535055View commit details

      Copy full SHA for 2535055

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      b5c596bView commit details

      Copy full SHA for b5c596b

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      89fd9a4View commit details

      Copy full SHA for 89fd9a4

      View code at this pointBrowse repository at this point
13. 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
      2a0097eView commit details

      Copy full SHA for 2a0097e

      View code at this pointBrowse repository at this point
14. Commits on Apr 10, 2025

    • Java: Fixup MaD input.

      MathiasVP

      committed
      b6c6587View commit details

      Copy full SHA for b6c6587

      View code at this pointBrowse repository at this point
15. Commits on Jan 29, 2025

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

      paldepind

      committed
      7055095View commit details

      Copy full SHA for 7055095

      View code at this pointBrowse repository at this point
16. Commits on Jan 28, 2025

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

      paldepind

      committed
      13e0829View commit details

      Copy full SHA for 13e0829

      View code at this pointBrowse repository at this point
17. Commits on Dec 12, 2024

    • Also move the postprocessing queries to the library pack.

      michaelnebel

      committed
      0bfc1b6View commit details

      Copy full SHA for 0bfc1b6

      View code at this pointBrowse repository at this point

    • Move modules to the library packs.

      michaelnebel

      committed
      941b0abView commit details

      Copy full SHA for 941b0ab

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      0a1d2d0View commit details

      Copy full SHA for 0a1d2d0

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      91cfb30View commit details

      Copy full SHA for 91cfb30

      View code at this pointBrowse repository at this point
18. Commits on Nov 6, 2024

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

      michaelnebel

      committed
      55cfbccView commit details

      Copy full SHA for 55cfbcc

      View code at this pointBrowse repository at this point

    • Java: Make language specific modifications.

      michaelnebel

      committed
      a86cd18View commit details

      Copy full SHA for a86cd18

      View code at this pointBrowse repository at this point
19. Commits on Oct 1, 2024

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

      Show description for 6081ba5
      aschackmull

      authored
      6081ba5View commit details

      Copy full SHA for 6081ba5

      View code at this pointBrowse repository at this point
20. Commits on Sep 30, 2024

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

      aschackmull

      committed
      ec0bd44View commit details

      Copy full SHA for ec0bd44

      View code at this pointBrowse repository at this point
21. Commits on Sep 27, 2024

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

      michaelnebel

      committed
      80497f5View commit details

      Copy full SHA for 80497f5

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      8310faaView commit details

      Copy full SHA for 8310faa

      View code at this pointBrowse repository at this point
22. Commits on Sep 24, 2024

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

      michaelnebel

      committed
      e608575View commit details

      Copy full SHA for e608575

      View code at this pointBrowse repository at this point

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

      michaelnebel

      committed
      fd45d2dView commit details

      Copy full SHA for fd45d2d

      View code at this pointBrowse repository at this point