Details about the known misuse from the MUBench dataset.
Description: | Call List.get() without checking if the index is valid.
|
Fix Description: |
Check that index is between 0 and List.size() - 1.
|
Violation Types: |
- missing/condition/value_or_state
|
In File: | ListGet.java |
In Method: | misuse(List, int) |
Code with Misuse: |
class ListGet {
public Object misuse(List<Object> l, int i) {
return l.get(i);
}
}
|
Code with Pattern(s): |
public class CheckBounds {
Object size(List<Object> l, int i) {
if (0 <= i && i < l.size()) {
return l.get(i);
} else {
return null;
}
}
}
|