Overview of Unsafe Checker rule sections
mainThe Unsafe Checker organizes its rules into seven distinct sections based on the type of unsafe operation being performed. These sections are categorized by severity level (CRITICAL, HIGH, MEDIUM) and focus area. Rules within a section are identified by a specific prefix.
| # | Section | Prefix | Level | Focus |
|---|---|---|---|---|
| 1 | General Principles | general- | CRITICAL | Foundational unsafe usage guidance |
| 2 | Safety Abstraction | safety- | CRITICAL | Building sound safe APIs |
| 3 | Raw Pointers | ptr- | HIGH | Pointer manipulation safety |
| 4 | Union | union- | HIGH | Union type safety |
| 5 | Memory Layout | mem- | HIGH | Data representation correctness |
| 6 | FFI | ffi- | CRITICAL | C interoperability safety |
| 7 | I/O Safety | io- | MEDIUM | Handle/resource safety |