Commits

Breadcrumbs

History for

on4c0d5c9

User selector

All users

All time

Commit History

Commits on Mar 13, 2020

• 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

Commits on Mar 10, 2020

• 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

• Merge pull request #3021 from aschackmull/dataflow/partial-path-perf

  Show description for 6a10516
  hvitved

  authored
  6a10516

  Copy full SHA for 6a10516

• Java/C++/C#: Fix performance issue in partial paths exploration.

  aschackmull

  committed
  a2bbacf

  Copy full SHA for a2bbacf

• Java/C++/C#: Sync.

  aschackmull

  committed
  f491fcd

  Copy full SHA for f491fcd

Commits on Mar 6, 2020

• C++: Ignore constant static initializers

  jbj

  committed
  cc38abd

  Copy full SHA for cc38abd

• C++: autoformat fixup

  jbj

  committed
  a13f355

  Copy full SHA for a13f355

Commits on Mar 5, 2020

• C++: Move InstructionSanity out of Instruction.qll

  Show description for e29f517
  jbj

  committed
  e29f517

  Copy full SHA for e29f517

Commits on Mar 4, 2020

• Merge pull request #2983 from jbj/definitionReachesRank-perf

  Show description for 80ec5c1
  

  Robert Marsh

  authored
  80ec5c1

  Copy full SHA for 80ec5c1

• C++: IR: faster definitionReachesRank

  Show description for 6b2fd17
  jbj

  committed
  6b2fd17

  Copy full SHA for 6b2fd17

• Merge pull request #2941 from jbj/Overflow-stmtDominates

  Show description for bbcf0b5
  MathiasVP

  authored
  bbcf0b5

  Copy full SHA for bbcf0b5

• C++: pragma[noinline] on GVN charpred

  Show description for 60bcbf4
  jbj

  committed
  60bcbf4

  Copy full SHA for 60bcbf4

Commits on Mar 3, 2020

• Merge pull request #2917 from MathiasVP/inexact-is-chi-for-all-aliased-memory

  Show description for 88c74b2
  jbj

  authored
  88c74b2

  Copy full SHA for 88c74b2

• Merge pull request #2957 from MathiasVP/dataflow-dispatch-same-num-args

  Show description for 4f23acf
  jbj

  authored
  4f23acf

  Copy full SHA for 4f23acf

Commits on Mar 2, 2020

• C++: Only do argument check for

  MathiasVP

  committed
  0b082a4

  Copy full SHA for 0b082a4

• C++: Add getCanonicalQLClass overrides in Variable

  jbj

  committed
  76066af

  Copy full SHA for 76066af

• Merge branch 'master' into inexact-is-chi-for-all-aliased-memory

  MathiasVP

  committed
  9df7a7a

  Copy full SHA for 9df7a7a

• C++/C#: Sync identical files

  MathiasVP

  committed
  20529b4

  Copy full SHA for 20529b4

• C++: should only match those functions that has the same number of parameters as the call has arguments.

  MathiasVP

  committed
  14d836b

  Copy full SHA for 14d836b

• Merge pull request #2935 from jbj/MissingEnumCaseInSwitch-perf

  Show description for 3a3aa75
  MathiasVP

  authored
  3a3aa75

  Copy full SHA for 3a3aa75

• Merge pull request #2900 from dbartol/dbartol/void-buffer

  Show description for dab6691
  jbj

  authored
  dab6691

  Copy full SHA for dab6691

• Merge pull request #2797 from rdmarsh2/rdmarsh/cpp/malloc-alias-locations

  Show description for ec85f9f
  jbj

  authored
  ec85f9f

  Copy full SHA for ec85f9f

• C++: autoformat fixup

  jbj

  committed
  30b5db3

  Copy full SHA for 30b5db3

• C++: Performance fix for large basic blocks

  Show description for bbc5787
  jbj

  committed
  bbc5787

  Copy full SHA for bbc5787

Commits on Feb 28, 2020

• Merge pull request #2934 from geoffw0/add_tests

  Show description for 28ee756
  

  Robert Marsh

  authored
  28ee756

  Copy full SHA for 28ee756

• C++: Avoid `iDominates*` in Overflow.qll

  Show description for dfe1a7e
  jbj

  committed
  dfe1a7e

  Copy full SHA for dfe1a7e