Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 26, 2015

• bumping Infer version to 0.2.0

  jvillard

  committed
  7f72397

  Copy full SHA for 7f72397

• Don't add buckets to error message by default

  Show description for f99f650
  

  Andrzej Kotulski

  committed
  f99f650

  Copy full SHA for f99f650

Commits on Jun 25, 2015

• [infer][java] removing the previously check-in copy of older versions of javalib and sawja

  jeremydubreil

  committed
  e3e9221

  Copy full SHA for e3e9221

• [infer][java] handle int boxing in HashMap model

  Show description for 34aa9c2
  jvillard

  committed
  34aa9c2

  Copy full SHA for 34aa9c2

• [infer][java] model for Integer

  Show description for 904ebb0
  jvillard

  committed
  904ebb0

  Copy full SHA for 904ebb0

• javalib 2.3a support

  

  Cristiano Calcagno

  committed
  784c5b2

  Copy full SHA for 784c5b2

• [C++][Frontend] Add translation for nullptr

  Show description for 819227d
  

  Andrzej Kotulski

  committed
  819227d

  Copy full SHA for 819227d

• [infer][java] do not pass -Werror to javac

  Show description for 119521b
  jvillard

  committed
  119521b

  Copy full SHA for 119521b

• [clang] Remove setjmp that is causing problems in the models in linux.

  Show description for 751288e
  dulmarod

  committed
  751288e

  Copy full SHA for 751288e

Commits on Jun 24, 2015

• [infer][models] Fixing InferAssume

  Show description for f6784e3
  sblackshear

  committed
  f6784e3

  Copy full SHA for f6784e3

• [clang] Fixing the model for fgetpos so that it works in linux

  Show description for 695c873
  dulmarod

  committed
  695c873

  Copy full SHA for 695c873

• [Infer][Java] Prevent assertion failure in jTransStaticField

  Show description for 4feb925
  sblackshear

  committed
  4feb925

  Copy full SHA for 4feb925

• [clang] Fix translation of fast loops

  dulmarod

  committed
  d3f20dc

  Copy full SHA for d3f20dc

• [java] Upstream support for class names with $dollar (requires "opam update")

  

  Cristiano Calcagno

  committed
  bec5baf

  Copy full SHA for bec5baf

• [infer][java] add working example with closeQuietly in the tests

  Show description for f002600
  jeremydubreil

  committed
  f002600

  Copy full SHA for f002600

• [infer][java] add models for some common classes implementing Closeable without being resources

  Show description for 11712ca
  jeremydubreil

  committed
  11712ca

  Copy full SHA for 11712ca

• [infer][java] change the integration with buck to use the infer toplevel instead of inferJ

  Show description for c1db76f
  jeremydubreil

  committed
  c1db76f

  Copy full SHA for c1db76f

Commits on Jun 23, 2015

• Emit InferClang command on the .sh file when running in --frontend-stats mode (and similar)

  martinoluca

  committed
  2cf8734

  Copy full SHA for 2cf8734

• [Checkers] checker for printf format strings.

  

  Cristiano Calcagno

  committed
  dd066c8

  Copy full SHA for dd066c8

• [clang] Sorting the fields in structs and classes. Was needed in the backend and forgotten.

  Show description for 510fc4e
  dulmarod

  committed
  510fc4e

  Copy full SHA for 510fc4e

• [infer][java] call inferlib programmatically instead of calling inferJ from the command line

  Show description for 843e600
  jeremydubreil

  committed
  843e600

  Copy full SHA for 843e600

• [Eradicate @nullable checker] Don't apply sub-typing checks for method definitions in the case of constructors.

  

  Cristiano Calcagno

  committed
  d2e2bbf

  Copy full SHA for d2e2bbf

• Commit alignment

  martinoluca

  committed
  0e06f04

  Copy full SHA for 0e06f04

• Add basic logging to infer -- script

  Show description for 77130a1
  

  Andrzej Kotulski

  committed
  77130a1

  Copy full SHA for 77130a1

Commits on Jun 22, 2015

• [infer][java] remove no longer required fields in the models for Java

  Show description for 224f311
  jeremydubreil

  committed
  224f311

  Copy full SHA for 224f311

• [infer][Java] Treat classes implementing Closeable as a resource unless modeled otherwise

  jeremydubreil

  committed
  2b7060e

  Copy full SHA for 2b7060e

• [infer][Java] Deal with empty strings '' in the classpath

  Show description for fda373c
  jeremydubreil

  committed
  fda373c

  Copy full SHA for fda373c

• [infer][java] Add an example of an ant project in the repository

  Show description for 0c6db22
  jeremydubreil

  committed
  0c6db22

  Copy full SHA for 0c6db22

• Add clang frontend arguments to the xcodebuild module

  Show description for 9912514
  martinoluca

  committed
  9912514

  Copy full SHA for 9912514

• Remove INFER_DEVELOPER env variable

  

  Andrzej Kotulski

  committed
  fc1b26e

  Copy full SHA for fc1b26e

Commits on Jun 21, 2015

• [Eradicate @nullable checker] Fix missing reports of PARAMETER_NOT_NULLABLE across modules.

  

  Cristiano Calcagno

  committed
  fb300b9

  Copy full SHA for fb300b9

Commits on Jun 19, 2015

• [infer][java] attach the file attribute of Cursor to the object itself, not a field.

  Show description for 762f572
  jeremydubreil

  committed
  762f572

  Copy full SHA for 762f572

• [Infer][angelic] Adding angelic abduction on actuals passed by reference

  sblackshear

  committed
  d7a4474

  Copy full SHA for d7a4474

• [infer] add infrastructure for function attributes in sil and clang

  Show description for ddec46d
  jvillard

  committed
  ddec46d

  Copy full SHA for ddec46d

• Fix minor makefile issues

  Show description for 98ab517
  martinoluca

  committed
  98ab517

  Copy full SHA for 98ab517

Pagination

Previous

Next