1. 026cb58 Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050. by Ted Kremenek · 15 years ago
  2. 674bd55 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 15 years ago
  3. 2dd9b02 Casting to void* or any other pointer-to-sizeless type (e.g. function pointers) causes a divide-by-zero error. Simple fix: check if the pointee type size is 0 and bail out early if it is. by Jordy Rose · 15 years ago
  4. 658dd8b CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 15 years ago