Serialized Form (CryptoAnalysis 3.1.0 API)

Package crypto.analysis
- Class crypto.analysis.AlternativeReqPredicate extends Object implements Serializable
  
  serialVersionUID:
  
  9111353268603202392L
  - Serialized Fields
    - alternatives
      
      List<CrySLPredicate> alternatives
    - stmt
      
      boomerang.jimple.Statement stmt
- Class crypto.analysis.RequiredCrySLPredicate extends Object implements Serializable
  
  serialVersionUID:
  
  9111353268603202392L
  - Serialized Fields
    - predicate
      
      CrySLPredicate predicate
    - stmt
      
      boomerang.jimple.Statement stmt
Package crypto.exceptions
- Class crypto.exceptions.CryptoAnalysisException extends Exception implements Serializable
  
  serialVersionUID:
  
  -4977113204413613078L
- Class crypto.exceptions.CryptoAnalysisParserException extends CryptoAnalysisException implements Serializable
  
  serialVersionUID:
  
  5931419586323153592L
Package crypto.interfaces
Package crypto.rules
- Class crypto.rules.CrySLArithmeticConstraint extends CrySLLiteral implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - left
      
      ICrySLPredicateParameter left
    - operator
      
      CrySLArithmeticConstraint.ArithOp operator
    - right
      
      ICrySLPredicateParameter right
- Class crypto.rules.CrySLComparisonConstraint extends CrySLLiteral implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - left
      
      CrySLArithmeticConstraint left
    - operator
      
      CrySLComparisonConstraint.CompOp operator
    - right
      
      CrySLArithmeticConstraint right
- Class crypto.rules.CrySLCondPredicate extends CrySLPredicate implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - conditionalNodes
      
      Set<StateNode> conditionalNodes
- Class crypto.rules.CrySLConstraint extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - left
      
      ISLConstraint left
    - location
      
      boomerang.jimple.Statement location
    - operator
      
      CrySLConstraint.LogOps operator
    - right
      
      ISLConstraint right
- Class crypto.rules.CrySLExceptionConstraint extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - exception
      
      CrySLException exception
      
      The Exception thrown by the Method.
    - location
      
      boomerang.jimple.Statement location
    - method
      
      CrySLMethod method
      
      The Method throwing the Exception.
- Class crypto.rules.CrySLForbiddenMethod extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - alternate
      
      List<CrySLMethod> alternate
    - meth
      
      CrySLMethod meth
    - silent
      
      Boolean silent
- Class crypto.rules.CrySLLiteral extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - location
      
      boomerang.jimple.Statement location
- Class crypto.rules.CrySLMethod extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - methodName
      
      String methodName
    - parameters
      
      List<Map.Entry<String,String>> parameters
      
      List of Parameters, where a Parameter is an Map.Entry of Name and Type, both as String.
    - retObject
      
      Map.Entry<String,String> retObject
- Class crypto.rules.CrySLObject extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - javaType
      
      String javaType
    - splitter
      
      CrySLSplitter splitter
    - varName
      
      String varName
- Class crypto.rules.CrySLPredicate extends CrySLLiteral implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - baseObject
      
      ICrySLPredicateParameter baseObject
    - constraint
      
      Optional<ISLConstraint> constraint
    - negated
      
      boolean negated
    - parameters
      
      List<ICrySLPredicateParameter> parameters
    - predName
      
      String predName
- Class crypto.rules.CrySLRule extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - className
      
      String className
    - constraints
      
      List<ISLConstraint> constraints
    - forbiddenMethods
      
      List<CrySLForbiddenMethod> forbiddenMethods
    - negatedPredicates
      
      List<CrySLPredicate> negatedPredicates
    - objects
      
      List<Map.Entry<String,String>> objects
    - predicates
      
      List<CrySLPredicate> predicates
    - usagePattern
      
      StateMachineGraph usagePattern
- Class crypto.rules.CrySLSplitter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - index
      
      int index
    - split
      
      String split
- Class crypto.rules.CrySLValueConstraint extends CrySLLiteral implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - valueRange
      
      List<String> valueRange
    - var
      
      CrySLObject var
- Class crypto.rules.ParameterAwarePredicate extends CrySLPredicate implements Serializable
  
  serialVersionUID:
  
  1L
- Class crypto.rules.StateMachineGraph extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - edges
      
      List<TransitionEdge> edges
    - initialEdges
      
      List<TransitionEdge> initialEdges
    - nodeNameCounter
      
      int nodeNameCounter
    - nodes
      
      Set<StateNode> nodes
- Class crypto.rules.StateNode extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - accepting
      
      Boolean accepting
    - hopsToAccepting
      
      int hopsToAccepting
    - init
      
      Boolean init
    - name
      
      String name
- Class crypto.rules.TransitionEdge extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - left
      
      StateNode left
    - methods
      
      List<CrySLMethod> methods
    - right
      
      StateNode right

Serialized Form

Package crypto.analysis

Class crypto.analysis.AlternativeReqPredicate extends Object implements Serializable

Serialized Fields

alternatives

stmt

Class crypto.analysis.RequiredCrySLPredicate extends Object implements Serializable

Serialized Fields

predicate

stmt

Package crypto.exceptions

Class crypto.exceptions.CryptoAnalysisException extends Exception implements Serializable

Class crypto.exceptions.CryptoAnalysisParserException extends CryptoAnalysisException implements Serializable

Package crypto.interfaces

Package crypto.rules

Class crypto.rules.CrySLArithmeticConstraint extends CrySLLiteral implements Serializable

Serialized Fields

left

operator

right

Class crypto.rules.CrySLComparisonConstraint extends CrySLLiteral implements Serializable

Serialized Fields

left

operator

right

Class crypto.rules.CrySLCondPredicate extends CrySLPredicate implements Serializable

Serialized Fields

conditionalNodes

Class crypto.rules.CrySLConstraint extends Object implements Serializable

Serialized Fields

left

location

operator

right

Class crypto.rules.CrySLExceptionConstraint extends Object implements Serializable

Serialized Fields

exception

location

method

Class crypto.rules.CrySLForbiddenMethod extends Object implements Serializable

Serialized Fields

alternate

meth

silent

Class crypto.rules.CrySLLiteral extends Object implements Serializable

Serialized Fields

location

Class crypto.rules.CrySLMethod extends Object implements Serializable

Serialized Fields

methodName

parameters

retObject

Class crypto.rules.CrySLObject extends Object implements Serializable

Serialized Fields

javaType

splitter

varName

Class crypto.rules.CrySLPredicate extends CrySLLiteral implements Serializable

Serialized Fields

baseObject

constraint

negated

parameters

predName

Class crypto.rules.CrySLRule extends Object implements Serializable

Serialized Fields

className

constraints

forbiddenMethods

negatedPredicates

objects

predicates

usagePattern

Class crypto.rules.CrySLSplitter extends Object implements Serializable

Serialized Fields

index

split

Class crypto.rules.CrySLValueConstraint extends CrySLLiteral implements Serializable

Serialized Fields

valueRange