Commits

Commit history

1. Commits on Nov 30, 2023

   • Fix hasNullCase

     smowton

     committed
     de2b98fView commit details

     Copy full SHA for de2b98f

     View code at this pointBrowse repository at this point

   • Check nullness pass knows pattern case variables can't be null

     smowton

     committed
     e94c5a7View commit details

     Copy full SHA for e94c5a7

     View code at this pointBrowse repository at this point

   • Nullness library: recognise switches with null checks

     smowton

     committed
     6b9aed2View commit details

     Copy full SHA for 6b9aed2

     View code at this pointBrowse repository at this point
2. Commits on Oct 1, 2022

   • get a few more queries in sync with other languages

     erik-krogh

     committed
     129cda0View commit details

     Copy full SHA for 129cda0

     View code at this pointBrowse repository at this point
3. Commits on Sep 26, 2022

   • update alert-messsages of java queries

     erik-krogh

     committed
     46b5bf3View commit details

     Copy full SHA for 46b5bf3

     View code at this pointBrowse repository at this point
4. Commits on Mar 31, 2022

   • Accept expected test result improvement

     smowton

     committed
     9bcf466View commit details

     Copy full SHA for 9bcf466

     View code at this pointBrowse repository at this point
5. Commits on Jan 21, 2022

   • Java: Add support for bitwise compound assignments in Guards.

     aschackmull

     committed
     41d2942View commit details

     Copy full SHA for 41d2942

     View code at this pointBrowse repository at this point
6. Commits on Feb 9, 2021

   • Java: fix javac errors in test code

     yo-h

     committed
     e194411View commit details

     Copy full SHA for e194411

     View code at this pointBrowse repository at this point
7. Commits on May 20, 2020

   • Java: Add a few qltest cases for nullness and range analysis FPs.

     aschackmull

     committed
     8cbc01dView commit details

     Copy full SHA for 8cbc01d

     View code at this pointBrowse repository at this point
8. Commits on Mar 3, 2020

   • Java: Document a FP in a test.

     aschackmull

     committed
     4601639View commit details

     Copy full SHA for 4601639

     View code at this pointBrowse repository at this point
9. Commits on Jan 28, 2020

   • Java: Add Expr.isParenthesized, adjust VarAccess.toString, and fix tests.

     aschackmull

     committed
     4bd332dView commit details

     Copy full SHA for 4bd332d

     View code at this pointBrowse repository at this point
10. Commits on Jan 17, 2020

    • Java: Document two FPs with unit tests.

      aschackmull

      committed
      2dca188View commit details

      Copy full SHA for 2dca188

      View code at this pointBrowse repository at this point
11. Commits on Jan 3, 2020

    • Java: Include non-null final fields in clearlyNotNull.

      aschackmull

      committed
      e74aa33View commit details

      Copy full SHA for e74aa33

      View code at this pointBrowse repository at this point
12. Commits on Nov 21, 2019

    • Nullness: Track correlated conditions of equality tests of variables.

      criemen

      committed
      5d4b6c3View commit details

      Copy full SHA for 5d4b6c3

      View code at this pointBrowse repository at this point

    • Add tests for nullness tracking by comparing variables.

      criemen

      committed
      92f32a1View commit details

      Copy full SHA for 92f32a1

      View code at this pointBrowse repository at this point

    • More precise Nullness tracking by taking correlated instanceof expressions into account.

      Show description for 3e5324e
      criemen

      committed
      3e5324eView commit details

      Copy full SHA for 3e5324e

      View code at this pointBrowse repository at this point

    • Add tests to track nullness by instanceof checks.

      criemen

      committed
      d8aae1cView commit details

      Copy full SHA for d8aae1c

      View code at this pointBrowse repository at this point
13. Commits on Oct 29, 2019

    • Correct minor compilation errors in test code

      rneatherway

      committed
      96f9a01View commit details

      Copy full SHA for 96f9a01

      View code at this pointBrowse repository at this point

    • Java: Respect Hamcrest assertThat(X, notNullValue())

      rneatherway

      committed
      84202ffView commit details

      Copy full SHA for 84202ff

      View code at this pointBrowse repository at this point
14. Commits on Sep 26, 2019

    • Java: Improve guards for equal ssa variables.

      aschackmull

      committed
      0afea80View commit details

      Copy full SHA for 0afea80

      View code at this pointBrowse repository at this point
15. Commits on Aug 30, 2018

    • Migrate Java code to separate QL repo.

      pavgust

      committed
      846c9d5View commit details

      Copy full SHA for 846c9d5

      View code at this pointBrowse repository at this point
16. Loading