Commit history

1. Commits on Jul 28, 2026

   • JS: Do not warn about browser-specific source kinds in MaD

     asgerf

     committed
     68410fdView commit details

     Copy full SHA for 68410fd

     View code at this pointBrowse repository at this point
2. Commits on Jun 15, 2026

   • Add new MaD kinds

     BazookaMusic

     committed
     7ae0337View commit details

     Copy full SHA for 7ae0337

     View code at this pointBrowse repository at this point
3. Commits on Apr 30, 2026

   • Address review comments on path-injection[read] sub-kind

     Show description for 936f0c6
     MarkLee131

     committed
     936f0c6View commit details

     Copy full SHA for 936f0c6

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

   • Java: split read-only path sinks into path-injection[read]

     Show description for c336a15
     MarkLee131

     committed
     c336a15View commit details

     Copy full SHA for c336a15

     View code at this pointBrowse repository at this point
5. Commits on Apr 14, 2026

   • Merge pull request #21584 from owen-mc/shared/update-mad-comments

     Show description for 7458674
     owen-mc

     authored
     7458674View commit details

     Copy full SHA for 7458674

     View code at this pointBrowse repository at this point
6. Commits on Mar 27, 2026

   • Replace `acceptingvalue` with `acceptingValue`

     owen-mc

     committed
     a7fdc4bView commit details

     Copy full SHA for a7fdc4b

     View code at this pointBrowse repository at this point
7. Commits on Mar 26, 2026

   • Python: Replace type tracking with global data-flow

     Show description for c439fc5
     tausbn

     committed
     c439fc5View commit details

     Copy full SHA for c439fc5

     View code at this pointBrowse repository at this point
8. Commits on Jan 29, 2026

   • python: Add query for prompt injection

     Show description for e7a0fc7
     yoff

     committed
     e7a0fc7View commit details

     Copy full SHA for e7a0fc7

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

   • 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
10. Commits on Dec 12, 2025

    • MaD: Use "namespace" instead "package" in shared code.

      aschackmull

      committed
      64a48e4View commit details

      Copy full SHA for 64a48e4

      View code at this pointBrowse repository at this point

    • MaD: Rename file.

      aschackmull

      committed
      7f8d077View commit details

      Copy full SHA for 7f8d077

      View code at this pointBrowse repository at this point

    • Go: Use shared modelCoverage.

      aschackmull

      committed
      8564b4eView commit details

      Copy full SHA for 8564b4e

      View code at this pointBrowse repository at this point

    • Go: Move Go package-grouping support into shared lib.

      aschackmull

      committed
      5bddc8dView commit details

      Copy full SHA for 5bddc8d

      View code at this pointBrowse repository at this point

    • C++: Use shared model coverage code.

      aschackmull

      committed
      e262438View commit details

      Copy full SHA for e262438

      View code at this pointBrowse repository at this point

    • Java/C++: Thread additional models through the shared lib.

      aschackmull

      committed
      0725251View commit details

      Copy full SHA for 0725251

      View code at this pointBrowse repository at this point

    • Java/C#: Share model coverage code.

      aschackmull

      committed
      3b334eaView commit details

      Copy full SHA for 3b334ea

      View code at this pointBrowse repository at this point

    • Java: Move interpretModelForTest into shared code.

      aschackmull

      committed
      cb578e3View commit details

      Copy full SHA for cb578e3

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

    • Java: Basic support for pass-through barrier models.

      aschackmull

      committed
      d24b0ffView commit details

      Copy full SHA for d24b0ff

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

    • Shared: Improvements to content-sensitive model generation

      hvitved

      committed
      666855dView commit details

      Copy full SHA for 666855d

      View code at this pointBrowse repository at this point
14. Commits on Sep 5, 2025

    • Rename `cors-misconfiguration` to `cors-origin`.

      Napalys

      committed
      d8c4d6dView commit details

      Copy full SHA for d8c4d6d

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

    • Replace complex wrapper classes with MaD

      Napalys

      committed
      4dac80aView commit details

      Copy full SHA for 4dac80a

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

    • Update which sink kinds are shared between languages

      owen-mc

      committed
      ad60affView commit details

      Copy full SHA for ad60aff

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

    • Overlay: Add overlay annotations to Java & shared libraries

      kaspersv

      committed
      c207cfdView commit details

      Copy full SHA for c207cfd

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

    • Shared: Adjust the printing of heuristic value summaries (and fix a minor issue with output printing in captureSink).

      

      michaelnebel

      authored and

      MathiasVP

      committed
      a94cffaView commit details

      Copy full SHA for a94cffa

      View code at this pointBrowse repository at this point

    • Shared: Avoid generating taint based heuristic summaries when a content sensitive summary can be generated.

      

      michaelnebel

      authored and

      MathiasVP

      committed
      6c9f248View commit details

      Copy full SHA for 6c9f248

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

    • Shared: Fix QLDoc to make QL4QL happy.

      MathiasVP

      committed
      6437168View commit details

      Copy full SHA for 6437168

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

    • Shared: Deduplicate flow summaries.

      MathiasVP

      committed
      37bc2bfView commit details

      Copy full SHA for 37bc2bf

      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: Rename 'asLiftedTaintModel' to 'asLiftedModel'.

      MathiasVP

      committed
      54f0eedView commit details

      Copy full SHA for 54f0eed

      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
21. Commits on Apr 30, 2025

    • Shared: Generate value-preserving summaries when possible.

      MathiasVP

      committed
      607a1e4View commit details

      Copy full SHA for 607a1e4

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

    • Shared: Make the summary, source and sink model generation a parameterized module.

      michaelnebel

      committed
      bb6530fView commit details

      Copy full SHA for bb6530f

      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