projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bafdf88) | patch
bug fix on the definitely written check: Field read does not need to remove OW set.
authoryeom <yeom>
Sat, 20 Aug 2011 10:56:25 +0000 (10:56 +0000)
committeryeom <yeom>
Sat, 20 Aug 2011 10:56:25 +0000 (10:56 +0000)
commit51c89f78daa215be83bf62d6ea81d2758f76178a
treeb14b7b0a7ca83a47a26e445f4d0fab9f6bfe008btree | snapshot
parentbafdf8895425a699f5550a970a2c8144e06ae1e2commit | diff
bug fix on the definitely written check:  Field read does not need to remove OW set.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java diff | blob | history
Irvine Research Compiler