Commits

Breadcrumbs

History for

onbf28451

User selector

All users

All time

Commit History

Commits on Mar 19, 2020

• C++: Better IR for varargs

  Show description for bf28451
  

  Dave Bartolomeo

  committed
  bf28451

  Copy full SHA for bf28451

Commits on Mar 18, 2020

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

  

  Dave Bartolomeo

  committed
  26ea93a

  Copy full SHA for 26ea93a

Commits on Mar 17, 2020

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

  Show description for 9cc3cda
  

  Dave Bartolomeo

  committed
  9cc3cda

  Copy full SHA for 9cc3cda

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 #3020 from aschackmull/dataflow/type-pruning-bigstep

  Show description for bd6c23d
  hvitved

  authored
  bd6c23d

  Copy full SHA for bd6c23d

• C#: Fix tests.

  aschackmull

  committed
  fc87f1e

  Copy full SHA for fc87f1e

Commits on Mar 9, 2020

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

  Show description for 9fae2fa
  

  Dave Bartolomeo

  authored
  9fae2fa

  Copy full SHA for 9fae2fa

• 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++: 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

• C++: IR: faster definitionReachesRank

  Show description for 6b2fd17
  jbj

  committed
  6b2fd17

  Copy full SHA for 6b2fd17

Commits on Mar 2, 2020

• C++/C#: Sync identical files

  MathiasVP

  committed
  20529b4

  Copy full SHA for 20529b4

• 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

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#: Sync identical files.

  geoffw0

  committed
  c6b0d4b

  Copy full SHA for c6b0d4b

• Merge pull request #2909 from yo-h/experimental

  Show description for ec90627
  semmle-qlci

  authored
  ec90627

  Copy full SHA for ec90627

Commits on Feb 27, 2020

• C++/C#: Fix formatting

  

  Dave Bartolomeo

  committed
  b0fb16c

  Copy full SHA for b0fb16c

Commits on Feb 26, 2020

• Merge master for submodule update

  

  Robert Marsh

  committed
  95a762c

  Copy full SHA for 95a762c

Commits on Feb 24, 2020

• Add guidelines for experimental CodeQL queries and libraries

  yo-h

  committed
  43bcd5b

  Copy full SHA for 43bcd5b

• Merge pull request #2887 from MathiasVP/fix-ir-gen-switch

  Show description for 2d9df70
  jbj

  authored
  2d9df70

  Copy full SHA for 2d9df70

• C++/C#: Bind parameter in new case.

  MathiasVP

  committed
  ed430ce

  Copy full SHA for ed430ce

Commits on Feb 23, 2020

• C++/C#: Move sanity check inside InstructionSanity module and accept tests

  MathiasVP

  committed
  af364e6

  Copy full SHA for af364e6

Commits on Feb 22, 2020

• C++: Better fix for `void` type on buffer access

  Show description for 170331b
  

  Dave Bartolomeo

  committed
  170331b

  Copy full SHA for 170331b

Commits on Feb 21, 2020

• C#: Add similar fix to translation of switch statements in C#

  MathiasVP

  committed
  da41cbc

  Copy full SHA for da41cbc

• Merge pull request #2822 from hvitved/dataflow/node-cand-simple-call-context

  Show description for 771cb75
  aschackmull

  authored
  771cb75

  Copy full SHA for 771cb75

• Merge pull request #2872 from aschackmull/dataflow/pathstep-localflow-join

  Show description for 0cc3218
  hvitved

  authored
  0cc3218

  Copy full SHA for 0cc3218

Commits on Feb 20, 2020

• C++/C#: Sync identical files

  MathiasVP

  committed
  780010d

  Copy full SHA for 780010d

• Address review comments

  hvitved

  committed
  a772b82

  Copy full SHA for a772b82

• Merge branch 'master' into rdmarsh/cpp/malloc-alias-locations

  

  Robert Marsh

  committed
  bed6d2b

  Copy full SHA for bed6d2b

Commits on Feb 19, 2020

• Java/C++/C#: s/Callable/DataFlowCallable/

  aschackmull

  committed
  9116643

  Copy full SHA for 9116643

• Java/C++/C#: Improve join-order in pathStep predicate

  aschackmull

  committed
  c6016bb

  Copy full SHA for c6016bb

• C++/C#: Sync identical files after merge

  MathiasVP

  committed
  59a1967

  Copy full SHA for 59a1967