implemented all detectXXBug methods in PropConInstructionAnalyisiVisitor
fixed multiple bug detection
implemented all detectXXBug methods of StateUnmodCtorAnalysisVisitor and
Analyze() of StateUnmodCtorAnalyzer
- renamed detectAAStoreBug to detectAStoreBug
- changed method signature from V(ReferenceSlot, ReferenceSlot) to
V(ReferenceSlot, Slot) at detectAStoreBug and detectPutFieldBug
implemented all detectXXBug methods to
StateUnmodFieldsModifyAnalysisVisitor
implemented all detectXXBug methods at
StateUnmodRefPublishedAnalysisVisitor
implemented linkObjects at Heap and rewrote visitAStore