1. 32f2656 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
  2. ade92c0 Remove #include. by Ted Kremenek · 16 years ago
  3. 1397663 Revert 95541. by Ted Kremenek · 16 years ago
  4. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  5. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (97%) from lib/Analysis/BuiltinFunctionChecker.cpp]
  6. 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 16 years ago