Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 21, 2017

• Recursion has been removed for gradle capture analysis.

  alex-slesarev

  committed
  90ef9d6

  Copy full SHA for 90ef9d6

• Reverted the original fix for the gradle capture for the projects with spaces in their path.

  alex-slesarev

  committed
  da5fa4d

  Copy full SHA for da5fa4d

• Merge remote-tracking branch 'upstream/master'

  alex-slesarev

  committed
  19b1565

  Copy full SHA for 19b1565

Commits on Jul 20, 2017

• [checkers] use liveness analysis to create dead store checker

  Show description for 73f3eee
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  73f3eee

  Copy full SHA for 73f3eee

• [thread-safety] warning when interface method is called from thread-safe context without annotation

  Show description for 1fb9fb4
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  1fb9fb4

  Copy full SHA for 1fb9fb4

• [driver] do not complain if results directory is empty

  Show description for 54fdab8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  54fdab8

  Copy full SHA for 54fdab8

• [utils] Utils.dir_is_empty was always returning false

  Show description for fb9cad4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fb9cad4

  Copy full SHA for fb9cad4

• [make] restore incrementality of builds

  Show description for a6632d8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a6632d8

  Copy full SHA for a6632d8

Commits on Jul 19, 2017

• [java integration] use argfile when trying to store a lot of data in the environment

  Show description for 58a7cc4
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  58a7cc4

  Copy full SHA for 58a7cc4

• [thread-safety] refactor ThreadSafetyDomain.Access to make it easier to add new access kinds

  Show description for 03120a3
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  03120a3

  Copy full SHA for 03120a3

• [c++] weak_ptr model

  Show description for 30e1f42
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  30e1f42

  Copy full SHA for 30e1f42

• [thread-safety] make Pool subclasses return ownership

  Show description for 5784357
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  5784357

  Copy full SHA for 5784357

• Preserve the name of abduced by-ref logical variables in re-execution phase

  Show description for acb0650
  

  grievejia

  authored and

  facebook-github-bot

  committed
  acb0650

  Copy full SHA for acb0650

• Whitelist comparison operators and their equivalent functors in <functional>

  Show description for 217363f
  

  grievejia

  authored and

  facebook-github-bot

  committed
  217363f

  Copy full SHA for 217363f

Commits on Jul 18, 2017

• Turn the analysis on for std::pair

  Show description for 6c87495
  

  grievejia

  authored and

  facebook-github-bot

  committed
  6c87495

  Copy full SHA for 6c87495

• Whitelist the constructors+conversion operators+destructors for classes listed on whitelisted_cpp_classes

  Show description for 3bacba7
  

  grievejia

  authored and

  facebook-github-bot

  committed
  3bacba7

  Copy full SHA for 3bacba7

Commits on Jul 17, 2017

• Fix a corner case in Normalize.normalize where it could drop useful information during normalization

  Show description for c808124
  

  grievejia

  authored and

  facebook-github-bot

  committed
  c808124

  Copy full SHA for c808124

• [thread-safety] tests for escape analysis

  Show description for 72e778d
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  72e778d

  Copy full SHA for 72e778d

• [javac][wrapper] specify which infer binary to use

  Show description for 4d7742f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4d7742f

  Copy full SHA for 4d7742f

• [pp] hv box for printing collections

  Show description for e828b0b
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  e828b0b

  Copy full SHA for e828b0b

• [inferbo] Avoid precision loss on pruning

  Show description for 2091a52
  

  skcho

  authored and

  facebook-github-bot

  committed
  2091a52

  Copy full SHA for 2091a52

Commits on Jul 15, 2017

• [CLI] don't allow the Java buck integration to store too much data in an environment var

  Show description for 52577c0
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  52577c0

  Copy full SHA for 52577c0

Commits on Jul 14, 2017

• [thread-safety] Interprocedural escape analysis for formals/locals (essentially step (3) in Sam's list).

  Show description for 410728d
  

  Kyriakos Nikolaos Gkorogiannis

  authored and

  facebook-github-bot

  committed
  410728d

  Copy full SHA for 410728d

• [clang] Ignore all -mllvm args passed to clang -cc1

  Show description for d4c7289
  

  Andrzej Kotulski

  authored and

  facebook-github-bot

  committed
  d4c7289

  Copy full SHA for d4c7289

• [linters] Predicate for checking enum constants

  Show description for 416478d
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  416478d

  Copy full SHA for 416478d

• [cpp] Fix failure with c++14 init-capture

  Show description for be0c53d
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  be0c53d

  Copy full SHA for be0c53d

• [buck] include hash of .inferconfig in cache key

  Show description for 29f686d
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  29f686d

  Copy full SHA for 29f686d

• [infer][java] Infer should not suggest @nullable on captured parameters

  Show description for bafd1cf
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  bafd1cf

  Copy full SHA for bafd1cf

Commits on Jul 13, 2017

• [buck] create log files erase at the end of the run

  Show description for 297254d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  297254d

  Copy full SHA for 297254d

• [build] avoid race condition, and do not run atdgen twice, add ocaml_clean

  Show description for 5dd4b1c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5dd4b1c

  Copy full SHA for 5dd4b1c

• introduce new "diff" command

  Show description for d07c8a0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d07c8a0

  Copy full SHA for d07c8a0

• [config] kill --bugs-json option

  Show description for b0c2cfd
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b0c2cfd

  Copy full SHA for b0c2cfd

• [make] fix javac capture

  Show description for 9a2746c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  9a2746c

  Copy full SHA for 9a2746c

• [format] Attach docstrings to be warning 50 clean, other doc fixes

  Show description for 6bbb186
  

  jberdine

  authored and

  facebook-github-bot

  committed
  6bbb186

  Copy full SHA for 6bbb186

• Revert "[infer][PR] Fixed the gradle capture for the projects with spaces in their path."

  Show description for 8c66159
  

  jberdine

  authored and

  facebook-github-bot

  committed
  8c66159

  Copy full SHA for 8c66159

Pagination

Previous

Next