1. 7fb43c1 Tidy up sema processing of attribute "nonull": by Ted Kremenek · 16 years ago
  2. 465172f Add test case for nonnull attribute. Fix indexing bug. by Ted Kremenek · 16 years ago