...
Validate size arguments used in VLA declarations. The following example corrects security issue in the example above by testing the ensures that the size argument to assure used to allocate vla is valid by testing verifying that it is in a valid range, : 0 to a user defined constant.
...