Review

Detector:	Tikanga
Target:	project ' synthetic_directives ' version jsl
Misuse:	misuse ' unsynchronized '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Updates a HashMap concurrently without ensuring synchonziation.
Fix Description:	synchonize on the map.
Violation Types:	missing/condition/synchronization
In File:	mubench/examples/directives/Unsynchronized.java
In Method:	onEvent(String, String)
Code with Misuse:	`code not found`
Code with Pattern(s):	`public class Synchronized { private HashMap<String, String> map; public void onEvent(String sender, String event) { synchronized (map) { map.put(sender, event); } } }`

Potential Hits

Findings of the detector that identify an anomaly in the same file and method as the known misuse.

Hit	Rank	Confidence	Defect Indicator	Missing Properties	Present Properties	Supporting Objects
?	0	0.98	1.0	AG (FIELDVAL: Synchronized.map => EX EF HashMap.put (Object, Object) : Object @ (0)) EF FIELDVAL: Synchronized.map AG (FIELDVAL: Synchronized.map => AX AF HashMap.put (Object, Object) : Object @ (0)) AF FIELDVAL: Synchronized.map	AF HashMap.put (Object, Object) : Object @ (0) EF HashMap.put (Object, Object) : Object @ (0)	Synchronized10.onEvent (String, String) : void : var #2@HashMap (line 10) Synchronized0.onEvent (String, String) : void : var #2@HashMap (line 10) Synchronized1.onEvent (String, String) : void : var #2@HashMap (line 10)