Package org.cesta.trans.java

Classes for Java transformations.

See:
Description

Class Summary

AbstractRewriteTransformation	Abstract class for Java Card rewrite transformations.
CheckTransactions	This transformation is used to automatically detect and possibly repair problems with code, which is executed during the transactions.
IfSwitchReplacement	This transfromation replaces potentially vulnerable if constructions to semantically equivalent switch with randomized execution.
ShadowVariables	This transformation adds protection against memory fault induction.
ValidateStateTransitions	Transformation, which can check state transitions in class according to rules defined in GraphViz's DOT language.

Package org.cesta.trans.java Description

Classes for Java transformations.