PR# 19478 Incorrect report of code analysis rule CA007 violation
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2018/10/22
Class: Bug
Severity: Serious
Number: 19478
Release: 18.07
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: Incorrect report of code analysis rule CA007 violation
Description
In some cases, Analyze reports a violation of code analysis rule CA007 when in fact there is no violation (false positive). The object test never fails, but CA007 says that the object test always fails.
To Reproduce
Compile with attached class and config file. Click Analyze button.