Project

General

Profile

Actions
Copy link

Bug #8408

open

Initialize all local variables in addition to pointers and function pointers as nondet values

Added by Ilja Zakharov about 7 years ago.

Status:
New
Priority:
High
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
09/01/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

There are corresponding options implemented but seems they poorly work.

No data to display

Actions
Copy link

Also available in: Atom PDF