--- category: minorAnalysis --- * Added taint models for `realloc` and related functions.