Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2015

• [infer][java] avoid converting javac command lines from bash to python as some buck options are incorectly parsed otherwise

  Show description for 743c730
  jeremydubreil

  committed
  743c730

  Copy full SHA for 743c730

• Adding a test in symbolic execution when a dangling uninitialized pointer is dereferenced

  Show description for 7002d0d
  ddino

  committed
  7002d0d

  Copy full SHA for 7002d0d

Commits on Jul 28, 2015

• Clean up some comments.

  

  Rohan Jacob-Rao

  committed
  795742a

  Copy full SHA for 795742a

• [infer] adding is_activity method

  Show description for 4ad73ac
  sblackshear

  committed
  4ad73ac

  Copy full SHA for 4ad73ac

• [infer][reporting] Adding boilerplate for reporting Activity leaks

  sblackshear

  committed
  66ef0ec

  Copy full SHA for 66ef0ec

• [Infer] resolving TODO's by using java_is_static

  Show description for 2f7c957
  sblackshear

  committed
  2f7c957

  Copy full SHA for 2f7c957

• Update fcp to include recent changes

  Show description for 7409d48
  

  Andrzej Kotulski

  committed
  7409d48

  Copy full SHA for 7409d48

• Remove build warnings by commenting out unused tokens.

  

  Rohan Jacob-Rao

  committed
  be640f9

  Copy full SHA for be640f9

Commits on Jul 27, 2015

• [Infer] Adding warning to eliminate needless rec keywords, fixing all warnings.

  Show description for e107058
  sblackshear

  committed
  e107058

  Copy full SHA for e107058

• [infer][build] Treating OCaml compiler warnings as build-blocking errors

  Show description for f0c30fc
  sblackshear

  committed
  f0c30fc

  Copy full SHA for f0c30fc

• [infer][frontend] catch exception from directory already existing

  sblackshear

  committed
  4e389cc

  Copy full SHA for 4e389cc

• 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

Pagination

Previous

Next