Uses of Interface
org.cesta.trans.Transformation

Packages that use Transformation

org.cesta.trans	Classes for general transformations.
org.cesta.trans.java	Classes for Java transformations.

Uses of Transformation in org.cesta.trans

Classes in org.cesta.trans that implement Transformation

class

AbstractTransformation Abstract transformation, which can be base of any transformation.

Uses of Transformation in org.cesta.trans.java

Classes in org.cesta.trans.java that implement Transformation

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