projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ae9f1d) | patch
changes: 1) refactoring codes 2) forgot to implement ownsership checking in the flow...
authoryeom <yeom>
Thu, 1 Sep 2011 23:07:45 +0000 (23:07 +0000)
committeryeom <yeom>
Thu, 1 Sep 2011 23:07:45 +0000 (23:07 +0000)
commitd4d475b9430d56a8ae3fb5e8956bd0efec423020
tree6e50651b041b4099e7b90ddc6fc998b124bb3c2btree | snapshot
parent8ae9f1d2ad8929676eac4bc52e479dbed8cc6f02commit | diff
changes: 1) refactoring codes 2) forgot to implement ownsership checking in the flow-down rule. it checks that right hand side pointer variable should be owned by the current method.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java diff | blob | history
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/LinearTypeCheck.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaType.java diff | blob | history
Irvine Research Compiler