Commits

Commit history

1. Commits on Aug 13, 2026

   • Merge pull request #22315 from github/copilot/fix-valueof-call-site-issue

     Show description for 9d247d6
     hvitved

     authored
     9d247d6View commit details

     Copy full SHA for 9d247d6

     View code at this pointBrowse repository at this point
2. Commits on Aug 11, 2026

   • Java: Update test expectations

     hvitved

     committed
     7e3c144View commit details

     Copy full SHA for 7e3c144

     View code at this pointBrowse repository at this point
3. Commits on Jul 17, 2026

   • Java: Add java generics test cases.

     michaelnebel

     committed
     f184d28View commit details

     Copy full SHA for f184d28

     View code at this pointBrowse repository at this point
4. Commits on Apr 21, 2026

   • Java: update regression-test expectations for path-injection[read]

     Show description for 6d10b15
     MarkLee131

     committed
     6d10b15View commit details

     Copy full SHA for 6d10b15

     View code at this pointBrowse repository at this point
5. 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
6. 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

   • 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
7. 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
8. Commits on Apr 29, 2025

   • 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
9. Commits on Apr 25, 2025

   • Java: Convert the model generator neutral test to use the combined neutral generator.

     michaelnebel

     committed
     71d0409View commit details

     Copy full SHA for 71d0409

     View code at this pointBrowse repository at this point

   • Java: Change the heuristic summary test tag to heuristic-summary.

     michaelnebel

     committed
     7e51daeView commit details

     Copy full SHA for 7e51dae

     View code at this pointBrowse repository at this point

   • Java: Adjust model generator test cases to the new implementation.

     michaelnebel

     committed
     08f7caaView commit details

     Copy full SHA for 08f7caa

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

    • 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
11. Commits on Oct 21, 2024

    • Java: Update model generator expected output.

      michaelnebel

      committed
      23d285cView commit details

      Copy full SHA for 23d285c

      View code at this pointBrowse repository at this point

    • Java: Add modelgenerator clone example.

      michaelnebel

      committed
      7919dcfView commit details

      Copy full SHA for 7919dcf

      View code at this pointBrowse repository at this point

    • Java: Update expected test output for the model editor tests.

      michaelnebel

      committed
      24d1e99View commit details

      Copy full SHA for 24d1e99

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

    • C#/Java: Update model generator expected output.

      michaelnebel

      committed
      0b39c5bView commit details

      Copy full SHA for 0b39c5b

      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
13. Commits on Sep 26, 2024

    • C#/Java: Updated expected test output.

      michaelnebel

      committed
      9a923d6View commit details

      Copy full SHA for 9a923d6

      View code at this pointBrowse repository at this point

    • C#/Java: Update model generator expected test output.

      michaelnebel

      committed
      0cd4ccbView commit details

      Copy full SHA for 0cd4ccb

      View code at this pointBrowse repository at this point

    • C#/Java: Add some examples of missing synthetic field element flow.

      michaelnebel

      committed
      aae8660View commit details

      Copy full SHA for aae8660

      View code at this pointBrowse repository at this point

    • C#/Java: Add model generator test examples.

      michaelnebel

      committed
      58513caView commit details

      Copy full SHA for 58513ca

      View code at this pointBrowse repository at this point
14. 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: 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
15. Commits on Sep 10, 2024

    • Java: Add content based example with multiple paths.

      michaelnebel

      committed
      0fbeca1View commit details

      Copy full SHA for 0fbeca1

      View code at this pointBrowse repository at this point

    • Java: Update some model generator test cases.

      michaelnebel

      committed
      d7e61d0View commit details

      Copy full SHA for d7e61d0

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

    • Java: Add content based model generation test.

      michaelnebel

      committed
      5ddcb16View commit details

      Copy full SHA for 5ddcb16

      View code at this pointBrowse repository at this point
17. Commits on Aug 14, 2024

    • C#/Java: Update model generation expected output.

      michaelnebel

      committed
      eaf4f5eView commit details

      Copy full SHA for eaf4f5e

      View code at this pointBrowse repository at this point

    • Java: Add example of missing sink generation.

      michaelnebel

      committed
      046018fView commit details

      Copy full SHA for 046018f

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

    • Code quality improvements.

      michaelnebel

      committed
      2796597View commit details

      Copy full SHA for 2796597

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

    • C#/Java: Update model generator expected output.

      michaelnebel

      committed
      0bf1ed1View commit details

      Copy full SHA for 0bf1ed1

      View code at this pointBrowse repository at this point

    • C#/Java: Add test for missing neutral summary generation.

      michaelnebel

      committed
      c9832dfView commit details

      Copy full SHA for c9832df

      View code at this pointBrowse repository at this point
20. Commits on Jun 27, 2024

    • Java: Update the model generator expected test output.

      michaelnebel

      committed
      9cb7018View commit details

      Copy full SHA for 9cb7018

      View code at this pointBrowse repository at this point

    • Java: Add some source/sink examples where lifting is applied.

      michaelnebel

      committed
      22e9ae2View commit details

      Copy full SHA for 22e9ae2

      View code at this pointBrowse repository at this point