ReverX: Reverse Engineering of Protocols
Tupni: automatic reverse engineering of input formats