Changes between Version 5 and Version 6 of StaticAnalysis


Ignore:
Timestamp:
05/09/19 15:38:39 (7 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • StaticAnalysis

    v5 v6  
    3939  * for the case of `a[x]` where `a` is a pointer,  there are a number of records correspond to `a[x]` each of which contains an `entity` or `allocation/string` that is referred by `a`
    4040  * for now, read / write sets of a function call is over-approximated: a function can read / write everything visible from its function body.
     41
     42== Todo List ==
     43* generalizes the two analysis above and puts them into ABC
     44* extends the points-to analysis for being aware of array elements and struct fields
     45* extends the read / write analysis with corresponds to the extension of the points-to analysis
     46* extends the read / write analysis with more precise analysis for function calls