frama-c

[ai-review] / fixer / conservative.md

Fix only the most important problems from the critic that are both clear-cut and unlikely to require cascading changes throughout the code.