Interface | Description |
---|---|
ArgLabel |
This label is used as a place-holder for method argument labels.
|
ConfPolicy |
This class represents a Jif confidentiality policy, which is a lattice
over reader policies.
|
ConfProjectionPolicy |
The confidentiality projection of a (non meet, join or pair) label.
|
CovariantParamLabel |
Covariant label.
|
DynamicLabel |
Dynamic label.
|
IntegPolicy |
This class represents a Jif integrity policy which is a lattice over
writer policies.
|
JoinConfPolicy |
Represents the join of a number of confidentiality policies.
|
JoinLabel |
The join of several labels.
|
JoinPolicy<P extends Policy> | |
Label |
This class represents the Jif security label.
|
MeetConfPolicy | |
MeetLabel |
The meet of several labels.
|
MeetPolicy<P extends Policy> | |
NotTaken |
The class
NotTaken is the label for paths which cannot be
taken, for example, the path that includes statements following a return statement. |
PairLabel |
This label represents a pair of a confidentiality policy and an
integrity policy.
|
ParamLabel |
The label derived from a label paramter.
|
Policy |
This class is the common super class for integrity polices and
confidentiality policies.
|
ProviderLabel |
The label on a class, representing the trustworthiness of the class itself.
|
ReaderPolicy |
The policy label of the form
owner -> r1,...,rn |
ThisLabel |
This label is used as a place-holder for the "this" label.
|
UnknownLabel |
A representation of any unknown label.
|
Variable | |
VarLabel |
The variable label.
|
WriterPolicy |
The policy label of the form
owner <- w1,...,wn |
WritersToReadersLabel |
Label that converts the writers of a label into readers.
|
Class | Description |
---|---|
AccessPath |
An AccessPath represents a final access path.
|
AccessPathClass |
Represents a final access path rooted at a class, e.g.
|
AccessPathConstant |
Represents a final access path consisting of a constant label or principal,
that is, either a NewLabel expression or an External principal.
|
AccessPathField |
Represent a final access path whose last element is a field access to a final
field, for example "p.f", where p is a final access path.
|
AccessPathLocal |
Represents a final access path rooted at a local variable.
|
AccessPathRoot |
Represents a final access path root.
|
AccessPathThis |
Represents a final access path rooted at "this".
|
AccessPathUninterpreted |
Represents an access path that is not final, and thus not interpreted: the
type system does not track it precisely.
|
ArgLabel_c |
This label is used as the label of the real argument.
|
ConfProjectionPolicy_c |
The confidentiality projection of a (non meet, join or pair) label.
|
CovariantParamLabel_c |
An implementation of the
CovariantLabel interface. |
DynamicLabel_c |
An implementation of the
DynamicLabel interface. |
IntegProjectionPolicy_c |
The integrity projection of a (non meet, join or pair) label.
|
JoinConfPolicy_c |
Represents the join of a number of confidentiality policies.
|
JoinIntegPolicy_c |
Represents the join of a number of integrity policies.
|
JoinLabel_c |
An implementation of the
JoinLabel interface. |
JoinPolicy_c<P extends Policy> |
Represents a join of a number of policies.
|
Label_c |
An abstract implementation of the
Label interface. |
MeetConfPolicy_c |
Represents the meet of a number of confidentiality policies.
|
MeetIntegPolicy_c |
Represents the meet of a number of integrity policies.
|
MeetLabel_c |
An implementation of the
MeetLabel interface. |
MeetPolicy_c<P extends Policy> |
Represents the meet of a number of policies.
|
NotTaken_c |
An implementation of the
NotTaken interface. |
PairLabel_c | |
ParamLabel_c |
An implementation of the
ParamLabel interface. |
Policy_c |
An implementation of the
PolicyLabel interface. |
ProviderLabel_c | |
ReaderPolicy_c |
An implementation of the
PolicyLabel interface. |
ThisLabel_c | |
UnknownLabel_c |
An implementation of the
UnknownLabel interface. |
VariableGatherer |
This class is used to implement
Label.variables() . |
VarLabel_c |
An implementation of the
VarLabel interface. |
WriterPolicy_c |
An implementation of the
PolicyLabel interface. |
WritersToReadersLabel_c |
An implementation of the
DynamicLabel interface. |