Code

Integration#1

Code

Merged

xi-liu-ds merged 10 commits intomasterxi-liu-ds/infer:masterfrom integrationxi-liu-ds/infer:integrationCopy head branch name to clipboardDec 1, 2020

+2,069-83

Commits

Commits on Nov 3, 2020

• integrate with infersharp

  xi-liu-ds

  committed
  661ef65

  Copy full SHA for 661ef65

Commits on Nov 5, 2020

• more changes to compatible with infersharp

  xi-liu-ds

  committed
  cd1e6fc

  Copy full SHA for cd1e6fc

• remove useless adds

  xi-liu-ds

  committed
  3fa4160

  Copy full SHA for 3fa4160

Commits on Nov 7, 2020

• resolve incompatibilities

  xi-liu-ds

  committed
  a5c023b

  Copy full SHA for a5c023b

• Merge remote-tracking branch 'upstream/master' into integration

  xi-liu-ds

  committed
  d9b00ca

  Copy full SHA for d9b00ca

Commits on Nov 11, 2020

• null dereference support for C#

  xi-liu-ds

  committed
  0e4489a

  Copy full SHA for 0e4489a

Commits on Nov 12, 2020

• Merge branch 'master' of github.com:xi-liu-ds/infer into integration

  xi-liu-ds

  committed
  9374648

  Copy full SHA for 9374648

Commits on Nov 14, 2020

• generate specs files

  xi-liu-ds

  committed
  b5a8d6d

  Copy full SHA for b5a8d6d

Commits on Nov 17, 2020

• Merge branch 'master' of https://github.com/xi-liu-ds/infer into integration

  xi-liu-ds

  committed
  545c78b

  Copy full SHA for 545c78b

Commits on Dec 1, 2020

• add resource leak support

  xi-liu-ds

  committed
  cc87294

  Copy full SHA for cc87294