Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 9, 2017

• [infer][java] disable the cache of specs files used to speed up the analysis of Buck Java projects

  Show description for 6f0c4cd
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  6f0c4cd

  Copy full SHA for 6f0c4cd

• [clang trans] Simplify translation of if(not expr)

  Show description for 3b2e9c7
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  3b2e9c7

  Copy full SHA for 3b2e9c7

• [inferbo] Do not report subsumed issues

  Show description for 093bf28
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  093bf28

  Copy full SHA for 093bf28

• [inferbo] Prune vector's size by vector::empty() condition check

  Show description for 54de599
  

  skcho

  authored and

  facebook-github-bot

  committed
  54de599

  Copy full SHA for 54de599

• pp_instr_list should end with ;

  Show description for a1451c5
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  a1451c5

  Copy full SHA for a1451c5

Commits on Oct 6, 2017

• [threadsafety] Address issue arising from actuals and formals having different lengths at call sites (this time for ObjC).

  Show description for d179c4c
  

  Kyriakos Nikolaos Gkorogiannis

  authored and

  facebook-github-bot

  committed
  d179c4c

  Copy full SHA for d179c4c

• [linters] Add a linter for checking const pointers to Objective-C classes

  Show description for 4769c48
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  4769c48

  Copy full SHA for 4769c48

• [threadsafety] Fix exception thrown by list of actuals and formals not having the same length in some cases (C++?)

  Show description for 9e1d96c
  

  Kyriakos Nikolaos Gkorogiannis

  authored and

  facebook-github-bot

  committed
  9e1d96c

  Copy full SHA for 9e1d96c

• [threadsafety] Fix make-excluder uses which potentially incorrectly assume a lock is held.

  Show description for a64034f
  

  Kyriakos Nikolaos Gkorogiannis

  authored and

  facebook-github-bot

  committed
  a64034f

  Copy full SHA for a64034f

• [clang] Remove two more cases of assert false cases that happen in the apps

  Show description for 3924d25
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  3924d25

  Copy full SHA for 3924d25

• Fix pp_instr_list nontailrecursiveness

  Show description for 6c39c2c
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  6c39c2c

  Copy full SHA for 6c39c2c

• [thread-safety] Remove some dead code

  Show description for 7b891e4
  

  jberdine

  authored and

  facebook-github-bot

  committed
  7b891e4

  Copy full SHA for 7b891e4

• [thread-safety][c++] Do not quotient by may_alias when analyzing non-Java code

  Show description for e9cd087
  

  jberdine

  authored and

  facebook-github-bot

  committed
  e9cd087

  Copy full SHA for e9cd087

• [thread-safety][c++] Skip folly::detail::SingletonHolder::createInstance

  Show description for c081cef
  

  jberdine

  authored and

  facebook-github-bot

  committed
  c081cef

  Copy full SHA for c081cef

• [thread-safety][c++] Add models for several synchronization operations

  Show description for b92909f
  

  jberdine

  authored and

  facebook-github-bot

  committed
  b92909f

  Copy full SHA for b92909f

Commits on Oct 5, 2017

• [thread-safety] Rebase accesses in callees onto variables of the caller, where possible.

  Show description for 5c1fab6
  

  Kyriakos Nikolaos Gkorogiannis

  authored and

  facebook-github-bot

  committed
  5c1fab6

  Copy full SHA for 5c1fab6

• [biabduction] catch exceptions more broadly

  Show description for da83337
  

  jvillard

  authored and

  facebook-github-bot

  committed
  da83337

  Copy full SHA for da83337

• [clang] split StringLiterals into chunks

  Show description for 810d756
  

  jvillard

  authored and

  facebook-github-bot

  committed
  810d756

  Copy full SHA for 810d756

• [buck] do not bin the contents of buck-out if --continue is passed

  Show description for e5ee17e
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e5ee17e

  Copy full SHA for e5ee17e

• [clang] do not translate dependent types

  Show description for 2d644b3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2d644b3

  Copy full SHA for 2d644b3

• [inferbo] Replace buckets with issue types

  Show description for eff7bb5
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  eff7bb5

  Copy full SHA for eff7bb5

• Buckets comments and cosmetics

  Show description for 4873e78
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  4873e78

  Copy full SHA for 4873e78

• Use Spawn.spawn instead of Unix.fork_exec to avoid swallowing exceptions while invoking execve

  Show description for 929c9c0
  

  martinoluca

  authored and

  facebook-github-bot

  committed
  929c9c0

  Copy full SHA for 929c9c0

• [cleanup] Remove L.progress printing of creating results database

  Show description for c3564c9
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  c3564c9

  Copy full SHA for c3564c9

Commits on Oct 4, 2017

• [thread-safety] Change meaning of @ThreadSafe to "can run in parallel with any thread including itself"

  Show description for 32583aa
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  32583aa

  Copy full SHA for 32583aa

• [thread-safety] More informative printing of access paths

  Show description for 96af301
  

  jberdine

  authored and

  facebook-github-bot

  committed
  96af301

  Copy full SHA for 96af301

• [traces] add matches function for extra flexibility in expanding traces

  Show description for 983bcbb
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  983bcbb

  Copy full SHA for 983bcbb

• [linters] Do not report MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE when the variable has __block attribute

  Show description for ca23ed5
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  ca23ed5

  Copy full SHA for ca23ed5

• [linters] Do not report MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE for variables of type std:vector

  Show description for bb3201a
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  bb3201a

  Copy full SHA for bb3201a

• [linters] Do not report MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE for the loop indices

  Show description for e5007cf
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  e5007cf

  Copy full SHA for e5007cf

• [backend] When adding a new field to the tenv, sort the list of fields

  Show description for 85e4707
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  85e4707

  Copy full SHA for 85e4707

• [inferbo] Do not report duplicate issues

  Show description for 22c0520
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  22c0520

  Copy full SHA for 22c0520

• [inferbo] Move proof obligations to their own module and split them

  Show description for d5c08ee
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  d5c08ee

  Copy full SHA for d5c08ee

• [thread-safety][cleanup] get rid of thumbs_up

  Show description for 76bf0a7
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  76bf0a7

  Copy full SHA for 76bf0a7

Commits on Oct 3, 2017

• [thread-safety] better error message for actuals/formals mismatch

  Show description for 768d6e4
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  768d6e4

  Copy full SHA for 768d6e4

Pagination

Previous

Next