Review

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

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Misses to call ByteBuffer.flip() between writing to and reading from the buffer (or vice versa). There''s many ways to read/write buffer, some of which fail if flip() is missing, while others just do nothing. StackOverflow: http://stackoverflow.com/questions/10166011/how-to-use-java-nio-channels-filechannel-to-write-a-byte-to-a-file-basics/10166055
Fix Description:	Add a call to ByteBuffer.flip()
Violation Types:	missing/call
In File:	mubench/examples/survey/ByteBufferFlip.java
In Method:	misuse(byte[])
Code with Misuse:	`code not found`
Code with Pattern(s):	`public class FlipBuffer { public void pattern(byte[] content, FileChannel outChannel) throws IOException { ByteBuffer buffer = ByteBuffer.allocate(content.length); buffer.put(content); buffer.flip(); // <-- required for subsequent reading outChannel.write(buffer); // reads buffer } }`

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
?	1	0.98	1.0	AG (RETVAL: ByteBuffer.allocate (int) : ByteBuffer => AX AF ByteBuffer.flip () : Buffer @ (0)) AG (ByteBuffer.flip () : Buffer @ (0) => AX AF FileChannel.write (ByteBuffer) : int @ (1)) AF ByteBuffer.flip () : Buffer @ (0) AG (ByteBuffer.put (byte[]) : ByteBuffer @ (0) => AX AF ByteBuffer.flip () : Buffer @ (0)) AG (RETVAL: ByteBuffer.allocate (int) : ByteBuffer => EX EF ByteBuffer.flip () : Buffer @ (0)) EF ByteBuffer.flip () : Buffer @ (0) AG (ByteBuffer.flip () : Buffer @ (0) => EX EF FileChannel.write (ByteBuffer) : int @ (1)) AG (ByteBuffer.put (byte[]) : ByteBuffer @ (0) => EX EF ByteBuffer.flip () : Buffer @ (0))	AF ByteBuffer.put (byte[]) : ByteBuffer @ (0) AG (RETVAL: ByteBuffer.allocate (int) : ByteBuffer => EX EF FileChannel.write (ByteBuffer) : int @ (1)) AG (ByteBuffer.put (byte[]) : ByteBuffer @ (0) => AX AF FileChannel.write (ByteBuffer) : int @ (1)) AF FileChannel.write (ByteBuffer) : int @ (1) EF ByteBuffer.put (byte[]) : ByteBuffer @ (0) AF RETVAL: ByteBuffer.allocate (int) : ByteBuffer EF FileChannel.write (ByteBuffer) : int @ (1) AG (RETVAL: ByteBuffer.allocate (int) : ByteBuffer => AX AF FileChannel.write (ByteBuffer) : int @ (1)) AG (RETVAL: ByteBuffer.allocate (int) : ByteBuffer => AX AF ByteBuffer.put (byte[]) : ByteBuffer @ (0)) AG (RETVAL: ByteBuffer.allocate (int) : ByteBuffer => EX EF ByteBuffer.put (byte[]) : ByteBuffer @ (0)) EF RETVAL: ByteBuffer.allocate (int) : ByteBuffer AG (ByteBuffer.put (byte[]) : ByteBuffer @ (0) => EX EF FileChannel.write (ByteBuffer) : int @ (1))	FlipBuffer0.pattern (byte[], FileChannel) : void : var #1@ByteBuffer (line 9) FlipBuffer1.pattern (byte[], FileChannel) : void : var #1@ByteBuffer (line 9) FlipBuffer10.pattern (byte[], FileChannel) : void : var #1@ByteBuffer (line 9)