Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 9, 2018

• [cleanup] Move ObjC/C++-specific Procname functions to dedicated module

  Show description for 1a75ec9
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  1a75ec9

  Copy full SHA for 1a75ec9

• [clang] translate lambdas that capture this

  Show description for 3d170a8
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  3d170a8

  Copy full SHA for 3d170a8

• [clang] update plugin to stop exporting long strings

  Show description for 6ecb64b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6ecb64b

  Copy full SHA for 6ecb64b

• [clang] Make another crash into incorrect_assumption

  Show description for 366f4f5
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  366f4f5

  Copy full SHA for 366f4f5

• [bi-abduction] Do not abduce reference parameters constraints for recursive calls

  Show description for 14445fa
  

  da319

  authored and

  facebook-github-bot

  committed
  14445fa

  Copy full SHA for 14445fa

• [litho] fix divergence bug in unroll_call

  Show description for c031891
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  c031891

  Copy full SHA for c031891

Commits on Feb 8, 2018

• [infer][java] translate the annotations of the callees

  Show description for b903b2d
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  b903b2d

  Copy full SHA for b903b2d

• [cleanup] delete tags that are added but never read

  Show description for b4d046a
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  b4d046a

  Copy full SHA for b4d046a

• [clang] simplify translation of this expressions

  Show description for 9ae77b6
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  9ae77b6

  Copy full SHA for 9ae77b6

• [cleanup] Remove Tags from JSON

  Show description for a4078b4
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  a4078b4

  Copy full SHA for a4078b4

• [pp] print contents of argfiles, recursively, on error

  Show description for 1d80ce3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1d80ce3

  Copy full SHA for 1d80ce3

• [base] alphabetize EventLogger event record type fields

  Show description for 7f6920e
  

  avarun42

  authored and

  facebook-github-bot

  committed
  7f6920e

  Copy full SHA for 7f6920e

• [retain cycles] Implement dotty files for retain cycles new

  Show description for 4218142
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  4218142

  Copy full SHA for 4218142

• [reporting] add additional fields to AnalysisStats event

  Show description for 97c3644
  

  avarun42

  authored and

  facebook-github-bot

  committed
  97c3644

  Copy full SHA for 97c3644

• [IR] combine is_objc_instance_method and is_cpp_instance_method fields in ProcAttributes into method_kind

  Show description for ad10435
  

  avarun42

  authored and

  facebook-github-bot

  committed
  ad10435

  Copy full SHA for ad10435

• [infer][backend] simplify the resolution of the attributes

  Show description for 06406ea
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  06406ea

  Copy full SHA for 06406ea

• [infer][genrule] use Eradicate for the genrule test

  Show description for 5f3c3ee
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  5f3c3ee

  Copy full SHA for 5f3c3ee

Commits on Feb 7, 2018

• [retain cycles] Do not report when the captured variable is weak

  Show description for 91fbe68
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  91fbe68

  Copy full SHA for 91fbe68

• [ProcnameDispatcher] Optimization and do not crash with Java

  Show description for d61c492
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  d61c492

  Copy full SHA for d61c492

Commits on Feb 6, 2018

• [infer][cleanup] minor code simplication

  Show description for 3be3ca4
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  3be3ca4

  Copy full SHA for 3be3ca4

• [infer][checkers] remove leftover debugging code

  Show description for 5ed234c
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  5ed234c

  Copy full SHA for 5ed234c

• [clang] echo clang stdout when running non-plugin commands

  Show description for ab9c18b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ab9c18b

  Copy full SHA for ab9c18b

• [db] record symbolic capture timestamps for source files

  Show description for 70c2a50
  

  jvillard

  authored and

  facebook-github-bot

  committed
  70c2a50

  Copy full SHA for 70c2a50

Commits on Feb 5, 2018

• [infer][nullable checker] add tests for the early return

  Show description for 2228f74
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  2228f74

  Copy full SHA for 2228f74

• [racerd] new lock domain

  Show description for 584b106
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  584b106

  Copy full SHA for 584b106

• [clang] change CTrans_utils.Self.SelfClassException to use new CFrontend_config.ocaml_pos type instead of raw tuple

  Show description for 315db07
  

  avarun42

  authored and

  facebook-github-bot

  committed
  315db07

  Copy full SHA for 315db07

• [linters] Add logging and caught exceptions to the linters

  Show description for 8053734
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  8053734

  Copy full SHA for 8053734

Commits on Feb 2, 2018

• [docker] bump infer version to 0.13.1

  Show description for f1e01bd
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f1e01bd

  Copy full SHA for f1e01bd

• [infer][clang] convert assert false to incorrect_assumption in CProcname

  Show description for 47b5104
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  47b5104

  Copy full SHA for 47b5104

• [clang] convert some assert false's to structured fails

  Show description for 82d033c
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  82d033c

  Copy full SHA for 82d033c

Commits on Feb 1, 2018

• Revert occurence counting change

  Show description for 71a3843
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  71a3843

  Copy full SHA for 71a3843

• [reporting] Added logging of procedures analysis stats to backend

  Show description for cbe6ea4
  

  avarun42

  authored and

  facebook-github-bot

  committed
  cbe6ea4

  Copy full SHA for cbe6ea4

• Create sledge directory

  Show description for d61b93b
  

  jberdine

  authored and

  facebook-github-bot

  committed
  d61b93b

  Copy full SHA for d61b93b

Commits on Jan 31, 2018

• [quandary] ProcessBuilder as sink

  Show description for 37ab9ec
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  37ab9ec

  Copy full SHA for 37ab9ec

• [quandary] thrift services as sources in Java

  Show description for ab77cfe
  

  sblackshear

  authored and

  facebook-github-bot

  committed
  ab77cfe

  Copy full SHA for ab77cfe

Pagination

Previous

Next