| Detector: | MuDetectOPAL_180320 |
| 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): |
|