Package policyderiver

Class Summary

Class	Description
Deriver	Finds affected seffs for each system call, then derives the contexts for that seffs and creates policy specification for it
DeriverRecord	Contains all information needed to create a new policy specification
DeriverUtil	Static helper functions for e.g.
PalladioAbstraction	Encapsulates logic to go from system call to seff
PolicyDeriver	Entrypoint for plugin.