|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractTreeParser | |
---|---|
org.cesta.parsers.java | Classes for parsing and transforming Java files. |
Uses of AbstractTreeParser in org.cesta.parsers.java |
---|
Subclasses of AbstractTreeParser in org.cesta.parsers.java | |
---|---|
class |
CheckTransactionsParser
This tree parser checks Java Card transactions, whether they contain some insecure constructions. |
class |
IdentifyBlocksParser
This tree parser makes sure, that all blocks with |
class |
IfSwitchReplacementParser
This tree parser replaces possibly vulnerable if constructions to semantically equivalent switch constructions. |
class |
ShadowVariablesParser
This tree rewrite parser provides protection against error induction. |
class |
ValidateStateTransitionsParser
Validate state transformation adds code, that will automatically check state of applet during its lifetime according to defined graph via DOT grammar. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |