+nullterminated --- misuse of nullterminated allocation
+bufferoverflow --- possible buffer overflow
+arrayread --- possible out of bounds read
+arraywrite --- possible buffer overflow from an out of bounds write
+fcnpost --- Function has the post condition
+fcnconstraint --- unresolved constraint
+nullterminated --- misuse of nullterminated allocation