Commits

Branch selector

 master

User selector

skcho

Datepicker

All time

Commit History

Commits on Jul 12, 2018

• Revert "[Inferbo] Add relational domain"

  Show description for 06a04ca
  

  skcho

  authored and

  facebook-github-bot

  committed
  06a04ca

  Copy full SHA for 06a04ca

Commits on Jul 11, 2018

• [Inferbo] Add relational domain

  Show description for 1f7a6e5
  

  skcho

  authored and

  facebook-github-bot

  committed
  1f7a6e5

  Copy full SHA for 1f7a6e5

Commits on Jun 19, 2018

• [Inferbo][Refactoring] Use named parameter

  Show description for 4c6ddb7
  

  skcho

  authored and

  facebook-github-bot

  committed
  4c6ddb7

  Copy full SHA for 4c6ddb7

Commits on May 18, 2018

• [inferbo] preciser widening of bound

  Show description for cac0859
  

  skcho

  authored and

  facebook-github-bot

  committed
  cac0859

  Copy full SHA for cac0859

Commits on Apr 5, 2018

• [inferbo] Add a pointer arithmetic test

  Show description for 4234288
  

  skcho

  authored and

  facebook-github-bot

  committed
  4234288

  Copy full SHA for 4234288

• [inferbo] Add traces in lift functions

  Show description for e12a4a1
  

  skcho

  authored and

  facebook-github-bot

  committed
  e12a4a1

  Copy full SHA for e12a4a1

• [inferbo] Revise eval_locs for array blocks

  Show description for 1f6feef
  

  skcho

  authored and

  facebook-github-bot

  committed
  1f6feef

  Copy full SHA for 1f6feef

Commits on Apr 4, 2018

• [inferbo] Fix test code

  Show description for a353d69
  

  skcho

  authored and

  facebook-github-bot

  committed
  a353d69

  Copy full SHA for a353d69

• [inferbo][bugfix] Revise gathering safety conditions in sub-exp

  Show description for 4aafe8a
  

  skcho

  authored and

  facebook-github-bot

  committed
  4aafe8a

  Copy full SHA for 4aafe8a

• [inferbo][bugfix] Pointer arithmetics on pointers to non-array

  Show description for b42d66d
  

  skcho

  authored and

  facebook-github-bot

  committed
  b42d66d

  Copy full SHA for b42d66d

• [inferbo] Revise semantics of plus and minus

  Show description for 0b26a57
  

  skcho

  authored and

  facebook-github-bot

  committed
  0b26a57

  Copy full SHA for 0b26a57

• [frontend] Parse binary operator using types of parameters

  Show description for 00e1139
  

  skcho

  authored and

  facebook-github-bot

  committed
  00e1139

  Copy full SHA for 00e1139

Commits on Mar 29, 2018

• [inferbo] Add tests for relational analysis

  Show description for d15894c
  

  skcho

  authored and

  facebook-github-bot

  committed
  d15894c

  Copy full SHA for d15894c

Commits on Mar 16, 2018

• [inferbo] Add an issue type for alarms by unknown function call

  Show description for bd040cf
  

  skcho

  authored and

  facebook-github-bot

  committed
  bd040cf

  Copy full SHA for bd040cf

Commits on Mar 12, 2018

• [inferbo][bugfix] Pruning array block (NE case)

  Show description for 426af10
  

  skcho

  authored and

  facebook-github-bot

  committed
  426af10

  Copy full SHA for 426af10

• [inferbo][bugfix] Plus semantics of interval domain

  Show description for 18ea3f9
  

  skcho

  authored and

  facebook-github-bot

  committed
  18ea3f9

  Copy full SHA for 18ea3f9

Commits on Mar 8, 2018

• [inferbo][bugfix] Add index to offset at array fields

  Show description for 8fd04d5
  

  skcho

  authored and

  facebook-github-bot

  committed
  8fd04d5

  Copy full SHA for 8fd04d5

