Commits

Branch selector

 master

User selector

sblackshear

Datepicker

All time

Commit History

Commits on Dec 1, 2016

• [quandary] don't report FP's due to flow-insensitive traces

  Show description for 0972c8d
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  0972c8d

• [thread-safety] interprocedural traces for thread safety checker

  Show description for 3b161a3
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  3b161a3

• [thread-safety] Lay the groundwork for interprocedural trace-based reporting

  Show description for 579b982
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  579b982

Commits on Nov 30, 2016

• [ondemand] simplify API by removing need to pass type environment

  Show description for 226791b
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  226791b

• [thread-safety] interprocedural analysis

  Show description for 01136cc
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  01136cc

• [thread-safety] adding models for lock methods

  Show description for 937ae12
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  937ae12

Commits on Nov 29, 2016

• [thread-safety] use boolean domain to track locks

  Show description for 9e9ca33
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  9e9ca33

• [quandary] making it easier to specify behavior for unknown functions

  Show description for ad5ff00
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  ad5ff00

Commits on Nov 27, 2016

• [quandary] cheaper handling of unknown code

  Show description for 935018a
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  935018a

Commits on Nov 26, 2016

• [backend] utility function for checking if a procdesc has an empty body

  Show description for 8301250
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  8301250

Commits on Nov 19, 2016

• [reporting] add space to context leak error message

  Show description for 8d427cf
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  8d427cf

• [tests] fix buck integration tests

  Show description for bdfc7de
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  bdfc7de

Commits on Nov 18, 2016

• [guarded-by] support Classname.fieldname syntax

  Show description for a6121a9
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  a6121a9

• [backend] eliminate phantom spaces in printing of types

  Show description for 708c0bf
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  708c0bf

• [quandary] switch to --issues-tests printing

  Show description for adacee5
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  adacee5

• [shame] Fix facebook-clang-plugins

  Show description for 223938a
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  223938a

Commits on Nov 17, 2016

• [quandary] faster access list comparisons

  Show description for 37610b5
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  37610b5

• [quandary] optimizing Quandary compare functions

  Show description for b320714
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  b320714

Commits on Nov 16, 2016

• [quandary] add Errlog traces

  Show description for 8d48c10
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  8d48c10

• [quandary] filter the footprint sources in Trace.should_report

  Show description for 5c2666a
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  5c2666a

Commits on Nov 14, 2016

• [frontend] support Java 8

  Show description for 75d6fb3
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  75d6fb3

Commits on Nov 10, 2016

• [quandary] fix false positives from procedures that are both sources and sinks

  Show description for e8b61f6
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  e8b61f6

• [quandary] understand that parameters are passed by value in Java

  Show description for 4b4e4e6
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  4b4e4e6

Commits on Nov 9, 2016

• [backend] fix cursor leak FPs

  Show description for 8784b9b
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  8784b9b

Commits on Nov 8, 2016

• [backend] differentiate unknown methods and methods with empty summaries

  Show description for ba7cef4
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  ba7cef4

• [context leaks] don't report context leak if reachable context type is null

  Show description for f35a969
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  f35a969

Commits on Nov 7, 2016

• [siof] add fancy interprocedural reporting

  Show description for fcf57c6
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  fcf57c6

• [traces] expose source-sink paths so users of traces can custom-print them

  Show description for a8129be
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  a8129be

Commits on Nov 3, 2016

• [siof] convert domain to sink trace of pvar's

  Show description for 5358646
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  5358646

• [quandary] support StringBuilder's and other methods for propagating String taint

  Show description for 0b97272
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  0b97272

• [traces] Move all trace-related files to checkers

  Show description for ae5f8ef
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  ae5f8ef

• [quandary] support for full interprocedural traces

  Show description for fde7a6e
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  fde7a6e

Commits on Nov 2, 2016

• [siof] convert domain to sink trace of pvar's

  Show description for ea26d6f
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  ea26d6f

• [traces] Move all trace-related files to checkers

  Show description for 3109380
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  3109380

• [quandary] support for full interprocedural traces

  Show description for 768a60c
  

  sblackshear

  authored and

  Facebook Github Bot

  committed
  768a60c

Pagination

Previous

Next