CDV ❯ subclass of ConcurrentHashMap fails to instrument alien field access

• Type: Bug
• Status: Open
• Priority: 2 Major
• Resolution:
• Component/s:
• Labels:

• Assignee: prodmgmt
• Reporter: teck
• Created: August 11, 2009
• Votes: 0
• Watchers: 0
• Updated:

  March 19, 2010
• Resolved:

Attachments

• teck (4.00 k) application/zip error.zip

Description

In the attached example, the field set in test.B$Sub.mutate(B) is not instrumented. This allows shared objects to read/written w/o DSO knowing about it

It is expected that this program will generate (and ignore) an UnlockedSharedObjectException, instead you get this:

Exception in thread “main” java.lang.AssertionError: mutated without a lock at test.Main.main(Main.java:14)

Comments

Steve Harris 2009-08-12

Subclasses of logical structures are flacky as a whole. We should at some point look into it.