cnescatlab / cnescatlab/i-CodeCNES

False positive on COM.DATA.Invariant rule

Open
#183 1 comment 0 reactions 0 assignees View on GitHub
false positive shell to analyse
Dominant language
Fortran
Stars
63
Forks
18
PR merge metrics
No merged PRs in 30d

Description

### Expected behavior
- A declaration for a constant integer variable (NBW) should not raise a COM.DATA.Invariant violation.
- A declaration of a variable (DATE) inside a loop shoud not raise a COM.DATA.Invariant

### Actual behavior
The following scripts
![image](https://user-images.githubusercontent.com/59566012/71891205-60385e00-3146-11ea-9ba4-8635bc6a3ca1.png)
![image](https://user-images.githubusercontent.com/59566012/71891242-76deb500-3146-11ea-8f86-371162d87725.png)

raise the following results in i-Code
![image](https://user-images.githubusercontent.com/59566012/71891229-721a0100-3146-11ea-9da0-4b793a773bd8.png)
![image](https://user-images.githubusercontent.com/59566012/71891255-7e05c300-3146-11ea-9b7c-fc4dc3351992.png)

### Steps to reproduce behavior

### Detection version
3.0

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.