Commits

Commit history

1. Commits on Jun 1, 2026

   • Rust: Rename `Impl::getTrait` to `Impl::getTraitTy`

     hvitved

     committed
     c695c15View commit details

     Copy full SHA for c695c15

     View code at this pointBrowse repository at this point
2. Commits on Mar 25, 2026

   • Rust: Include taint steps when generating flow models

     hvitved

     committed
     fba4a83View commit details

     Copy full SHA for fba4a83

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

   • Rust: Disable dynamic dispatch when generating models

     paldepind

     committed
     862adecView commit details

     Copy full SHA for 862adec

     View code at this pointBrowse repository at this point

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

     paldepind

     committed
     8bfce6bView commit details

     Copy full SHA for 8bfce6b

     View code at this pointBrowse repository at this point

   • Rust: Skip model generation for functions with a ; in their canonical path

     paldepind

     committed
     9cdf63eView commit details

     Copy full SHA for 9cdf63e

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

   • Address review comments

     hvitved

     committed
     bc6d38eView commit details

     Copy full SHA for bc6d38e

     View code at this pointBrowse repository at this point
5. Commits on Dec 2, 2025

   • Rust: Restructure classes representing calls

     hvitved

     committed
     7378fbcView commit details

     Copy full SHA for 7378fbc

     View code at this pointBrowse repository at this point
6. 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
7. Commits on Nov 19, 2025

   • Rust: Base `DataFlow::Node` on AST instead of CFG

     hvitved

     committed
     489fff9View commit details

     Copy full SHA for 489fff9

     View code at this pointBrowse repository at this point
8. Commits on Jun 20, 2025

   • Rust: rename `asFunction` to `getFunction`

     redsun82

     committed
     bc8b1f2View commit details

     Copy full SHA for bc8b1f2

     View code at this pointBrowse repository at this point
9. Commits on Jun 19, 2025

   • Rust: fix `debug/CaptureSummaryModelsPartialPath.ql`

     redsun82

     committed
     b5a7f87View commit details

     Copy full SHA for b5a7f87

     View code at this pointBrowse repository at this point

   • Rust: regenerate models

     redsun82

     committed
     170dd6cView commit details

     Copy full SHA for 170dd6c

     View code at this pointBrowse repository at this point

   • Rust: move model generator to new format

     redsun82

     committed
     79fd10dView commit details

     Copy full SHA for 79fd10d

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

    • Rust: Use `get(An){Arg,Param}` helper predicates

      hvitved

      committed
      e41b4f4View commit details

      Copy full SHA for e41b4f4

      View code at this pointBrowse repository at this point
11. Commits on May 16, 2025

    • Rust: Skip model generation for functions with semicolon in canonical path

      paldepind

      committed
      fb8b79eView commit details

      Copy full SHA for fb8b79e

      View code at this pointBrowse repository at this point
12. 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
13. Commits on May 13, 2025

    • Rust: Update model generator implementation.

      

      michaelnebel

      authored and

      MathiasVP

      committed
      6712cceView commit details

      Copy full SHA for 6712cce

      View code at this pointBrowse repository at this point
14. 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
15. Commits on Apr 30, 2025

    • Rust: Fixup queries.

      MathiasVP

      committed
      7751973View commit details

      Copy full SHA for 7751973

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

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

      michaelnebel

      committed
      a6b5645View commit details

      Copy full SHA for a6b5645

      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
17. 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
18. Commits on Apr 10, 2025

    • Rust: Fixup MaD input.

      MathiasVP

      committed
      6c348b5View commit details

      Copy full SHA for 6c348b5

      View code at this pointBrowse repository at this point
19. Commits on Mar 13, 2025

    • Rust: Extract data flow node and content into separate files

      paldepind

      committed
      3c64414View commit details

      Copy full SHA for 3c64414

      View code at this pointBrowse repository at this point
20. Commits on Mar 4, 2025

    • Rust: Exclude function without canonical path from model generation

      paldepind

      committed
      c89e648View commit details

      Copy full SHA for c89e648

      View code at this pointBrowse repository at this point
21. Commits on Feb 17, 2025

    • Rust: Add clarifying comment

      paldepind

      committed
      a253b77View commit details

      Copy full SHA for a253b77

      View code at this pointBrowse repository at this point
22. Commits on Feb 14, 2025

    • Rust: Generate sources and sinks

      paldepind

      committed
      632e0c8View commit details

      Copy full SHA for 632e0c8

      View code at this pointBrowse repository at this point
23. Commits on Feb 7, 2025

    • Rust: Handle writes to references and add encoding of reference content

      paldepind

      committed
      1105576View commit details

      Copy full SHA for 1105576

      View code at this pointBrowse repository at this point
24. Commits on Feb 5, 2025

    • Rust: Implement data flow through tuple structs

      hvitved

      committed
      e4d9e29View commit details

      Copy full SHA for e4d9e29

      View code at this pointBrowse repository at this point
25. Commits on Feb 4, 2025

    • Rust: Generate flow summaries for higher-order functions

      paldepind

      committed
      b0a3cdcView commit details

      Copy full SHA for b0a3cdc

      View code at this pointBrowse repository at this point

    • Rust: Address PR comments

      paldepind

      committed
      0741331View commit details

      Copy full SHA for 0741331

      View code at this pointBrowse repository at this point