projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f0eb4c) | patch
bug fix on flow-down rule: check if all of assignments done by invoking method respec...
authoryeom <yeom>
Wed, 17 Aug 2011 23:18:16 +0000 (23:18 +0000)
committeryeom <yeom>
Wed, 17 Aug 2011 23:18:16 +0000 (23:18 +0000)
commitf26ede98db53248e03489398e158a5646e63680b
tree3fe0cc6f24153c5a0332fa741d100bd2d0a49899tree | snapshot
parent0f0eb4c886837a58b30f5a6484c0fa036a62d9e2commit | diff
bug fix on flow-down rule: check if all of assignments done by invoking method respect the current branch constraint
Robust/src/Analysis/SSJava/CompositeLocation.java diff | blob | history
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/MethodAnnotationCheck.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Irvine Research Compiler