Commits

Breadcrumbs

History for

ond7b69fc

User selector

All users

All time

Commit History

Commits on Feb 13, 2020

• C++/C#: Fix sync config file for value numbering sharing

  MathiasVP

  committed
  d4c6f48

  Copy full SHA for d4c6f48

Commits on Feb 6, 2020

• C++: separate IR ValueNumber newtype and interface

  

  Robert Marsh

  authored and

  MathiasVP

  committed
  ffaaed0

  Copy full SHA for ffaaed0

Commits on Jan 28, 2020

• C++/C#: Update shared file list

  

  Dave Bartolomeo

  committed
  d12b140

  Copy full SHA for d12b140

Commits on Jan 22, 2020

• C++/C#: Make escape analysis unsound by default

  Show description for 9d35ff7
  

  Dave Bartolomeo

  committed
  9d35ff7

  Copy full SHA for 9d35ff7

Commits on Dec 19, 2019

• C#: Sync `XML.qll` with other languages

  hvitved

  committed
  82c368e

  Copy full SHA for 82c368e

Commits on Dec 17, 2019

• Ensure that XML libraries for C++, Java, JavaScript and Python stay in sync.

  

  Max Schaefer

  committed
  81f51e4

  Copy full SHA for 81f51e4

Commits on Nov 22, 2019

• C++/C#: Add IR SSA sanity tests

  

  dave-bartolomeo

  authored and

  Dave Bartolomeo

  committed
  51ff262

  Copy full SHA for 51ff262

Commits on Sep 28, 2019

• Merge from master and share value numbering

  dave-bartolomeo

  committed
  bcd987c

  Copy full SHA for bcd987c

Commits on Sep 27, 2019

• C++, C#: Share unaliased SSA files between languages

  Show description for f76334c
  dave-bartolomeo

  committed
  f76334c

  Copy full SHA for f76334c

• C++, C#: Sync `IRType.qll` between languages

  dave-bartolomeo

  committed
  c389432

  Copy full SHA for c389432

Commits on Sep 10, 2019

• C++: Shared TaintTrackingImpl for IR TaintTracking

  jbj

  committed
  80a0027

  Copy full SHA for 80a0027

Commits on Sep 2, 2019

• C++: Local field flow using global library

  Show description for e9a029c
  jbj

  committed
  e9a029c

  Copy full SHA for e9a029c

Commits on Aug 29, 2019

• Merge pull request #1827 from jbj/sbb-tidy

  Show description for 1215da2
  geoffw0

  authored
  1215da2

  Copy full SHA for 1215da2

Commits on Aug 28, 2019

• Synced files

  Show description for c74898e
  

  AndreiDiaconu1

  committed
  c74898e

  Copy full SHA for c74898e

• Synced more files

  

  AndreiDiaconu1

  committed
  de6f547

  Copy full SHA for de6f547

• C#/C++: Share IR implementation

  

  dave-bartolomeo

  authored and

  AndreiDiaconu1

  committed
  609ca03

  Copy full SHA for 609ca03

Commits on Aug 26, 2019

• C++: Sync the two copies of SubBasicBlocks.qll

  Show description for 17ee3f5
  jbj

  committed
  17ee3f5

  Copy full SHA for 17ee3f5

Commits on Aug 21, 2019

• C++/C#/Java: Shared TaintTrackingImpl.qll

  Show description for 25701f2
  jbj

  committed
  25701f2

  Copy full SHA for 25701f2

Commits on Aug 20, 2019

• C#: Use pyrameterized modules for TaintTracking

  Show description for 11583b6
  jbj

  committed
  11583b6

  Copy full SHA for 11583b6

• Java: Use pyrameterized modules for TaintTracking

  jbj

  committed
  aeb2323

  Copy full SHA for aeb2323

• C++: Use pyrameterized modules for TaintTracking

  jbj

  committed
  d388be7

  Copy full SHA for d388be7

Commits on Aug 7, 2019

• C#: Add more copies of the data flow library

  hvitved

  committed
  081ee99

  Copy full SHA for 081ee99

Commits on Jul 29, 2019

• Merge pull request #1607 from dave-bartolomeo/dave/CrossLanguageIR

  Show description for 6bd22b0
  

  Robert Marsh

  authored
  6bd22b0

  Copy full SHA for 6bd22b0

Commits on Jul 25, 2019

• Java: Delete deprecated dependency DataFlowImplDepr.

  aschackmull

  committed
  3d340d4

  Copy full SHA for 3d340d4

Commits on Jul 19, 2019

• C++: Add `*Imports.qll` files to identical-files.json

  dave-bartolomeo

  committed
  efa854e

  Copy full SHA for efa854e

Commits on May 6, 2019

• C#: Add shared data flow files

  hvitved

  committed
  a6fa6df

  Copy full SHA for a6fa6df

Commits on Mar 12, 2019

• C++: FunctionIR -> IRFunction

  dave-bartolomeo

  committed
  b5a3edf

  Copy full SHA for b5a3edf

Commits on Feb 13, 2019

• C++: Better tracking of SSA memory accesses

  Show description for b40fd95
  dave-bartolomeo

  committed
  b40fd95

  Copy full SHA for b40fd95

Commits on Dec 14, 2018

• C++: Remove infeasible edges to reachable blocks

  Show description for 56bb9dc
  dave-bartolomeo

  committed
  56bb9dc

  Copy full SHA for 56bb9dc

Commits on Dec 11, 2018

• C++: Remove aliased_ssa instantiation of IR reachability

  Show description for 5ba51e3
  dave-bartolomeo

  committed
  5ba51e3

  Copy full SHA for 5ba51e3

• C++: Remove unreachable IR

  Show description for 99d33f9
  dave-bartolomeo

  committed
  99d33f9

  Copy full SHA for 99d33f9

• C++: Simple constant analysis

  Show description for 59fc77f
  dave-bartolomeo

  committed
  59fc77f

  Copy full SHA for 59fc77f

Commits on Nov 30, 2018

• C++: IR-based dataflow

  dave-bartolomeo

  committed
  58f7596

  Copy full SHA for 58f7596

Commits on Nov 26, 2018

• C++: insert Chi nodes in the IR successor relation

  Show description for a33b591
  

  Robert Marsh

  authored and

  dave-bartolomeo

  committed
  a33b591

  Copy full SHA for a33b591

• C++: recompute IRBlock membership at each stage

  Show description for f9ed399
  

  Robert Marsh

  authored and

  dave-bartolomeo

  committed
  f9ed399

  Copy full SHA for f9ed399