Make checkCStringRead use the parameter when checking if the referenced memory exists, and make the print format conversion checker honour field width for string conversions.