AbstractionFuncs
Class SMTPoutputAbstraction

java.lang.Object
  AbstractionFuncs.SMTPoutputAbstraction

All Implemented Interfaces:

AbstractionFunct

public class SMTPoutputAbstraction
extends java.lang.Object
implements AbstractionFunct

An abstraction function for the output messages of the SMTP protocol

Author:

Serge Gorbunov

Constructor Summary

SMTPoutputAbstraction()

Method Summary

java.lang.String	abstractMsg(java.lang.String input)
java.lang.String	getSkipString() Every abstraction function (ie abstractMsg is allowed to have a skip string.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SMTPoutputAbstraction

public SMTPoutputAbstraction()

Method Detail

abstractMsg

public java.lang.String abstractMsg(java.lang.String input)

Specified by:

abstractMsg in interface AbstractionFunct

Parameters:

input - Input message to be abstracted

Returns:

An abstracted message of the string

getSkipString

public java.lang.String getSkipString()

Description copied from interface: AbstractionFunct

Every abstraction function (ie abstractMsg is allowed to have a skip string. That is when this string is returned from the abstractMsg function, the msg will be included during construction of FSM. And it wont be modified during fuzzing

Specified by:

getSkipString in interface AbstractionFunct

Returns:

Some random string indicating that the msg should not/cannot be abstracted