Commits

Commit history

1. Commits on Nov 15, 2019

   • Java: Fix range analysis bug where int was assumed.

     aschackmull

     committed
     81a9094View commit details

     Copy full SHA for 81a9094

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

   • Merge pull request #2304 from aschackmull/java/rangeanalysis-integral-fix

     Show description for 429c307
     yh-semmle

     authored
     429c307View commit details

     Copy full SHA for 429c307

     View code at this pointBrowse repository at this point

   • Java: Fix range analysis bug in integral inequality bounds.

     aschackmull

     committed
     7619275View commit details

     Copy full SHA for 7619275

     View code at this pointBrowse repository at this point

   • Java: Add ConditionalExpr to overflow candidate pattern.

     aschackmull

     committed
     8cd6b51View commit details

     Copy full SHA for 8cd6b51

     View code at this pointBrowse repository at this point
3. Commits on Oct 4, 2019

   • Java: Add another overflow check pattern to UselessComparisonTest.

     aschackmull

     committed
     066a2f0View commit details

     Copy full SHA for 066a2f0

     View code at this pointBrowse repository at this point
4. Commits on Oct 19, 2018

   • Java: Add test.

     aschackmull

     committed
     6f11849View commit details

     Copy full SHA for 6f11849

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