Commits

Breadcrumbs

History for

onfed1bce

User selector

All users

All time

Commit History

Commits on Mar 18, 2020

• C++: Make vararg utilities internal for now.

  

  Dave Bartolomeo

  committed
  fed1bce

  Copy full SHA for fed1bce

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  4fce201

  Copy full SHA for 4fce201

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

  

  Dave Bartolomeo

  committed
  26ea93a

  Copy full SHA for 26ea93a

• Merge pull request #2849 from geoffw0/model-gets

  Show description for f1ad0da
  jbj

  authored
  f1ad0da

  Copy full SHA for f1ad0da

Commits on Mar 17, 2020

• C++: Factor out common code to avoid recursion

  

  Dave Bartolomeo

  committed
  309ccf3

  Copy full SHA for 309ccf3

• C++: Add comment with IR for dynamic init of static var

  

  Dave Bartolomeo

  committed
  772324f

  Copy full SHA for 772324f

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

  

  Dave Bartolomeo

  committed
  709757f

  Copy full SHA for 709757f

• Merge pull request #3002 from theopolis/cpp-linux-drop-privileges-outoforder

  Show description for 84a74f4
  

  Robert Marsh

  authored
  84a74f4

  Copy full SHA for 84a74f4

• C++: Model varargs in IR, Part I

  Show description for 9cc3cda
  

  Dave Bartolomeo

  committed
  9cc3cda

  Copy full SHA for 9cc3cda

Commits on Mar 16, 2020

• Merge branch 'master' into model-gets

  geoffw0

  committed
  034f7cc

  Copy full SHA for 034f7cc

• C++: Support the mirror case with <=.

  geoffw0

  committed
  2cee756

  Copy full SHA for 2cee756

• C++: Behaviour preserving transform.

  geoffw0

  committed
  3c96b09

  Copy full SHA for 3c96b09

• C++: Update DB Stats

  

  Matthew Gretton-Dann

  committed
  3465c96

  Copy full SHA for 3465c96

• C++: Add support for the spaceship operator

  

  Matthew Gretton-Dann

  committed
  06accfe

  Copy full SHA for 06accfe

• C++: Update expression precedences

  Show description for c5b3df1
  

  Matthew Gretton-Dann

  committed
  c5b3df1

  Copy full SHA for c5b3df1

• Add execve to CommandExecution

  

  Ted Reed

  committed
  429b07a

  Copy full SHA for 429b07a

Commits on Mar 13, 2020

• C++: The extractor already provides the getValue result when the variable is a local variable. Thus we can simplify the QL code.

  MathiasVP

  committed
  09984a4

  Copy full SHA for 09984a4

• C++: Fix false positives

  MathiasVP

  committed
  e1942bb

  Copy full SHA for e1942bb

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  11ab2d6

  Copy full SHA for 11ab2d6

• C++: Fix failed tests

  Show description for 9922958
  

  Dave Bartolomeo

  committed
  9922958

  Copy full SHA for 9922958

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  4c0d5c9

  Copy full SHA for 4c0d5c9

Commits on Mar 12, 2020

• C++: Model dynamic initialization of static local variables in IR

  Show description for 1526400
  

  Dave Bartolomeo

  committed
  1526400

  Copy full SHA for 1526400

• Merge pull request #3050 from geoffw0/mismatching_placement_new

  Show description for 917b984
  jbj

  authored
  917b984

  Copy full SHA for 917b984

Commits on Mar 11, 2020

• Formatting and use lower case string matching

  

  Ted Reed

  committed
  07605f5

  Copy full SHA for 07605f5

• C++: Exclude code in templates.

  geoffw0

  committed
  b2c5ce8

  Copy full SHA for b2c5ce8

Commits on Mar 10, 2020

• Move Security/CWE/CWE-273 into experimental

  

  Ted Reed

  committed
  107662f

  Copy full SHA for 107662f

• Merge pull request #3006 from jbj/ir-no-static-init

  Show description for 66fd566
  

  Dave Bartolomeo

  authored
  66fd566

  Copy full SHA for 66fd566

• C++: Unroll recursion in inStaticInitializer

  Show description for bf43475
  jbj

  committed
  bf43475

  Copy full SHA for bf43475

• C++: Share the constant initializer detection

  Show description for 5e01b4b
  jbj

  committed
  5e01b4b

  Copy full SHA for 5e01b4b

• Merge pull request #3020 from aschackmull/dataflow/type-pruning-bigstep

  Show description for bd6c23d
  hvitved

  authored
  bd6c23d

  Copy full SHA for bd6c23d

• Merge pull request #3026 from MathiasVP/simplerangeanalysis-const-var-access

  Show description for 28a9bab
  jbj

  authored
  28a9bab

  Copy full SHA for 28a9bab

• C++: Allow multiple results in getValue

  MathiasVP

  committed
  8b467eb

  Copy full SHA for 8b467eb

Commits on Mar 9, 2020

• C++: Address review comments

  MathiasVP

  committed
  525a000

  Copy full SHA for 525a000

• Merge pull request #2994 from jbj/IRSanity-separate-file

  Show description for 9fae2fa
  

  Dave Bartolomeo

  authored
  9fae2fa

  Copy full SHA for 9fae2fa

• C++: Handle constant variable accesses in SimpleRangeAnalysis.qll

  MathiasVP

  committed
  6dee706

  Copy full SHA for 6dee706