Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 25, 2019

• only write to html/json when needed

  qhanam

  committed
  384e8c5

• test for missing exit states

  qhanam

  committed
  ec120c0

• don't analyze functions recursively

  qhanam

  committed
  52a50f3

Commits on Apr 24, 2019

• don't over-write states with function call exit state

  qhanam

  committed
  7f62ec0

Commits on Apr 23, 2019

• fix npe when switch contains call site

  qhanam

  committed
  041a60b

Commits on Apr 12, 2019

• fix kontinuation (intra-proc stmt order) construction

  qhanam

  committed
  f648cb1

Commits on Apr 8, 2019

• switch crit with deps for async error handling warning

  qhanam

  committed
  4175485

Commits on Apr 6, 2019

• updated expressions return updated BValues

  qhanam

  committed
  8f7615e

Commits on Apr 4, 2019

• filter caught exception callsite deps for required APIs

  qhanam

  committed
  3245a3e

• small change to crit/deps for error handling checkers

  qhanam

  committed
  0ae0e59

Commits on Apr 3, 2019

• required API is also a criterion

  qhanam

  committed
  618c92e

• only flag statements where params are used

  qhanam

  committed
  5da5dd3

• store param names to lookup during async error handling checker

  qhanam

  committed
  551f3d6

• add checker for async error handling

  qhanam

  committed
  78ac903

Commits on Apr 2, 2019

• fix reachable function identification

  qhanam

  committed
  d91c26d

• find API + function for protected callsites

  qhanam

  committed
  c959a89

• add the 'sync error handling' checker

  qhanam

  committed
  4a75820

Commits on Apr 1, 2019

• avoid spurious callsite changes from rename refactoring

  qhanam

  committed
  43ad923

• look for rename refactors in callsite targets and args

  qhanam

  committed
  70f6eee

Commits on Mar 31, 2019

• check for rename refactorings during assignment

  qhanam

  committed
  44fe0d5

• only change params on new callsites

  qhanam

  committed
  6947a8f

• add un-analyzed reachable functions to event loop

  qhanam

  committed
  796082f

• add (async and sync) callbacks to the event loop

  qhanam

  committed
  9a97dd9

Commits on Mar 30, 2019

• changed function pointers return changed values

  qhanam

  committed
  dcfe25c

• search initializer for call sites

  qhanam

  committed
  94ca9e0

Commits on Mar 29, 2019

• fix state propagation errors

  qhanam

  committed
  813320d

• fix state equivalence check

  qhanam

  committed
  c5bf357

Commits on Mar 28, 2019

• fix NPEs when transfering over call site

  qhanam

  committed
  676c409

• add call site nodes to the intra-proc control flow

  qhanam

  committed
  c5bce75

• fix null entry states and intra-proc control flow order

  qhanam

  committed
  c40c37e

• merge function return values and summary states

  qhanam

  committed
  695237c

• pre-compute instruction order for a CFG

  qhanam

  committed
  8b35785

Commits on Mar 25, 2019

• evaluate function calls in topological order

  qhanam

  committed
  5817557

Commits on Mar 15, 2019

• make continuation a queue so instruction order is correct

  qhanam

  committed
  968afce

• add callsite change dependencies to callee AST nodes

  qhanam

  committed
  2752f59

Pagination

PreviousNext