Project

General

Profile

Actions
Copy link

Bug #8071

open

Develop specification for platform_driver_register

Added by Ilja Zakharov over 7 years ago.

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

0%

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

Description

There are a couple of issues at checking memory safety due to the imprecise model of platform_driver_register.

No data to display

Actions
Copy link

Also available in: Atom PDF