codee-com/open-catalog

[Fortran] Check for ACTION specifier in OPEN statements

Open

#76 aberto em 17 de mar. de 2025

Ver no GitHub
 (1 comment) (1 reaction) (0 assignees)Fortran (12 forks)auto 404
Fortrangood first issuenew check

Métricas do repositório

Stars
 (105 stars)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

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.

Guia do colaborador

Direção de pesquisa
Estude a especificação da instrução OPEN do Fortran e depois trace como as verificações existentes no repositório são implementadas. Identifique onde adicionar uma nova verificação para o especificador ACTION ausente. Considere usar um parser para detectar instruções WRITE em unidades somente leitura.
Pilha de tecnologia
None
Domain
securitytooling
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
FortranStatic analysis concepts
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40