Commit history

1. Commits on Aug 16, 2023

   • Merge pull request #13981 from MathiasVP/fix-orig-delta-for-subtraction

     Show description for 66d13dc
     MathiasVP

     authored
     66d13dcView commit details

     Copy full SHA for 66d13dc

     Browse repository at this point

   • C++: Respond to review comments.

     MathiasVP

     committed
     20df63fView commit details

     Copy full SHA for 20df63f

     Browse repository at this point

   • Merge pull request #13971 from jketema/float

     Show description for 591565a
     jketema

     authored
     591565aView commit details

     Copy full SHA for 591565a

     Browse repository at this point

   • C++: 'origDelta' should always be 'odLeft' when deriving subtraction ranges.

     MathiasVP

     committed
     5e14b5cView commit details

     Copy full SHA for 5e14b5c

     Browse repository at this point

   • Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr

     Show description for 986aa74
     MathiasVP

     authored
     986aa74View commit details

     Copy full SHA for 986aa74

     Browse repository at this point

   • Merge pull request #13819 from yoff/python/relax-module-resolution

     Show description for c55b098
     RasmusWL

     authored
     c55b098View commit details

     Copy full SHA for c55b098

     Browse repository at this point

   • Merge pull request #13744 from tamasvajk/standalone/integration-test

     Show description for 365b101
     michaelnebel

     authored
     365b101View commit details

     Copy full SHA for 365b101

     Browse repository at this point

   • Merge pull request #13886 from github/kaeluka/java-automodel-variadic-args

     Show description for 20254c3
     

     Stephan Brandauer

     authored
     20254c3View commit details

     Copy full SHA for 20254c3

     Browse repository at this point
2. Commits on Aug 15, 2023

   • C++: Update test after float128 related extractor changes

     jketema

     committed
     4ada83cView commit details

     Copy full SHA for 4ada83c

     Browse repository at this point

   • Python: format

     yoff

     committed
     6614e03View commit details

     Copy full SHA for 6614e03

     Browse repository at this point

   • Merge pull request #13973 from github/smowton/fix/go-version-comparison

     Show description for b8372c2
     smowton

     authored
     b8372c2View commit details

     Copy full SHA for b8372c2

     Browse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     49a5a39View commit details

     Copy full SHA for 49a5a39

     Browse repository at this point

   • Don't warn when Go version exactly matches go.mod

     Show description for 3bcfbcd
     smowton

     authored
     3bcfbcdView commit details

     Copy full SHA for 3bcfbcd

     Browse repository at this point

   • Merge pull request #13959 from github/redsun82/cmake-fix

     Show description for 234763e
     redsun82

     authored
     234763eView commit details

     Copy full SHA for 234763e

     Browse repository at this point

   • Merge pull request #13910 from rdmarsh2/rdmarsh2/swift/for-await-cfg

     Show description for 3d20897
     

     Robert Marsh

     authored
     3d20897View commit details

     Copy full SHA for 3d20897

     Browse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     e145b81View commit details

     Copy full SHA for e145b81

     Browse repository at this point

   • C++: Add precise range analysis for subtraction.

     MathiasVP

     committed
     109e45eView commit details

     Copy full SHA for 109e45e

     Browse repository at this point

   • C++: Add a FP caused by bad range analysis for subtraction.

     MathiasVP

     committed
     3fb0241View commit details

     Copy full SHA for 3fb0241

     Browse repository at this point

   • Merge pull request #13965 from MathiasVP/better-certain-writes-and-invalid-ptr-deref-prep

     Show description for 90888e5
     MathiasVP

     authored
     90888e5View commit details

     Copy full SHA for 90888e5

     Browse repository at this point

   • Update python/ql/lib/semmle/python/Module.qll

     Show description for 7eb4114
     

     yoff

     and

     RasmusWL

     authored
     7eb4114View commit details

     Copy full SHA for 7eb4114

     Browse repository at this point

   • Merge pull request #13968 from kaspersv/shadow-dbscheme

     Show description for bb317bc
     kaspersv

     authored
     bb317bcView commit details

     Copy full SHA for bb317bc

     Browse repository at this point

   • QL language specs: declarations can shadow dbscheme types and preds

     kaspersv

     committed
     30a813aView commit details

     Copy full SHA for 30a813a

     Browse repository at this point

   • C++: Don't do indirect (instruction -> operand) flow when there's a store to the address in between the instruction and the operand.

     MathiasVP

     committed
     569f3c9View commit details

     Copy full SHA for 569f3c9

     Browse repository at this point

   • C++: Use value numbering to better detect whether a write is certain.

     MathiasVP

     committed
     f662cceView commit details

     Copy full SHA for f662cce

     Browse repository at this point

   • Python: add comment about namespace packages

     yoff

     committed
     8f70c9fView commit details

     Copy full SHA for 8f70c9f

     Browse repository at this point

   • Merge pull request #13955 from hvitved/ruby/type-tracking-capture-insensitive

     Show description for 44b734e
     hvitved

     authored
     44b734eView commit details

     Copy full SHA for 44b734e

     Browse repository at this point

   • Merge branch 'main' into redsun82/cmake-fix

     redsun82

     authored
     8e229acView commit details

     Copy full SHA for 8e229ac

     Browse repository at this point

   • Merge pull request #13914 from erik-krogh/escape-unicode

     Show description for 6a3b9e1
     erik-krogh

     authored
     6a3b9e1View commit details

     Copy full SHA for 6a3b9e1

     Browse repository at this point

   • Merge pull request #13836 from github/alexdenisov/unresolved-dot-exprs

     Show description for fec9626
     MathiasVP

     authored
     fec9626View commit details

     Copy full SHA for fec9626

     Browse repository at this point

   • Merge pull request #13546 from michaelnebel/java/withoutelement

     Show description for a95aad5
     michaelnebel

     authored
     a95aad5View commit details

     Copy full SHA for a95aad5

     Browse repository at this point
3. Commits on Aug 14, 2023

   • Merge pull request #13941 from yoff/python/test-nice-location

     Show description for d12743d
     RasmusWL

     authored
     d12743dView commit details

     Copy full SHA for d12743d

     Browse repository at this point

   • Merge pull request #13937 from hvitved/ruby/for-loop-desugar

     Show description for 061575f
     hvitved

     authored
     061575fView commit details

     Copy full SHA for 061575f

     Browse repository at this point

   • Merge pull request #13334 from aibaars/print-cfg-2

     Show description for 77db0cf
     aibaars

     authored
     77db0cfView commit details

     Copy full SHA for 77db0cf

     Browse repository at this point

   • C++: make cmake generation work with internal rule `cc_binary_add_features`

     redsun82

     committed
     ef804c0View commit details

     Copy full SHA for ef804c0

     Browse repository at this point

   • Merge pull request #13725 from MathiasVP/fix-barriers-in-invalid-pointer-deref

     Show description for 9359bea
     MathiasVP

     authored
     9359beaView commit details

     Copy full SHA for 9359bea

     Browse repository at this point