Detector: | MuDetectOPAL_180324 |
Target: | project ' synthetic_survey ' versionjsl |
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: | mubench/examples/survey/ChannelFlush.java |
In Method: | needsFlushToEnsureWrite(ByteBuffer) |
Code with Misuse: |
|
Code with Pattern(s): |
|