projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d396c42) | patch
Allow to declare a composite location for the initial program counter location.
authoryeom <yeom>
Wed, 1 Aug 2012 22:50:30 +0000 (22:50 +0000)
committeryeom <yeom>
Wed, 1 Aug 2012 22:50:30 +0000 (22:50 +0000)
commitbb1740841625c379adb5c9220b165109adc13650
tree8ccedd978f5779008e49db12f761c687ea8e1615tree | snapshot
parentd396c42d2a86460c7e220d21e5219049c177c5cfcommit | diff
Allow to declare a composite location for the initial program counter location.

The developer can declare the program counter location as a composite location that  starts with the location type of the current object 'this'. It provides more specific constraints on value flows between fields in the current object.
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/MethodLattice.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Irvine Research Compiler