added for handling method with child SESE.
authoryeom <yeom>
Tue, 27 Oct 2009 17:47:57 +0000 (17:47 +0000)
committeryeom <yeom>
Tue, 27 Oct 2009 17:47:57 +0000 (17:47 +0000)
commitdc480919319111a7ed5b67bff3881a04b7bd4058
treeb211ed8a311b266501fb7944416b951e5f1e503f
parent8b760ab64e6b0819c0ad4605698f40bf0616e325
added for handling method with child SESE.
It collects pre-effects of callee in the first phase, and then it converts pre-effects into caller's.
Robust/src/Analysis/MLP/MLPAnalysis.java
Robust/src/Analysis/MLP/MethodSummary.java [new file with mode: 0644]
Robust/src/Analysis/MLP/ParentChildConflictsMap.java