list_defect_classes
Enumerate the modelled bounds-check defect classes and specify exclusions from a COMPLETE verdict to clarify verification coverage.
Instructions
List the modelled bounds-check defect classes, and what a COMPLETE verdict explicitly does not cover.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||