Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002498Frama-CPlug-in > wppublic2020-02-10 09:322020-02-24 12:17
Reporteradbq 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
Platformamd64OSLinux DebianOS VersionBuster (10)
Product VersionFrama-C 20-Calcium 
Target VersionFixed in Version 
Summary0002498: munmap() breaks WP analysis
DescriptionWhen using unmap() glib function, WP stops analysis with a fatal error "User Error: Invalid infinite range p_1+(0..)".
Steps To Reproducemake frama-c, with appended code snippet.
TagsNo tags attached.
Attached Files? file icon Makefile [^] (665 bytes) 2020-02-10 09:32 [Show Content]
c file icon test4.c [^] (1,281 bytes) 2020-02-24 12:17 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2020-02-10 09:32 adbq New Issue
2020-02-10 09:32 adbq Status new => assigned
2020-02-10 09:32 adbq Assigned To => correnson
2020-02-10 09:32 adbq File Added: Makefile
2020-02-24 12:17 adbq File Added: test4.c


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker