promising but... no documentation, no predefined shapes, no source code to be found in the web site.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).
