codee-com/open-catalog

[Fortran] Check for ACTION specifier in OPEN statements

Open

#76 geöffnet am 17. März 2025

Auf GitHub ansehen
 (1 Kommentar) (1 Reaktion) (0 zugewiesene Personen)Fortran (12 Forks)auto 404
Fortrangood first issuenew check

Repository-Metriken

Stars
 (105 Stars)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

The OPEN statement allows the ACTION specifier which can be READ, WRITE, OR READWRITE, analogous to INTENT(IN), INTENT(OUT), and INTENT(INOUT) respectively. The programmer knows how an opened file is to be used, and using a file connection in a way contrary to the ACTION will produce a runtime error. Adding a check that each OPEN includes an ACTION could therefore help reveal bugs where a file that is intended to be read-only is written to. This would improve code correctness and security.

It would be even better not to rely on the runtime error, and instead check that no WRITE statement is applied to a unit opened as ACTION='READ' and vice versa.

Contributor Guide