Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Rule 1.3 - What do people do to check this rule?
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?

Messages In This Thread

Forum Jump:

Users browsing this thread: 1 Guest(s)