public class JifEndorseExprExt extends JifDowngradeExprExt
EndorseExpr
node.EndorseExpr
,
Serialized FormConstructor and Description |
---|
JifEndorseExprExt(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
protected static void |
checkAuth(LabelChecker lc,
JifContext A,
Label labelFrom,
Label labelTo,
polyglot.util.Position pos,
boolean isExpr,
boolean isAutoEndorse) |
protected void |
checkAuthority(LabelChecker lc,
JifContext A,
Label labelFrom,
Label labelTo,
polyglot.util.Position pos)
Check the authority condition
|
protected static void |
checkOneDimen(LabelChecker lc,
JifContext A,
Label labelFrom,
Label labelTo,
polyglot.util.Position pos,
boolean isExpr,
boolean isAutoEndorse) |
protected void |
checkOneDimenOnly(LabelChecker lc,
JifContext A,
Label labelFrom,
Label labelTo,
polyglot.util.Position pos)
Check that only the integrity/confidentiality is downgraded, and not
the other dimension.
|
protected static void |
checkRobustEndorse(LabelChecker lc,
JifContext A,
Label labelFrom,
Label labelTo,
polyglot.util.Position pos,
boolean isExpr) |
protected void |
checkRobustness(LabelChecker lc,
JifContext A,
Label labelFrom,
Label labelTo,
polyglot.util.Position pos)
Check the robustness condition
|
checkDowngradeFromBound, declassifyConstraintContext, downgradeExprPathMap, labelCheck, updateContextAfterExpr
getNumericBounds, setNumericBounds
checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, extRewriteOverride, initPred, lang, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public JifEndorseExprExt(ToJavaExt toJava)
protected void checkOneDimenOnly(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) throws polyglot.types.SemanticException
JifDowngradeExprExt
checkOneDimenOnly
in class JifDowngradeExprExt
polyglot.types.SemanticException
protected static void checkOneDimen(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos, boolean isExpr, boolean isAutoEndorse) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected void checkAuthority(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) throws polyglot.types.SemanticException
JifDowngradeExprExt
checkAuthority
in class JifDowngradeExprExt
polyglot.types.SemanticException
protected static void checkAuth(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos, boolean isExpr, boolean isAutoEndorse) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected void checkRobustness(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos) throws polyglot.types.SemanticException
JifDowngradeExprExt
checkRobustness
in class JifDowngradeExprExt
polyglot.types.SemanticException
protected static void checkRobustEndorse(LabelChecker lc, JifContext A, Label labelFrom, Label labelTo, polyglot.util.Position pos, boolean isExpr) throws polyglot.types.SemanticException
polyglot.types.SemanticException