CastSize
Go Up to C++ Audits
Description
Checks when casting a symbolic region, allocated by malloc, to type T, whether the size of the symbolic region is a multiple of the size of T.
Go Up to C++ Audits
Checks when casting a symbolic region, allocated by malloc, to type T, whether the size of the symbolic region is a multiple of the size of T.