Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 16, 2015

• [java] Add TextUtils.isEmpty model

  Show description for f6cb99f
  

  Deniz Türkoglu

  committed
  f6cb99f

  Copy full SHA for f6cb99f

• Add module to fix copyright messages.

  

  Cristiano Calcagno

  committed
  df04749

  Copy full SHA for df04749

• [infer][java] update the installation process to use javalib 2.3.1 and sawja 1.5.1

  Show description for d6fc0d4
  jeremydubreil

  committed
  d6fc0d4

  Copy full SHA for d6fc0d4

Commits on Jul 15, 2015

• [infer][java] fix model of InputStreamReader to take into account charset given in lowercase

  Show description for 392cd0d
  jeremydubreil

  committed
  392cd0d

  Copy full SHA for 392cd0d

• [infer][tracing] disabling non working tests for ArrayIndexOutOfBoundsException

  Show description for ef27abc
  jeremydubreil

  committed
  ef27abc

  Copy full SHA for ef27abc

• [C Frontend] Get support for map pointer -> decl from fcp

  Show description for 2d087b7
  

  Andrzej Kotulski

  committed
  2d087b7

  Copy full SHA for 2d087b7

• [clang] propagate parameters of sentinel attr to the backend

  Show description for 72c4354
  jvillard

  committed
  72c4354

  Copy full SHA for 72c4354

Commits on Jul 14, 2015

• [clang] Remove call to create_local_procdesc and create it only when it's called.

  dulmarod

  committed
  b79028a

  Copy full SHA for b79028a

• Handle java sources from a file

  Show description for 092e447
  

  =?UTF-8?q?Deniz=20T=C3=BCrkoglu?=

  committed
  092e447

  Copy full SHA for 092e447

Commits on Jul 13, 2015

• Initial LLVM parser.

  

  Rohan Jacob-Rao

  committed
  fc0ca6b

  Copy full SHA for fc0ca6b

• [Bucketing] Improve error bucketing by using constant propagation when detecting direct null assignments.

  

  Cristiano Calcagno

  committed
  6bde9bd

  Copy full SHA for 6bde9bd

Commits on Jul 9, 2015

• [infer][clang] test reporting of assertion failures

  jeremydubreil

  committed
  1356fd3

  Copy full SHA for 1356fd3

Commits on Jul 8, 2015

• [inferTraceBugs] fix selected/displayed bug mismatch

  Show description for 5912e60
  jvillard

  committed
  5912e60

  Copy full SHA for 5912e60

• [Eradicate] Fix issue where direct throw instructions were not handled like method calls that trow exceptions.

  

  Cristiano Calcagno

  committed
  a94fab5

  Copy full SHA for a94fab5

• Update fcp, add support for pointers to declarations

  

  Andrzej Kotulski

  committed
  2365e62

  Copy full SHA for 2365e62

Commits on Jul 7, 2015

• Update facebook-clang-plugin

  Show description for 927653e
  

  Andrzej Kotulski

  committed
  927653e

  Copy full SHA for 927653e

• [inferconfig] don't fail during filtering if a file does not exist

  

  Cristiano Calcagno

  committed
  9c4a4a1

  Copy full SHA for 9c4a4a1

• [clang] Fixing some error names in the filtering.

  dulmarod

  committed
  442a15e

  Copy full SHA for 442a15e

Commits on Jul 6, 2015

• [infer] remove Sil.Avariadic_function_argument

  Show description for c264010
  jvillard

  committed
  c264010

  Copy full SHA for c264010

• [infer] more generic and correct handling of arrayWithObjects:

  Show description for 9354b15
  jvillard

  committed
  9354b15

  Copy full SHA for 9354b15

• [infer][tracing] add an example of inter-procedural array out of bounds error

  Show description for 8779b80
  jeremydubreil

  committed
  8779b80

  Copy full SHA for 8779b80

• [clang] Add option print_buckets. It is needed to get the right list of errors.

  dulmarod

  committed
  9e3e250

  Copy full SHA for 9e3e250

• [infer] Moving the getter for the return variable from Cfg.Procdesc to Sil

  Show description for 4013e13
  jeremydubreil

  committed
  4013e13

  Copy full SHA for 4013e13

• [infer] implements call by procedure name

  Show description for d808a3e
  jeremydubreil

  committed
  d808a3e

  Copy full SHA for d808a3e

Commits on Jul 3, 2015

• [clang] Adding option analyzer to InferPrint in inferiOS to avoid analysing generated files

  dulmarod

  committed
  41fe321

  Copy full SHA for 41fe321

• [infer] refactoring to isolate in a single place the need for the procedure description of the callees

  Show description for 393f5aa
  jeremydubreil

  committed
  393f5aa

  Copy full SHA for 393f5aa

• Revert "[clang] Removing the case of flagging npes in initialisers. This causes many FPs."

  Show description for 63b1d1a
  dulmarod

  committed
  63b1d1a

  Copy full SHA for 63b1d1a

Commits on Jul 2, 2015

• [clang] Removing the case of flagging npes in initialisers. This causes many FPs.

  Show description for 18173a7
  dulmarod

  committed
  18173a7

  Copy full SHA for 18173a7

• [Infer][Java] Adding is_static metadata to Java procname's

  sblackshear

  committed
  ca65b2b

  Copy full SHA for ca65b2b

Commits on Jul 1, 2015

• [infer][java] prevent the closeable as resource approach to report resource leak when close() throws an exception

  Show description for 2125bfd
  jeremydubreil

  committed
  2125bfd

  Copy full SHA for 2125bfd

Commits on Jun 30, 2015

• [clang] Adding support for NSMakeCollectable and CFMakeCollectable

  Show description for ea3e614
  dulmarod

  committed
  ea3e614

  Copy full SHA for ea3e614

• [Frontend][C++] Add support for default params

  Show description for 9f9bc53
  

  Andrzej Kotulski

  committed
  9f9bc53

  Copy full SHA for 9f9bc53

• [clang] Translating nonnull attributes as assertions

  dulmarod

  committed
  d15e60f

  Copy full SHA for d15e60f

• [Bucketing] Promote NPEs originating from a call with a null parameter to bucket b1.

  

  Cristiano Calcagno

  committed
  a87bedb

  Copy full SHA for a87bedb

• [Infer][capture] Fixing Python AttributeError in javac capture

  Show description for 712d27b
  sblackshear

  committed
  712d27b

  Copy full SHA for 712d27b

Pagination

Previous

Next