SKS (Synchronizing Key Server) is a full-featured replacement for the standard PKS OpenPGP Key Server. It matches all of PKS features and interfaces, and at the same time provides a highly efficient, gossip-based replication algorithm that ensures that the replication is complete.
The C Code Analyzer (CCA) is a static analysis tool for detecting potential security problems in C source code. It's fully automatic; no code annotations or the like are required. It features an automatic user input tracer, potential buffer overflow detection, and more. An eclipse frontend plugin is included.