Document describing a process that allows to follow a recategorization plan guidelines using Polyspace Bug Finder - View it on GitHub