Commits

Branch selector

 master

User selector

sblackshear

Datepicker

All time

Commit History

Commits on May 9, 2017

• [test] diagnose invalid source file issue

  Show description for 9157f42
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  9157f42

  Copy full SHA for 9157f42

• [quandary] support sources that taint a pointer arg or arg passed by ref rather than the return value

  Show description for 6af6ef3
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  6af6ef3

  Copy full SHA for 6af6ef3

• [quandary] log error to summary instead of pdesc

  Show description for 52ed886
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  52ed886

  Copy full SHA for 52ed886

• [quandary] tests for passthroughs

  Show description for 28bc279
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  28bc279

  Copy full SHA for 28bc279

Commits on May 8, 2017

• [quandary] treat call to unknown operator= as assignment

  Show description for a0377fe
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  a0377fe

  Copy full SHA for a0377fe

• [quandary] handle return value passed by reference in sources

  Show description for 9dc7e3d
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  9dc7e3d

  Copy full SHA for 9dc7e3d

• [tests] tests for reporting cross-module errors with buck

  Show description for fe8142d
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  fe8142d

  Copy full SHA for fe8142d

Commits on May 6, 2017

• [cli] parse classpath from argfiles

  Show description for 6f33fa4
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  6f33fa4

  Copy full SHA for 6f33fa4

Commits on May 5, 2017

• [thread-safety] understand custom Buck locks

  Show description for 4425f09
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  4425f09

  Copy full SHA for 4425f09

Commits on May 4, 2017

• [cleanup] replace Location.dummy with Location.none where acceptable

  Show description for 6680126
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  6680126

  Copy full SHA for 6680126

• [hil] functor for easily creating HIL analyses

  Show description for 19da59c
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  19da59c

  Copy full SHA for 19da59c

Commits on May 3, 2017

• [CI] install aspcud on travis

  Show description for 9672715
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  9672715

  Copy full SHA for 9672715

• [quandary] allow custom sources/sinks in C++

  Show description for a02b37a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  a02b37a

  Copy full SHA for a02b37a

Commits on May 2, 2017

• [quandary] delegate handling of call to HIL

  Show description for 3258bc2
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  3258bc2

  Copy full SHA for 3258bc2

• [quandary] delegate handling of assignment to HIL

  Show description for 80030c8
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  80030c8

  Copy full SHA for 80030c8

• [quandary] delegate cast handling to HIL

  Show description for d248780
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  d248780

  Copy full SHA for d248780

Commits on May 1, 2017

• [quandary] delegate id map management to HIL

  Show description for 8f10cae
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  8f10cae

  Copy full SHA for 8f10cae

• [thread-safety] remove hacky special case for Builder's

  Show description for 7b44236
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  7b44236

  Copy full SHA for 7b44236

• [thread-safety] clean up code unused after HIL conversion

  Show description for 728412c
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  728412c

  Copy full SHA for 728412c

• [thread-safety] convert Call logic to HIL

  Show description for f7a8d50
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  f7a8d50

  Copy full SHA for f7a8d50

• [thread-safety] convert Write logic to HIL

  Show description for 6ff77fe
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  6ff77fe

  Copy full SHA for 6ff77fe

• [integration] make it possible to run Inferbo/Quandary/Siof/Threadsafety on Clang buck projects

  Show description for 135ac8b
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  135ac8b

  Copy full SHA for 135ac8b

Commits on Apr 28, 2017

• [hil] add Unbind operation for removing a temporary binding

  Show description for aadb26a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  aadb26a

  Copy full SHA for aadb26a

• [CLI] parse argfile contents into Config vars

  Show description for 78a7865
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  78a7865

  Copy full SHA for 78a7865

Commits on Apr 27, 2017

• [absint] BottomLiftedDomain should satisfy WithBottom signature

  Show description for 1c23876
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  1c23876

  Copy full SHA for 1c23876

• [cleanup] replace type_has_supertype with supertype_exists

  Show description for 863d902
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  863d902

  Copy full SHA for 863d902

Commits on Apr 26, 2017

• [quandary] add option for parsing endpoints from inferconfig

  Show description for 3c0cf11
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  3c0cf11

  Copy full SHA for 3c0cf11

• [thread-safety] convert Prune logic to HIL

  Show description for 5de8161
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  5de8161

  Copy full SHA for 5de8161

• [java frontend] fix infinite loop

  Show description for 8dbd91b
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  8dbd91b

  Copy full SHA for 8dbd91b

Commits on Apr 25, 2017

• [quandary] a few more ContentProvider sinks

  Show description for a4f2d99
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  a4f2d99

  Copy full SHA for a4f2d99

Commits on Apr 24, 2017

• [thread-safety] fix typo in printing of domain info

  Show description for 48d99f3
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  48d99f3

  Copy full SHA for 48d99f3

• [hil] HIL instructions

  Show description for 2416594
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  2416594

  Copy full SHA for 2416594

• [hil] HIL expressions

  Show description for 0caac1a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  0caac1a

  Copy full SHA for 0caac1a

Commits on Apr 21, 2017

• [quandary] ContentProvider Uri's as sources/files as sinks

  Show description for 20aff78
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  20aff78

  Copy full SHA for 20aff78

Commits on Apr 20, 2017

• [quandary] more IPC sources

  Show description for 3024d9a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  3024d9a

  Copy full SHA for 3024d9a

Pagination

Previous

Next