*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** AV-I --- 33 "stringbuffer.StringBuffer.count" 144 9 READ * 57 "stringbuffer.StringBuffer.count" 667 10 WRITE * 40 "stringbuffer.StringBuffer.count" 327 9 READ *** ------------------------------------- Number of Threads: 3 Number of Shared Variables: 5 Number of Lock Nodes: 16 Number of Message Nodes: 7 Number of Non-Method Entry/Exit Nodes: 60 Number of Read/Write Nodes: 37 Number of Total Nodes: 92 Number of Races: 0 Number of Atomicity Violations: 1 Number of ASVs: 0 Number of Real Patterns: 0