analysis vs fixit

Hi @Ted_Kremenek, what do you mean by “properly added” to the Bug* classes? It seems like this answers my question here:

It’s been a long time but has this been changed since the original post?