Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 27, 2015

• Generate CFG and call graph files.

  

  Rohan Jacob-Rao

  committed
  d8a2ce2

  Copy full SHA for d8a2ce2

Commits on Jul 24, 2015

• [infer][backend] minor refactoring of the code to report leaks

  Show description for d7db177
  jeremydubreil

  committed
  d7db177

  Copy full SHA for d7db177

• [infer][backend] refactoring code for getting reachable hpred's/pure atoms from a prop

  Show description for 60000be
  sblackshear

  committed
  60000be

  Copy full SHA for 60000be

• [whitespace] indent .ml files as well

  jvillard

  committed
  bae8a4d

  Copy full SHA for bae8a4d

• [whitespace] ocp-indent the code

  Show description for 6911a15
  jvillard

  committed
  6911a15

  Copy full SHA for 6911a15

• add ocp-indent configuration and eclipse launcher

  jvillard

  committed
  0368f73

  Copy full SHA for 0368f73

• [infer][backend] eliminating duplicate declaration of ExpSet module

  Show description for d7bb75a
  sblackshear

  committed
  d7bb75a

  Copy full SHA for d7bb75a

• [copyrightor] format start and end of copyright comments

  Show description for ca613a7
  jvillard

  committed
  ca613a7

  Copy full SHA for ca613a7

• [clang] Adding getters and setters for all the methods

  dulmarod

  committed
  d7655a0

  Copy full SHA for d7655a0

• [clang] Reimplement removing nodes from procdesc in a more efficient way

  dulmarod

  committed
  c9f07e3

  Copy full SHA for c9f07e3

• Rename Procname.from_string

  

  Andrzej Kotulski

  committed
  35400dd

  Copy full SHA for 35400dd

Commits on Jul 23, 2015

• [infer][backend] Pruning pure predicates with unreachable vals in order to eliminate PRECONDITION_NOT_FOUND errors.

  Show description for f1daf14
  sblackshear

  committed
  f1daf14

  Copy full SHA for f1daf14

• Change procname types for objc/c functions

  Show description for 687f495
  

  Andrzej Kotulski

  committed
  687f495

  Copy full SHA for 687f495

• Treating blocks iterators for NSArray

  ddino

  committed
  35b7011

  Copy full SHA for 35b7011

• [Infer] Better error message for warnings based on @Nullable

  Show description for 14c4127
  sblackshear

  committed
  14c4127

  Copy full SHA for 14c4127

Commits on Jul 22, 2015

• Start of SIL generation from AST.

  Show description for 0946c9e
  

  Rohan Jacob-Rao

  committed
  0946c9e

  Copy full SHA for 0946c9e

• Remove part of the INSTALL.md that isn't applicable

  Show description for a9e7fac
  

  Rahul Parsani

  committed
  a9e7fac

  Copy full SHA for a9e7fac

• [infer] handle sentinel arguments in symb exec

  Show description for f07c7f9
  jvillard

  committed
  f07c7f9

  Copy full SHA for f07c7f9

• [infer][clang] fix model of sockets

  jvillard

  committed
  768a850

  Copy full SHA for 768a850

• [C Frontend] Always add class prefix to a field name

  Show description for b328ee1
  

  Andrzej Kotulski

  committed
  b328ee1

  Copy full SHA for b328ee1

Commits on Jul 20, 2015

• Disable execution of some custom shell scripts while building

  martinoluca

  committed
  2a0cca5

  Copy full SHA for 2a0cca5

• [back-end] make infer-out the default results directory

  

  Cristiano Calcagno

  committed
  1eb151a

  Copy full SHA for 1eb151a

Commits on Jul 17, 2015

• Indent json files

  Show description for 2b8e8de
  

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

  committed
  2b8e8de

  Copy full SHA for 2b8e8de

• [infer][clang] fix name collision in the C tests

  Show description for 902e5af
  jeremydubreil

  committed
  902e5af

  Copy full SHA for 902e5af

• [infer][java] modeling that the resource created by ZipFile.getInputStream(ZipEntry entry) is closed by ZipFile.close()

  Show description for 9b63476
  jeremydubreil

  committed
  9b63476

  Copy full SHA for 9b63476

• Complete copyright messages.

  

  Cristiano Calcagno

  committed
  3e19946

  Copy full SHA for 3e19946

• gitignore wibble

  jvillard

  committed
  9ad32bb

  Copy full SHA for 9ad32bb

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

Pagination

Previous

Next