projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e94f955) | patch
bug fix: The result of the pointer analysis is broken when it tries to do something...
authoryeom <yeom>
Wed, 2 May 2012 00:32:02 +0000 (00:32 +0000)
committeryeom <yeom>
Wed, 2 May 2012 00:32:02 +0000 (00:32 +0000)
commit2c9fc049afee82726ae47ec7ea2630cfe1623f21
tree3547888c9da97c660e945e5280a22793148e8957tree | snapshot
parente94f955167b58e9356e2258eac3e66564084129bcommit | diff
bug fix: The result of the pointer analysis is broken when it tries to do something for a flat literal node. Since the modeling of a flat literal node is only required for the additional runtime check which verifies the allocation site of objects pointed to(+ it has not yet fully implemented), no problem to turn it off. Turn back to the same way of the OOPSLA DOJ version.
Robust/src/Analysis/Disjoint/PointerMethod.java diff | blob | history
Robust/src/Analysis/Pointer/Pointer.java diff | blob | history
Irvine Research Compiler