Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 30, 2015

• [infer][backend] basic Activity leak checking

  Show description for 9cf74e0
  sblackshear

  committed
  9cf74e0

  Copy full SHA for 9cf74e0

• update fcp

  

  Andrzej Kotulski

  committed
  642e6fd

  Copy full SHA for 642e6fd

• [clang] Add is_instance as part of the type of objc methods

  Show description for 732d23c
  dulmarod

  committed
  732d23c

  Copy full SHA for 732d23c

• Added LLVM target to top level makefile.

  

  Rohan Jacob-Rao

  committed
  53125b1

  Copy full SHA for 53125b1

• Add models for many methods in javax.lang.model and com.sun.source

  Show description for 17fc7c9
  jkeljo

  committed
  17fc7c9

  Copy full SHA for 17fc7c9

• Factor out modelTables module

  Show description for a1c735d
  jkeljo

  committed
  a1c735d

  Copy full SHA for a1c735d

Commits on Jul 29, 2015

• Add `-lib` flag to InferPrint to read specs files from multiple places

  Show description for cfd8a55
  martinoluca

  committed
  cfd8a55

  Copy full SHA for cfd8a55

• [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

Pagination

Previous

Next