1. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 16 years ago
  2. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 16 years ago