Skip to:
Skip to Jira Navigation
Skip to Side Navigation
Skip to Main Content
Projects
Filters
Dashboards
Apps
Create
Search
Sign in
ProB Tcl/Tk
Software project
Menu
Reports
Issues
You're in a company-managed project
Projects
ProB Tcl/Tk
PROB-418
Statically detect read of uninitialized variables
Add
Apps
Description
Detect when a variable is read before it is initialised, such as in the following example:
Environment
None
Gliffy Diagrams
More actions for Gliffy Diagrams
Activity
Show:
All
History
Work log
Transitions
Newest first
Give feedback
Open
Actions
Details
Assignee
Michael Leuschel
Michael Leuschel
Reporter
Michael Leuschel
Michael Leuschel
Priority
Major
Created
September 27, 2017 at 7:01 PM
Updated
September 27, 2017 at 7:01 PM
Configure
Detect when a variable is read before it is initialised, such as in the following example: