Commits

Commit history

1. Commits on May 27, 2024

   • C++/C#/Java: Update expected output.

     aschackmull

     committed
     5c635e9View commit details

     Copy full SHA for 5c635e9

     View code at this pointBrowse repository at this point
2. Commits on May 23, 2024

   • Java: Add support for flow through side-effects on static fields.

     aschackmull

     committed
     bf3dbc2View commit details

     Copy full SHA for bf3dbc2

     View code at this pointBrowse repository at this point
3. Commits on May 22, 2024

   • Java: update qltest expected files.

     aschackmull

     committed
     a74cf65View commit details

     Copy full SHA for a74cf65

     View code at this pointBrowse repository at this point
4. Commits on May 21, 2024

   • Accept `.expected` changes

     

     RasmusWL

     authored and

     hvitved

     committed
     2451a6dView commit details

     Copy full SHA for 2451a6d

     View code at this pointBrowse repository at this point
5. Commits on Apr 15, 2024

   • Dataflow: Use default fieldFlowBranchLimit in qltests.

     aschackmull

     committed
     b87b832View commit details

     Copy full SHA for b87b832

     View code at this pointBrowse repository at this point
6. Commits on Apr 12, 2024

   • Java: Update expected output (uninteresting).

     aschackmull

     committed
     c2f5731View commit details

     Copy full SHA for c2f5731

     View code at this pointBrowse repository at this point

   • Java/Dataflow: Propagate MaD-id/model-id to PathGraph.

     aschackmull

     committed
     2925e45View commit details

     Copy full SHA for 2925e45

     View code at this pointBrowse repository at this point
7. Commits on Apr 1, 2024

   • Tests fixed by model for `CharBuffer.wrap(char[])`

     owen-mc

     committed
     fa614dfView commit details

     Copy full SHA for fa614df

     View code at this pointBrowse repository at this point
8. Commits on Mar 25, 2024

   • Remove unused data extension in test

     

     Dave Bartolomeo

     committed
     c11b8f9View commit details

     Copy full SHA for c11b8f9

     View code at this pointBrowse repository at this point

   • Add test cases for cases falling directly out of switch blocks

     smowton

     committed
     568bddcView commit details

     Copy full SHA for 568bddc

     View code at this pointBrowse repository at this point

   • Add test for guards in the presence of fall-through between pattern and constant cases

     smowton

     committed
     9fa2f19View commit details

     Copy full SHA for 9fa2f19

     View code at this pointBrowse repository at this point

   • Add tests for the combination of anonymous labels and a guard

     smowton

     committed
     c48e64eView commit details

     Copy full SHA for c48e64e

     View code at this pointBrowse repository at this point

   • Add tests for case statement type test dominance against anonymous labels and fall-through

     smowton

     committed
     1e0766dView commit details

     Copy full SHA for 1e0766d

     View code at this pointBrowse repository at this point

   • Add printast tests for anonymous variables

     smowton

     committed
     f2ff6c4View commit details

     Copy full SHA for f2ff6c4

     View code at this pointBrowse repository at this point

   • Fix pretty-printing of anonymous vars and multiple patterns; add test

     smowton

     committed
     5cb5ee0View commit details

     Copy full SHA for 5cb5ee0

     View code at this pointBrowse repository at this point

   • Add test for control-flow with mixed patterns, constants and fall-through

     smowton

     committed
     f317f78View commit details

     Copy full SHA for f317f78

     View code at this pointBrowse repository at this point

   • Add CFG test for anonymous variables and fall-throughs with pattern cases

     smowton

     committed
     6cf956dView commit details

     Copy full SHA for 6cf956d

     View code at this pointBrowse repository at this point

   • Convert test to use an anonymous local

     smowton

     committed
     cc8dcf6View commit details

     Copy full SHA for cc8dcf6

     View code at this pointBrowse repository at this point

   • Accept test changes

     smowton

     committed
     5243a62View commit details

     Copy full SHA for 5243a62

     View code at this pointBrowse repository at this point
9. Commits on Feb 29, 2024

   • Adjust test expectations now signature type-accesses are named

     smowton

     committed
     ef9544cView commit details

     Copy full SHA for ef9544c

     View code at this pointBrowse repository at this point

   • Adjust test expectations

     smowton

     committed
     140c318View commit details

     Copy full SHA for 140c318

     View code at this pointBrowse repository at this point
10. Commits on Feb 21, 2024

    • Java: Properties: Add a test that used to give a stack overflow

      igfoo

      committed
      9948052View commit details

      Copy full SHA for 9948052

      View code at this pointBrowse repository at this point
11. Commits on Feb 16, 2024

    • Dataflow: Fix flow-feature bug.

      aschackmull

      committed
      03f7968View commit details

      Copy full SHA for 03f7968

      View code at this pointBrowse repository at this point

    • Java: Add test highlighting problem.

      aschackmull

      committed
      ba1a0bcView commit details

      Copy full SHA for ba1a0bc

      View code at this pointBrowse repository at this point
12. Commits on Feb 15, 2024

    • Java: Expand ExactPathSanitizer to work on the argument of 'equals' too

      atorralba

      committed
      90a9d82View commit details

      Copy full SHA for 90a9d82

      View code at this pointBrowse repository at this point
13. Commits on Feb 12, 2024

    • Merge pull request #15507 from asgerf/shared/outbarrier-bugfix

      Show description for faefa05
      asgerf

      authored
      faefa05View commit details

      Copy full SHA for faefa05

      View code at this pointBrowse repository at this point
14. Commits on Feb 9, 2024

    • Java: Add empty provenance column to expected files.

      aschackmull

      committed
      e9e445bView commit details

      Copy full SHA for e9e445b

      View code at this pointBrowse repository at this point

    • Merge pull request #12886 from atorralba/atorralba/java/path-injection-mad-sinks

      Show description for 4c0d535
      atorralba

      authored
      4c0d535View commit details

      Copy full SHA for 4c0d535

      View code at this pointBrowse repository at this point
15. Commits on Jan 30, 2024

    • Consider File.exists() et al a path-injection sink

      atorralba

      committed
      e2bf9eaView commit details

      Copy full SHA for e2bf9ea

      View code at this pointBrowse repository at this point
16. Commits on Jan 26, 2024

    • Migrate path injection sinks to MaD

      Show description for 19cb7ad
      atorralba

      committed
      19cb7adView commit details

      Copy full SHA for 19cb7ad

      View code at this pointBrowse repository at this point

    • Shared: update test output

      asgerf

      committed
      ee8e9a4View commit details

      Copy full SHA for ee8e9a4

      View code at this pointBrowse repository at this point

    • Shared: add test case for stateful outBarrier bug

      asgerf

      committed
      ddbacc3View commit details

      Copy full SHA for ddbacc3

      View code at this pointBrowse repository at this point
17. Commits on Jan 23, 2024

    • Fix tests and add notification sink kind to model verification

      joefarebrother

      committed
      0acb647View commit details

      Copy full SHA for 0acb647

      View code at this pointBrowse repository at this point
18. Commits on Jan 16, 2024

    • Merge pull request #15244 from Marcono1234/marcono1234/regex-flags

      Show description for 2246c96
      atorralba

      authored
      2246c96View commit details

      Copy full SHA for 2246c96

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

    • Update test expectations

      owen-mc

      committed
      3767348View commit details

      Copy full SHA for 3767348

      View code at this pointBrowse repository at this point