MPS issue job003939

TitleNo AccessSetCheck
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionAn AccessSet value must be a bitset of AccessREAD and AccessWRITE, but there is no function that checks this.
AnalysisAdd AccessSetCheck and use it.
How foundinspection
EvidenceNone
Created byGareth Rees
Created on2015-09-04 09:54:07
Last modified byGareth Rees
Last modified on2015-09-04 20:15:37
History2015-09-04 GDR Created.

Fixes

Change Effect Date User Description
188251 closed 2015-09-04 20:15:36 Gareth Rees Add AccessSetCheck and check AccessSet arguments.