Changes between Version 4 and Version 5 of PointsToAnalysis


Ignore:
Timestamp:
02/15/16 16:50:20 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PointsToAnalysis

    v4 v5  
    4040      `obj(ea[ei])={ea[ei]}`
    4141
     42==== Statements ====
     431. assignment: `p=q`
     44   `obj(p)=old(obj(p)) U obj(q)`
     45
     462. if-else: `if(c)p=q; else p=r;`
     47    `obj(p)=old(obj(p)) U .{...obj(q)}` (TBC)
     48
    4249==== Questions ====
    43501. how about arrays of pointers: