Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #469

Closed
Open
Created May 11, 2011 by mantis-gitlab-migration@mantis-gitlab-migration

Wrong module name for the function prepareCFG and computeCFGInfo in the Frama-C Carbon html API.

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


Id Project Category View Due Date Updated
ID0000821 Frama-C Documentation > manuals public 2011-05-11 2016-06-21
Reporter fgarnier Assigned To signoles Resolution fixed
Priority normal Severity minor Reproducibility N/A
Platform - OS - OS Version -
Product Version Frama-C Carbon-20110201 Target Version - Fixed in Version Frama-C Nitrogen-20111001

Description :

Inside the Cil_types.html API documentation page, the function Cil.prepareCFG and Cil.computeCFGInfo are referenced as being part of the module Cil. Those information are exact for the Boron version of FRAMA-C, however in the Frama-c Carbon version both functions are located in the module Cfg.

Best regards, Florent.

Additional Information :

We are currently operating the migration of an experimental plugin, from the Boron version to the current version of Carbon. Unfortunately, we didn't used many function. It is possible that we didn't noticed other ill-referenced functions.

We anyway noticed that the function Ast_info.loc_stmt isn't anymore present within the Ast_info module, and we weren't able to find an equivalent one elsewhere. Therefore, we wrote our own.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking