Review

Detector:	Comparing_180223_2
Target:	project 'jmrtd' version 51

Potential Misuse

Anomaly identified by the detector. Please review whether this anomaly corresponds to a misuse.

Finding:	1
In File:	/mubench/mubench.pipeline/../checkouts/jmrtd/51/original-src/sos/mrtd/PassportService.java
In Method:	close()
Code with Finding:	`class PassportService { public void close() { try { service.close(); } finally { state = SESSION_STOPPED_STATE; } } }`

Hit	Rank	Source Code Graph	Tac Graph	Violation Types
?	1