Commits

Breadcrumbs

History for

onb94b4b7

User selector

All users

All time

Commit History

Commits on Mar 26, 2020

• C#: Fix tests

  calumgrant

  committed
  b94b4b7

  Copy full SHA for b94b4b7

Commits on Mar 25, 2020

• Merge pull request #2975 from rdmarsh2/printir-generate-all

  Show description for 3767794
  

  Dave Bartolomeo

  authored
  3767794

  Copy full SHA for 3767794

Commits on Mar 24, 2020

• C#: Make `IRConfiguration.qll` just forward to the implementation

  Show description for 2b69cc9
  

  Dave Bartolomeo

  committed
  2b69cc9

  Copy full SHA for 2b69cc9

Commits on Mar 23, 2020

• C++/C#: Fix bad overlap sanity failures

  Show description for c5ac357
  

  Dave Bartolomeo

  committed
  c5ac357

  Copy full SHA for c5ac357

• C++/C#: Add sanity test for invalid overlap from `getDefinitionOverlap()`

  Show description for a2741da
  

  Dave Bartolomeo

  committed
  a2741da

  Copy full SHA for a2741da

• Merge pull request #3092 from dbartol/dbartol/VarArgIR2_ElectricBoogaloo

  Show description for 1346592
  jbj

  authored
  1346592

  Copy full SHA for 1346592

• Merge pull request #3091 from hvitved/csharp/xpath-injection-more-sinks

  Show description for 9eee16b
  lcartey

  authored
  9eee16b

  Copy full SHA for 9eee16b

• Merge pull request #2903 from hvitved/dataflow/performance

  Show description for 888c504
  aschackmull

  authored
  888c504

  Copy full SHA for 888c504

Commits on Mar 20, 2020

• Autoformat

  hvitved

  committed
  2d90e7d

  Copy full SHA for 2d90e7d

Commits on Mar 19, 2020

• C++: Better IR for varargs

  Show description for bf28451
  

  Dave Bartolomeo

  committed
  bf28451

  Copy full SHA for bf28451

• C#: More XPath injection sinks

  hvitved

  committed
  fc74a48

  Copy full SHA for fc74a48

• C#: Teach XPath injection query about `XPathNavigator`

  hvitved

  committed
  4b3cf72

  Copy full SHA for 4b3cf72

Commits on Mar 18, 2020

• Data flow: Sync files

  hvitved

  committed
  9379245

  Copy full SHA for 9379245

• Address review comments

  hvitved

  committed
  d0aaaad

  Copy full SHA for d0aaaad

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

  

  Dave Bartolomeo

  committed
  26ea93a

  Copy full SHA for 26ea93a

• Data flow: Sync files

  hvitved

  committed
  3bd6429

  Copy full SHA for 3bd6429

• Address review comments

  hvitved

  committed
  321b912

  Copy full SHA for 321b912

Commits on Mar 17, 2020

• C#: add debug switch to IRConfiguration

  

  Robert Marsh

  committed
  3a66b04

  Copy full SHA for 3a66b04

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

  Show description for 9cc3cda
  

  Dave Bartolomeo

  committed
  9cc3cda

  Copy full SHA for 9cc3cda

• Data flow: Sync files

  hvitved

  committed
  2e8bd5c

  Copy full SHA for 2e8bd5c

• Address review comments

  hvitved

  committed
  0645940

  Copy full SHA for 0645940

• C++/C#: autoformat

  

  Robert Marsh

  committed
  de2d23b

  Copy full SHA for de2d23b

Commits on Mar 13, 2020

• Data flow: Sync files

  hvitved

  committed
  f935f5e

  Copy full SHA for f935f5e

• Data flow: Refactoring + performance improvements

  Show description for 17e904f
  hvitved

  committed
  17e904f

  Copy full SHA for 17e904f

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 11, 2020

• C++/C#: resync

  

  Robert Marsh

  committed
  cc99ddf

  Copy full SHA for cc99ddf

• C++/C#: sync files and update imports

  

  Robert Marsh

  committed
  1878d04

  Copy full SHA for 1878d04

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