Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 15, 2015

• add test target

  Show description for 7a0c9c8
  

  jvillard

  authored and

  facebook-github-bot-5

  committed
  7a0c9c8

  Copy full SHA for 7a0c9c8

• add --disable-java-analyzers option

  Show description for ea4be06
  

  jvillard

  authored and

  facebook-github-bot-5

  committed
  ea4be06

  Copy full SHA for ea4be06

• better instructions for first-time users

  Show description for 03ccd9d
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  03ccd9d

  Copy full SHA for 03ccd9d

• logging to stderr/stdout all the time

  Show description for 44de91f
  

  sblackshear

  authored and

  facebook-github-bot-7

  committed
  44de91f

  Copy full SHA for 44de91f

• compute version number inside configure script

  Show description for edcc984
  

  jvillard

  authored and

  facebook-github-bot-7

  committed
  edcc984

  Copy full SHA for edcc984

• only log to analyzer_err and analyzer_out files in developer mode

  Show description for 546eaa0
  

  sblackshear

  authored and

  facebook-github-bot-5

  committed
  546eaa0

  Copy full SHA for 546eaa0

• Remove property of maps

  Show description for 742cb41
  

  dulmarod

  authored and

  facebook-github-bot-5

  committed
  742cb41

  Copy full SHA for 742cb41

• Remove parent_line_number information from cfg translation

  Show description for 0bf6333
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-7

  committed
  0bf6333

  Copy full SHA for 0bf6333

• No longer enforce the subtyping rule for the @PerformanceCritical annotation

  Show description for 0def5c4
  

  jeremydubreil

  authored and

  facebook-github-bot-1

  committed
  0def5c4

  Copy full SHA for 0def5c4

• closing the classpath when we're done with it

  Show description for df97489
  

  sblackshear

  authored and

  facebook-github-bot-5

  committed
  df97489

  Copy full SHA for df97489

Commits on Dec 14, 2015

• Fix indentation of multiline copyright comment

  Show description for 63b5779
  

  jberdine

  authored and

  facebook-github-bot-7

  committed
  63b5779

  Copy full SHA for 63b5779

• to avoid redundancy, no longer print the name of the class when printing the name of a constructor

  Show description for d390568
  

  jeremydubreil

  authored and

  facebook-github-bot-1

  committed
  d390568

  Copy full SHA for d390568

• refactoring command line options for debugging

  Show description for 53167d9
  

  sblackshear

  authored and

  facebook-github-bot-1

  committed
  53167d9

  Copy full SHA for 53167d9

Commits on Dec 12, 2015

• Add model of java.lang.Class.getResource

  Show description for b729c93
  

  jberdine

  authored and

  facebook-github-bot-5

  committed
  b729c93

  Copy full SHA for b729c93

• add shasum dependency

  Show description for 01aab39
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  01aab39

  Copy full SHA for 01aab39

• add --disable-c-analyzers option

  Show description for 51f0f89
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  51f0f89

  Copy full SHA for 51f0f89

• check if the C compiler is recent enough

  Show description for 8ddf621
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  8ddf621

  Copy full SHA for 8ddf621

• compile plugin from toplevel Makefile

  Show description for ecc6e76
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  ecc6e76

  Copy full SHA for ecc6e76

• Use doesNotContain instead of containsExactly none

  Show description for d99b6ca
  

  jberdine

  authored and

  facebook-github-bot-7

  committed
  d99b6ca

  Copy full SHA for d99b6ca

Commits on Dec 11, 2015

• Fix naming problems with template methods

  Show description for 6d9c5c6
  

  Andrzej Kotulski

  authored and

  facebook-github-bot-1

  committed
  6d9c5c6

  Copy full SHA for 6d9c5c6

• add version.mli

  Show description for 4d23334
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  4d23334

  Copy full SHA for 4d23334

• do not use ocamlbuild -clean, do not print rm commands

  Show description for a31d45b
  

  jvillard

  authored and

  facebook-github-bot-7

  committed
  a31d45b

  Copy full SHA for a31d45b

• revert accidental downgrade of the facebook-clang-plugins

  Show description for 84ed44f
  

  jvillard

  authored and

  facebook-github-bot-7

  committed
  84ed44f

  Copy full SHA for 84ed44f

• fail if ocamlfind is not installed

  Show description for 85ad874
  

  jvillard

  authored and

  facebook-github-bot-7

  committed
  85ad874

  Copy full SHA for 85ad874

• Don't use the property of maps for finding properties in the frontend checkers

  Show description for fcd040f
  

  dulmarod

  authored and

  facebook-github-bot-7

  committed
  fcd040f

  Copy full SHA for fcd040f

• Replace query for getter and setter with info from the procdesc rather than the property map

  Show description for 339cf56
  

  dulmarod

  authored and

  facebook-github-bot-1

  committed
  339cf56

  Copy full SHA for 339cf56

• fix open-source taint models

  Show description for 2565bb1
  

  jvillard

  authored and

  facebook-github-bot-5

  committed
  2565bb1

  Copy full SHA for 2565bb1

Commits on Dec 10, 2015

• fix typo

  Show description for b8c16dd
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  b8c16dd

  Copy full SHA for b8c16dd

• update build script and instructions

  Show description for 1e75ee6
  

  jvillard

  authored and

  facebook-github-bot-5

  committed
  1e75ee6

  Copy full SHA for 1e75ee6

• no longer fail when the type of an execption is not found in the type environement

  Show description for 24d28c6
  

  jeremydubreil

  authored and

  facebook-github-bot-5

  committed
  24d28c6

  Copy full SHA for 24d28c6

• Extended framework for taint analysis

  Show description for c8b80f2
  

  ddino

  authored and

  facebook-github-bot-5

  committed
  c8b80f2

  Copy full SHA for c8b80f2

• compute taint errors in single pass over the set of atoms

  Show description for c6b8682
  

  sblackshear

  authored and

  facebook-github-bot-1

  committed
  c6b8682

  Copy full SHA for c6b8682

• add interprocedural Java example

  Show description for 731c6cd
  

  jvillard

  authored and

  facebook-github-bot-1

  committed
  731c6cd

  Copy full SHA for 731c6cd

• Model Map.put() alongside Map.containsKey().

  Show description for 1666d7f
  

  Cristiano Calcagno

  authored and

  facebook-github-bot-5

  committed
  1666d7f

  Copy full SHA for 1666d7f

• add more special characters that can appear in the list of filenames generated by Buck

  Show description for 3ba477f
  

  jeremydubreil

  authored and

  facebook-github-bot-1

  committed
  3ba477f

  Copy full SHA for 3ba477f

Pagination

Previous

Next