After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 774096 - Infer static analyzer found many errors about memory.
Infer static analyzer found many errors about memory.
Status: RESOLVED OBSOLETE
Product: dia
Classification: Other
Component: general
devel
Other Linux
: Normal normal
: ---
Assigned To: Dia maintainers
Dia maintainers
Depends on:
Blocks:
 
 
Reported: 2016-11-08 10:46 UTC by Kiwamu Okabe
Modified: 2019-03-20 12:10 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Kiwamu Okabe 2016-11-08 10:46:05 UTC 
Infer <http://fbinfer.com/> is a static analyzer for C language code, and found following errors in Dia source code:

https://github.com/master-q/practice-infer/blob/master/infer_v0.9.4-e757d92_dia-e454097.log#L1272

I read the result, but am not sure to fix it or not do that.

Someone tries to review the result?
Comment 1 Kiwamu Okabe 2016-11-08 10:47:36 UTC 
I have the result on Dia commit e45409766965a48d4f90013339b1a60f2c8eefd5.
Comment 2 Kiwamu Okabe 2016-11-08 12:36:22 UTC 
From output of Infer, I pick up some errors that may causes real error:

https://github.com/master-q/practice-infer/blob/master/infer_v0.9.4-e757d92_dia-e454097_mayerror.txt
Comment 3 GNOME Infrastructure Team 2019-03-20 12:10:39 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/dia/issues/383.