Commits

Branch selector

 master

User selector

ddino

Datepicker

All time

Commit History

Commits on Dec 18, 2015

• Fixed FP for blocks used in loops generated by join operator

  Show description for 4feb93e
  

  ddino

  authored and

  facebook-github-bot-1

  committed
  4feb93e

  Copy full SHA for 4feb93e

Commits on Dec 10, 2015

• Extended framework for taint analysis

  Show description for c8b80f2
  

  ddino

  authored and

  facebook-github-bot-5

  committed
  c8b80f2

  Copy full SHA for c8b80f2

Commits on Dec 4, 2015

• Making the checker not report on init methods

  Show description for dd5b3df
  

  ddino

  authored and

  facebook-github-bot-1

  committed
  dd5b3df

  Copy full SHA for dd5b3df

• Drawing retain cycles

  Show description for e76939b
  

  ddino

  authored and

  facebook-github-bot-5

  committed
  e76939b

  Copy full SHA for e76939b

Commits on Dec 1, 2015

• Introducing the DIRECT_ATOMIC_PROPERTY_ACCESS

  Show description for 99c491e
  

  ddino

  authored and

  facebook-github-bot-5

  committed
  99c491e

  Copy full SHA for 99c491e

Commits on Nov 19, 2015

• Adding models of CADisplayLink for catching retain cycles.

  Show description for 761e4ac
  

  ddino

  authored and

  facebook-github-bot-1

  committed
  761e4ac

  Copy full SHA for 761e4ac

Commits on Nov 17, 2015

• Fixing Bad pointer comparison checker in fast iteration

  Show description for 316ad95
  

  ddino

  authored and

  facebook-github-bot-7

  committed
  316ad95

  Copy full SHA for 316ad95

• Improved error message for taint analysis

  Show description for 03b4c11
  

  ddino

  authored and

  facebook-github-bot-7

  committed
  03b4c11

  Copy full SHA for 03b4c11

Commits on Nov 9, 2015

• Fixed line number in the reporting of strong delegate warning

  Show description for 0f5aa34
  

  ddino

  authored and

  facebook-github-bot-7

  committed
  0f5aa34

  Copy full SHA for 0f5aa34

Commits on Nov 6, 2015

• First version of taint analysis.

  Show description for 00e97af
  

  ddino

  authored and

  facebook-github-bot-7

  committed
  00e97af

  Copy full SHA for 00e97af

Commits on Nov 5, 2015

• Framework to emit warning from frontend

  Show description for ae49cac
  

  ddino

  authored and

  facebook-github-bot-1

  committed
  ae49cac

  Copy full SHA for ae49cac

Commits on Oct 9, 2015

• Adding models for NSTimer and NSRunLoop

  Show description for e6625c9
  

  ddino

  authored and

  facebook-github-bot-7

  committed
  e6625c9

  Copy full SHA for e6625c9

Commits on Jul 29, 2015

• 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 23, 2015

• Treating blocks iterators for NSArray

  ddino

  committed
  35b7011

  Copy full SHA for 35b7011

Commits on Jun 19, 2015

• Dealing with __weak/__unsafe_unretained modifier for ivars

  ddino

  committed
  9a93c2e

  Copy full SHA for 9a93c2e

Commits on Jun 16, 2015

• Fixed models for FILE C functions.

  ddino

  committed
  404444d

  Copy full SHA for 404444d

Commits on Jun 11, 2015

• Fixed model for getc and fgetc

  ddino

  committed
  3ce393f

  Copy full SHA for 3ce393f