Frama-C Bug Tracking System - Frama-C
View Issue Details
0002498Frama-CPlug-in > wppublic2020-02-10 09:322020-02-24 12:17
adbq 
correnson 
normalminoralways
assignedopen 
amd64Linux DebianBuster (10)
Frama-C 20-Calcium 
 
0002498: munmap() breaks WP analysis
When using unmap() glib function, WP stops analysis with a fatal error "User Error: Invalid infinite range p_1+(0..)".
make frama-c, with appended code snippet.
No tags attached.
? Makefile (665) 2020-02-10 09:32
https://bts.frama-c.com/file_download.php?file_id=1343&type=bug
c test4.c (1,281) 2020-02-24 12:17
https://bts.frama-c.com/file_download.php?file_id=1345&type=bug
Issue History
2020-02-10 09:32adbqNew Issue
2020-02-10 09:32adbqStatusnew => assigned
2020-02-10 09:32adbqAssigned To => correnson
2020-02-10 09:32adbqFile Added: Makefile
2020-02-24 12:17adbqFile Added: test4.c

There are no notes attached to this issue.