• [inferbo] Simplify realloc model

  Show description for 469a5f6
  

  skcho

  authored and

  facebook-github-bot

  committed
  469a5f6

  Copy full SHA for 469a5f6

Commits on Mar 7, 2018

• [inferbo] Avoid array field is evaluated to the unknown location

  Show description for 09ae1f9
  

  skcho

  authored and

  facebook-github-bot

  committed
  09ae1f9

  Copy full SHA for 09ae1f9

• [inferbo] Collect array accesses from sub expressions

  Show description for d6740e9
  

  skcho

  authored and

  facebook-github-bot

  committed
  d6740e9

  Copy full SHA for d6740e9

Commits on Mar 6, 2018

• [inferbo] Revise realloc semantics

  Show description for e537f8f
  

  skcho

  authored and

  facebook-github-bot

  committed
  e537f8f

  Copy full SHA for e537f8f

Commits on Mar 1, 2018

• [inferbo] Return newly allocated locations in callees

  Show description for 6bacdf4
  

  skcho

  authored and

  facebook-github-bot

  committed
  6bacdf4

  Copy full SHA for 6bacdf4

Commits on Feb 28, 2018

• [inferbo][bugfix] Declare parameter of flexible array member

  Show description for e304b51
  

  skcho

  authored and

  facebook-github-bot

  committed
  e304b51

  Copy full SHA for e304b51

Commits on Feb 24, 2018

• [infer] Use inline record for Typ.Tarray

  Show description for 373e6b3
  

  skcho

  authored and

  facebook-github-bot

  committed
  373e6b3

  Copy full SHA for 373e6b3

• [inferbo] Support flexible array member

  Show description for f55f382
  

  skcho

  authored and

  facebook-github-bot

  committed
  f55f382

  Copy full SHA for f55f382

• [inferbo] Add a model for "placement new"

  Show description for 3ef619e
  

  skcho

  authored and

  facebook-github-bot

  committed
  3ef619e

  Copy full SHA for 3ef619e

• [inferbo] Initialize array member in class

  Show description for 4299848
  

  skcho

  authored and

  facebook-github-bot

  committed
  4299848

  Copy full SHA for 4299848

• [inferbo] Use record environment type for model

  Show description for 8dd45ee
  

  skcho

  authored and

  facebook-github-bot

  committed
  8dd45ee

  Copy full SHA for 8dd45ee

Commits on Feb 23, 2018

• [infer] Disable sorting fields

  Show description for 077d2ae
  

  skcho

  authored and

  facebook-github-bot

  committed
  077d2ae

  Copy full SHA for 077d2ae

Commits on Feb 21, 2018

• [inferbo] Precise symbol instantiation

  Show description for f2b2041
  

  skcho

  authored and

  facebook-github-bot

  committed
  f2b2041

  Copy full SHA for f2b2041

Commits on Feb 14, 2018

• [inferbo] Prune by assert

  Show description for ebddb14
  

  skcho

  authored and

  facebook-github-bot

  committed
  ebddb14

  Copy full SHA for ebddb14

Commits on Feb 12, 2018

• [inferbo] Add new operator model

  Show description for c514b19
  

  skcho

  authored and

  facebook-github-bot

  committed
  c514b19

  Copy full SHA for c514b19

Commits on Nov 20, 2017

• [inferbo] Fix evaluation of Lindex

  Show description for 9deec6f
  

  skcho

  authored and

  facebook-github-bot

  committed
  9deec6f

  Copy full SHA for 9deec6f

Commits on Oct 31, 2017

• [inferbo] revise semantics of vector::data

  Show description for 042dd7d
  

  skcho

  authored and

  facebook-github-bot

  committed
  042dd7d

  Copy full SHA for 042dd7d

Commits on Oct 16, 2017

• [inferbo] Add symbol for unsigned int

  Show description for eb0c727
  

  skcho

  authored and

  facebook-github-bot

  committed
  eb0c727

  Copy full SHA for eb0c727

Pagination

Previous

Next