Review

Detector:	Tikanga
Target:	project ' synthetic_survey ' version jsl
Misuse:	misuse ' close-2 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Calls Closeable.close() outside of finally block, which might fail to close the resource in case of an exception.
Fix Description:	Call close() in finally block.
Violation Types:	missing/exception_handling
In File:	mubench/examples/survey/Close.java
In Method:	misuse(File)
Code with Misuse:	`code not found`
Code with Pattern(s):	`public class TryFinallyClose { public void pattern(OutputStream out, String value) throws IOException { Writer writer = null; try { writer = new PrintWriter(out); writer.write(value); } finally { if (writer != null) { writer.close(); } } } }`

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 (EXC(IOException): Writer.write (String) : void @ (0) => AX AF Writer.close () : void @ (0)) EF EXC(IOException): Writer.write (String) : void @ (0) AG (EXC(IOException): Writer.write (String) : void @ (0) => EX EF Writer.close () : void @ (0)) AG (PrintWriter.<init> (OutputStream) : void @ (0) => EX EF EXC(IOException): Writer.write (String) : void @ (0))	AG (PrintWriter.<init> (OutputStream) : void @ (0) => EX EF Writer.close () : void @ (0)) EF Writer.close () : void @ (0) EF PrintWriter.<init> (OutputStream) : void @ (0) AG (Writer.write (String) : void @ (0) => EX EF Writer.close () : void @ (0)) AG (PrintWriter.<init> (OutputStream) : void @ (0) => EX EF Writer.write (String) : void @ (0)) EF Writer.write (String) : void @ (0) AG (Writer.write (String) : void @ (0) => AX AF Writer.close () : void @ (0)) AG (PrintWriter.<init> (OutputStream) : void @ (0) => AX AF Writer.close () : void @ (0)) AF Writer.close () : void @ (0) AF PrintWriter.<init> (OutputStream) : void @ (0)	TryFinallyClose0.pattern (OutputStream, String) : void : var #1@PrintWriter (line 12) TryFinallyClose10.pattern (OutputStream, String) : void : var #1@PrintWriter (line 12) TryFinallyClose1.pattern (OutputStream, String) : void : var #1@PrintWriter (line 12)