AbstractionFuncs
Class SMTPinputAbstraction

java.lang.Object
  AbstractionFuncs.SMTPinputAbstraction

All Implemented Interfaces:

AbstractionFunct

public class SMTPinputAbstraction
extends java.lang.Object
implements AbstractionFunct

Abstraction function for the input messages of the SMTP protocol

Author:

Serge Gorbunov

Constructor Summary

SMTPinputAbstraction()

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

SMTPinputAbstraction

public SMTPinputAbstraction()

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