SWARM is a software model of the basic ARM processor in C++. Rather than a simple emulator, SWARM attempts to simulate the behaviour of the ARM's datapath. It also provides a model of the memory/cache/registers hierarchy for algorithm analysis.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).