projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b00cb94) | patch
handle the missing case in the flow down analysis: for a method invocation, check...
authoryeom <yeom>
Mon, 18 Apr 2011 23:51:04 +0000 (23:51 +0000)
committeryeom <yeom>
Mon, 18 Apr 2011 23:51:04 +0000 (23:51 +0000)
commitbfd487e79e0075df9c722a5e0172dd4cbd9ecf49
treecf314326e798fc632cc89c7eb5389fb6ca339318tree | snapshot
parentb00cb94ef0988049d74095035f02ed8f241eab77commit | diff
handle the missing case in the flow down analysis: for a method invocation, check if ordering relations among caller's method arguments are relatively preserved in callee's arguments
Robust/src/Analysis/SSJava/DeltaLocation.java diff | blob | history
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/Location.java diff | blob | history
Irvine Research Compiler