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 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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

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

      michaelnebel

      committed
      22c2522View commit details

      Copy full SHA for 22c2522

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

    • Java: Use the shared model generator implementation.

      michaelnebel

      committed
      2033818View commit details

      Copy full SHA for 2033818

      View code at this pointBrowse repository at this point

    • Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements

      Show description for 4a9e3ee
      michaelnebel

      authored
      4a9e3eeView commit details

      Copy full SHA for 4a9e3ee

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

    • C#/Java: Address review comments.

      michaelnebel

      committed
      68165bbView commit details

      Copy full SHA for 68165bb

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

    • Java: Deprecate RefType.nestedName(), and add RefType.getNestedName()

      igfoo

      committed
      41ed6e6View commit details

      Copy full SHA for 41ed6e6

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

    • Java: Only keep the best generated model in terms of taint/value.

      michaelnebel

      committed
      9149a17View commit details

      Copy full SHA for 9149a17

      View code at this pointBrowse repository at this point

    • Java: Improve content based model generation.

      michaelnebel

      committed
      d2c98c8View commit details

      Copy full SHA for d2c98c8

      View code at this pointBrowse repository at this point