Commit history

1. Commits on Jan 31, 2020

   • CPP: Avoid uncessary recursion

     

     alexet

     committed
     cd68836View commit details

     Copy full SHA for cd68836

     View code at this pointBrowse repository at this point
2. Commits on Jan 30, 2020

   • Merge pull request #2718 from jbj/DefaultTaintTracking-isUserInput

     Show description for 209a306
     

     Robert Marsh

     authored
     209a306View commit details

     Copy full SHA for 209a306

     View code at this pointBrowse repository at this point

   • C++: Put AliasedSSA.qll in new qlformat style

     jbj

     committed
     148e87cView commit details

     Copy full SHA for 148e87c

     View code at this pointBrowse repository at this point

   • Merge remote-tracking branch 'upstream/master' into dbartol/Indirections

     Show description for f0f7528
     jbj

     committed
     f0f7528View commit details

     Copy full SHA for f0f7528

     View code at this pointBrowse repository at this point

   • Merge pull request #2673 from aschackmull/ql/autoformat-comparisonterm

     Show description for c4d2163
     jbj

     authored
     c4d2163View commit details

     Copy full SHA for c4d2163

     View code at this pointBrowse repository at this point

   • Merge remote-tracking branch 'upstream/master' into dbartol/Indirections

     

     Dave Bartolomeo

     committed
     6249446View commit details

     Copy full SHA for 6249446

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

   • C++: Document regular expressions in `InlineExpectationsTest`

     

     Dave Bartolomeo

     committed
     46c414bView commit details

     Copy full SHA for 46c414b

     View code at this pointBrowse repository at this point

   • C++: Document `InlineExpectationsTest`

     

     Dave Bartolomeo

     committed
     1277881View commit details

     Copy full SHA for 1277881

     View code at this pointBrowse repository at this point

   • Merge pull request #2676 from jbj/dataflow-partial-chi

     Show description for 37570c7
     

     Robert Marsh

     authored
     37570c7View commit details

     Copy full SHA for 37570c7

     View code at this pointBrowse repository at this point

   • C++: Taint through most partial chi operands

     Show description for 52d2beb
     jbj

     committed
     52d2bebView commit details

     Copy full SHA for 52d2beb

     View code at this pointBrowse repository at this point

   • Merge pull request #2717 from jbj/DefaultTaintTracking-memcpy

     Show description for f673791
     geoffw0

     authored
     f673791View commit details

     Copy full SHA for f673791

     View code at this pointBrowse repository at this point

   • C++: Always use the old library for the diff test

     Show description for 0436cae
     jbj

     committed
     0436caeView commit details

     Copy full SHA for 0436cae

     View code at this pointBrowse repository at this point

   • C++: Fix mapping of sources from Expr to Node

     Show description for 9b651ea
     jbj

     committed
     9b651eaView commit details

     Copy full SHA for 9b651ea

     View code at this pointBrowse repository at this point

   • C++: Add taint from gets through memcpy

     jbj

     committed
     7bed6adView commit details

     Copy full SHA for 7bed6ad

     View code at this pointBrowse repository at this point

   • Merge pull request #2641 from marcrepo/master

     Show description for d7e8ea7
     jbj

     authored
     d7e8ea7View commit details

     Copy full SHA for d7e8ea7

     View code at this pointBrowse repository at this point

   • Merge pull request #2645 from geoffw0/typo

     Show description for 386e8e8
     jbj

     authored
     386e8e8View commit details

     Copy full SHA for 386e8e8

     View code at this pointBrowse repository at this point

   • C#/C++: Autoformat post rebase.

     aschackmull

     committed
     0d4b2e4View commit details

     Copy full SHA for 0d4b2e4

     View code at this pointBrowse repository at this point

   • C++: Autoformat.

     aschackmull

     committed
     96e4a57View commit details

     Copy full SHA for 96e4a57

     View code at this pointBrowse repository at this point

   • Merge remote-tracking branch 'upstream/master' into dataflow-partial-chi

     Show description for 02cb8e9
     jbj

     committed
     02cb8e9View commit details

     Copy full SHA for 02cb8e9

     View code at this pointBrowse repository at this point

   • Merge pull request #2707 from geoffw0/taint-format

     Show description for 27b5902
     jbj

     authored
     27b5902View commit details

     Copy full SHA for 27b5902

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

   • Merge remote-tracking branch 'upstream/master' into dbartol/Indirections

     

     Dave Bartolomeo

     committed
     60a0effView commit details

     Copy full SHA for 60a0eff

     View code at this pointBrowse repository at this point

   • C++: Accept dataflow test changes due to new alias analysis

     

     Dave Bartolomeo

     committed
     542579dView commit details

     Copy full SHA for 542579d

     View code at this pointBrowse repository at this point

   • C++: Accept IR dump test results changes due to new alias analysis

     

     Dave Bartolomeo

     committed
     dda3235View commit details

     Copy full SHA for dda3235

     View code at this pointBrowse repository at this point

   • C++: Update escape analysis tests to new API

     

     Dave Bartolomeo

     committed
     7013bc6View commit details

     Copy full SHA for 7013bc6

     View code at this pointBrowse repository at this point

   • C++: Update points_to tests to use new framework

     

     Dave Bartolomeo

     committed
     bb9485dView commit details

     Copy full SHA for bb9485d

     View code at this pointBrowse repository at this point

   • C++: New test framework that allows expected results as comments in source code

     

     Dave Bartolomeo

     committed
     af9d90cView commit details

     Copy full SHA for af9d90c

     View code at this pointBrowse repository at this point

   • C++: Update AliasedSSA to use `Allocation` instead of `IRVariable`

     Show description for 976b564
     

     Dave Bartolomeo

     committed
     976b564View commit details

     Copy full SHA for 976b564

     View code at this pointBrowse repository at this point

   • C++/C#: Update SimpleSSA to use `Allocation` instead of `IRVariable`

     

     Dave Bartolomeo

     committed
     165a45dView commit details

     Copy full SHA for 165a45d

     View code at this pointBrowse repository at this point

   • C++/C#: Parameterize alias analysis based on `AliasConfiguration`

     Show description for 1bbc875
     

     Dave Bartolomeo

     committed
     1bbc875View commit details

     Copy full SHA for 1bbc875

     View code at this pointBrowse repository at this point

   • C++/C#: Share alias analysis between C++ and C#

     

     Dave Bartolomeo

     committed
     b15dd82View commit details

     Copy full SHA for b15dd82

     View code at this pointBrowse repository at this point

   • C++/C#: Add new `MemoryAccessKind` to represent entire allocation

     

     Dave Bartolomeo

     committed
     1b1fdedView commit details

     Copy full SHA for 1b1fded

     View code at this pointBrowse repository at this point

   • C++: Accept output

     MathiasVP

     committed
     c1091a0View commit details

     Copy full SHA for c1091a0

     View code at this pointBrowse repository at this point

   • C++: Add instruction for CheckedConvertOrNull and handle it in alias analysis and data flow

     MathiasVP

     committed
     46ce228View commit details

     Copy full SHA for 46ce228

     View code at this pointBrowse repository at this point

   • C++: Add test demonstrating false negative when using dynamic_cast

     MathiasVP

     committed
     928b0c5View commit details

     Copy full SHA for 928b0c5

     View code at this pointBrowse repository at this point

   • C++: Modify ParameterIndex to account for varargs.

     geoffw0

     committed
     f02ffcbView commit details

     Copy full SHA for f02ffcb

     View code at this pointBrowse repository at this point