Uses of Class
org.cesta.trans.AbstractTransformation

Packages that use AbstractTransformation

org.cesta.trans.java

Classes for Java transformations.

Uses of AbstractTransformation in org.cesta.trans.java

Subclasses of AbstractTransformation in org.cesta.trans.java

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.