Security analyses

This is an experimental branch for a family of static analyses to detect security bugs in source code based on the Clang analyzer