Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
F
frama-c
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 202
    • Issues 202
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • Operations
    • Operations
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #70

Closed
Open
Opened Feb 10, 2020 by mantis-gitlab-migration@mantis-gitlab-migration

munmap() breaks WP analysis

ID0002498: This issue was created automatically from Mantis Issue 2498. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002498 Frama-C Plug-in > wp public 2020-02-10 2020-02-24
Reporter adbq Assigned To correnson Resolution open
Priority normal Severity minor Reproducibility always
Platform amd64 OS Linux Debian OS Version Buster (10)
Product Version Frama-C 20-Calcium Target Version - Fixed in Version -

Description :

When using unmap() glib function, WP stops analysis with a fatal error "User Error: Invalid infinite range p_1+(0..)".

Steps To Reproduce :

make frama-c, with appended code snippet.

Attachments

  • Makefile
  • test4.c
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: pub/frama-c#70