I've been experimenting with the wonderful concolic testing tool CutEr .
Unless I'm using it wrong, it would appear that CutEr does not yet support
maps. When it was first released, it was said that this feature was in the
works. Is there a roadmap for this? CutEr contributers?