Description:
AVI detects situations where an actual argument's value passed to a called method is not valid. This will cause undesired program behaviour such as throwing an exception.
Example:
public void foo(String str, int i) {
if (i < 0) {
char c = str.charAt(i);
...
}
}