Open varivera opened 6 years ago
It is better to add predecessors to the graph representing the aliasing. It will help the analysis when structures (i.e conditionals, loops --including recursion) are being analysed
It is better to add predecessors to the graph representing the aliasing. It will help the analysis when structures (i.e conditionals, loops --including recursion) are being analysed