[MDBF-143] Implement static analysis with Infer - Jira

XML

Word

Printable

Details

Type: Bug
Status: Open (View Workflow)
Priority: Critical
Resolution: Unresolved
Affects Version/s: None
Fix Version/s: None
Component/s: Buildbot
Labels:
- foundation

Description

With the static analysis tool known as Infer, an scan was performed on client and mysys folders, within the error report we found correct detections of dead stores in different files.

These errors are detailed in the attached files.

Attachments

- Sort By Name
- Sort By Date
- Ascending
- Descending
- Thumbnails
- List
- Download All

deadStore_clientFolder.txt
2 kB
2020-07-01 04:34
deadStore_mysysFolder.txt
2 kB
2020-07-01 04:34
report.txt
1.04 MB
2025-05-16 07:01

Issue Links

is blocked by

MDEV-30692 conf_to_src is not up to date

Closed

MDEV-37615 Clang based static analysis false postive reports on UNINIT_VAR

In Review

relates to

CONC-786 Static Analysis (Infer) results for C/C

In Review

MDEV-37613 Connect Storage Engine - constructs that confuse Infer

Open

Activity

People

Assignee:: Daniel Black

Reporter:: Diego Medina

Votes:: 0 Vote for this issue

Watchers:: 7 Start watching this issue

Dates

Created:: 2020-07-01 04:37

Updated:: 6 days ago 16:58

Time Tracking

Estimated:

Not Specified

Remaining:

Logged:

1d 7h