[BCEL-251] Pass3aVerifier visitANEWARRAY() does not allow 255 array dimensions

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Assignee: Unassigned
• Reporter: Sebb
• Created: 21/Aug/15 11:20
• Updated: 23/Aug/15 22:31
• Resolved: 23/Aug/15 22:31

Description

The visitANEWARRAY() method performs the following check:

if (dimensions >= 255){
    constraintViolated(o, "Not allowed to create an array with more than 255 dimensions.");
}

That is clearly wrong; it should allow 255 as per the constraint message

Issue Links

• relates to: BCEL-255 Pass3aVerifier visitANEWARRAY() needs unit tests