09-06-2017, 03:37 AM
In deed, No tool can provide complete coverage for Rule 1.3. Need the manual review based on coverage of the tool.
does It mean In the ideal case, Still have 19 undecidable behaviours need the manual review?
At the same time, I think it is difficult to coverage the 191 undefined behaviours listed in C99 for Tool suppliers.
Anybody can tell me which tool have the highest coverage for rule 1.3?
does It mean In the ideal case, Still have 19 undecidable behaviours need the manual review?
At the same time, I think it is difficult to coverage the 191 undefined behaviours listed in C99 for Tool suppliers.
Anybody can tell me which tool have the highest coverage for rule 1.3?
<t></t>