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 0
    • Merge requests 0
  • 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
  • Merge requests
  • !3

Closed
Created Jun 09, 2020 by Dario Pinto@dpintoDeveloper
  • Report abuse
Report abuse

Fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour in Eva main manual

  • Overview 1
  • Commits 25
  • Changes 37

En lisant la doc d'Eva, page 19:

"Reading an initialized value is an undefined behavior according to the ISO C99 standard (and can even lead to security vulnerabilities)."

vs

"Reading an UNinitialized value is an undefined behavioraccording to the ISO C99 standard (and can even lead to security vulnerabilities)."

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: fix/dpinto/eva-manual