Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 24, 2016

• Fix roots with new names for InferPrint and InferAnalyze

  Show description for 5d3a15f
  

  Andrzej Kotulski

  authored and

  Facebook Github Bot 4

  committed
  5d3a15f

  Copy full SHA for 5d3a15f

• Handle l-value refs correctly

  Show description for e19550a
  

  Ryan Rhee

  authored and

  Facebook Github Bot 9

  committed
  e19550a

  Copy full SHA for e19550a

• setup for creating very simple absint checkers

  Show description for 36b0a95
  

  sblackshear

  authored and

  Facebook Github Bot 1

  committed
  36b0a95

  Copy full SHA for 36b0a95

• make @OnBind an alias for @NoAllocation

  Show description for 89fa74b
  

  sblackshear

  authored and

  Facebook Github Bot 7

  committed
  89fa74b

  Copy full SHA for 89fa74b

• adding tests for context leaks via weak reference

  Show description for c5088f4
  

  sblackshear

  authored and

  Facebook Github Bot 7

  committed
  c5088f4

  Copy full SHA for c5088f4

Commits on Aug 23, 2016

• java traces

  Show description for f64e880
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  f64e880

  Copy full SHA for f64e880

• Add case for blocks when building a procname

  Show description for 6ad78e7
  

  dulmarod

  authored and

  Facebook Github Bot

  committed
  6ad78e7

  Copy full SHA for 6ad78e7

• Extend Inferprint with a command --issues-tests to print issues in a format suitable for tests

  Show description for a6254f6
  

  Cristiano Calcagno

  authored and

  Facebook Github Bot 4

  committed
  a6254f6

  Copy full SHA for a6254f6

• Add basic support for starting ocaml repl with infer code

  Show description for a31c541
  

  Andrzej Kotulski

  authored and

  Facebook Github Bot 4

  committed
  a31c541

  Copy full SHA for a31c541

• pass -l to infer.py

  Show description for c2ca6a2
  

  jvillard

  authored and

  Facebook Github Bot 8

  committed
  c2ca6a2

  Copy full SHA for c2ca6a2

• Make the is_global_var not fire for the static local variables

  Show description for 9ae19d0
  

  dulmarod

  authored and

  Facebook Github Bot 4

  committed
  9ae19d0

  Copy full SHA for 9ae19d0

Commits on Aug 22, 2016

• bump version: 0.9.1 -> 0.9.2

  Show description for b4f6ea1
  

  jvillard

  authored and

  Facebook Github Bot

  committed
  b4f6ea1

  Copy full SHA for b4f6ea1

• Convert Inferprint and Inferanalyze to Reason

  Show description for ed8d112
  

  Cristiano Calcagno

  authored and

  Facebook Github Bot 9

  committed
  ed8d112

  Copy full SHA for ed8d112

• detect unsigned values inside structured expressions

  Show description for 26a6594
  

  jvillard

  authored and

  Facebook Github Bot 0

  committed
  26a6594

  Copy full SHA for 26a6594

• Check early whether the given decl has to be checked with linters or not

  Show description for 7de52e7
  

  martinoluca

  authored and

  Facebook Github Bot 6

  committed
  7de52e7

  Copy full SHA for 7de52e7

• move --fail-on-issue functionality to OCaml

  Show description for e1f1919
  

  jvillard

  authored and

  Facebook Github Bot 0

  committed
  e1f1919

  Copy full SHA for e1f1919

• Cleanup instruction names: use Load/Store instead of Letderef/Set.

  Show description for 91d9cd8
  

  Cristiano Calcagno

  authored and

  Facebook Github Bot 2

  committed
  91d9cd8

  Copy full SHA for 91d9cd8

• Remove unused module CodeQuery.

  Show description for c0969da
  

  Cristiano Calcagno

  authored and

  Facebook Github Bot 4

  committed
  c0969da

  Copy full SHA for c0969da

Commits on Aug 21, 2016

• handle casts

  Show description for 262a121
  

  sblackshear

  authored and

  Facebook Github Bot 0

  committed
  262a121

  Copy full SHA for 262a121

Commits on Aug 20, 2016

• track sinks

  Show description for 514107e
  

  sblackshear

  authored and

  Facebook Github Bot 1

  committed
  514107e

  Copy full SHA for 514107e

• propagate tainted sources

  Show description for f002866
  

  sblackshear

  authored and

  Facebook Github Bot 7

  committed
  f002866

  Copy full SHA for f002866

Commits on Aug 19, 2016

• Revert "[C++] Move models of smart pointers to custom namespace"

  Show description for 7615794
  

  Andrzej Kotulski

  authored and

  Facebook Github Bot 5

  committed
  7615794

  Copy full SHA for 7615794

• align --help and support -h

  Show description for 3f60f54
  

  jvillard

  authored and

  Facebook Github Bot 3

  committed
  3f60f54

  Copy full SHA for 3f60f54

• Put current method in context

  Show description for 07bf714
  

  dulmarod

  authored and

  Facebook Github Bot 1

  committed
  07bf714

  Copy full SHA for 07bf714

• test that running infer deletes the previous infer-out folder

  Show description for 2da8940
  

  jvillard

  authored and

  Facebook Github Bot 1

  committed
  2da8940

  Copy full SHA for 2da8940

• compile *.java files only

  Show description for 4e2cc84
  

  jvillard

  authored and

  Facebook Github Bot 7

  committed
  4e2cc84

  Copy full SHA for 4e2cc84

• Apply type resolution to qualify fields and variants in Prop.

  Show description for 6221956
  

  Cristiano Calcagno

  authored and

  Facebook Github Bot 6

  committed
  6221956

  Copy full SHA for 6221956

Commits on Aug 18, 2016

• intraprocedural taint analysis that records sources

  Show description for 3b12208
  

  sblackshear

  authored and

  Facebook Github Bot 8

  committed
  3b12208

  Copy full SHA for 3b12208

• exit with correct error code when infer.py fails

  Show description for dda4921
  

  jvillard

  authored and

  Facebook Github Bot 8

  committed
  dda4921

  Copy full SHA for dda4921

• adding missing functionality to analyzerTester

  Show description for 90c8f55
  

  sblackshear

  authored and

  Facebook Github Bot 7

  committed
  90c8f55

  Copy full SHA for 90c8f55

• taint domain

  Show description for e853b01
  

  sblackshear

  authored and

  Facebook Github Bot 5

  committed
  e853b01

  Copy full SHA for e853b01

• mapping of ids to raw access path

  Show description for 20584be
  

  sblackshear

  authored and

  Facebook Github Bot 1

  committed
  20584be

  Copy full SHA for 20584be

• do not print infer.py usage message on wrong arguments

  Show description for 0add05d
  

  jvillard

  authored and

  Facebook Github Bot 5

  committed
  0add05d

  Copy full SHA for 0add05d

Commits on Aug 17, 2016

• do not havoc actuals of skip functions with const parameters

  Show description for 145cb74
  

  jvillard

  authored and

  Facebook Github Bot 7

  committed
  145cb74

  Copy full SHA for 145cb74

• qual_type fields are namespaced now

  Show description for 7603395
  

  jvillard

  authored and

  Facebook Github Bot 4

  committed
  7603395

  Copy full SHA for 7603395

Pagination

Previous

Next