Ticket #121 (closed Bug: fixed)

Opened 2 years ago

Last modified 2 years ago

Test61 - Null Pointer exception

Reported by: msnyder Assigned to: bwilliams
Priority: High Milestone:
Component: Test Keywords:
Cc:

Description

test.fpol file:

domain a { dirFiles }; resource b { dirFiles };

access a b write { namedPipes:write };

An error should be generated b/c of the namedPipe reference but a null pointer exception is generated instead.

Change History

03/14/07 07:36:39 changed by dsugar

  • component changed from Framework Navigator to Test.

03/14/07 07:49:32 changed by dsugar

I think some differences in changeset:1531 got rid of the null pointer exception, but the generated policy is NOT correct at this point. The access given is for named pipes but the rdef on the resource is dirFiles.

03/21/07 15:56:32 changed by bwilliams

  • status changed from new to closed.
  • resolution set to fixed.

Fixed bug in the clear function to make sure the error actually happens