Detector: | DMMC |
Target: | project ' synthetic ' versionflush |
Misuse: | misuse ' flush ' |
Tags: |
Details about the known misuse from the MUBench dataset.
Description: | Misses to flush FileChannel, such that the contents have not been written before the next attempt to read from the underlying resource. |
Fix Description: | Add a call to FileChannel.force() or close() the channel. |
Violation Types: |
|
In File: | ChannelFlush.java |
In Method: | misuse(ByteBuffer) |
Code with Misuse: |
|