New Static Analysis Rule for Bounds Checking--Jordan Maples

Will you try it?

New Static Analysis Rule for Bounds Checking

by Jordan Maples

From the article:

We have added a new experimental static analysis rule in Visual Studio 16.10 version Preview 3 – C26458, WARNING_PATH_SENSITIVE_USE_GSL_AT. The new warning is a more precise and less noisy version of warning C26446, WARNING_USE_GSL_AT. Both warnings analyse standard containers for unchecked element access and they both share the warning message: “Prefer to use gsl::at() instead of unchecked subscript operator (bounds.4).” This new warning, however, uses path sensitive analysis to track buffer size validation calls to provide a less noisy, more targeted warning compared to C26446...

Add a Comment

Comments are closed.

Comments (0)

There are currently no comments on this entry.