Fixes to make happy the static analizer

Control flow have been checked for zero-size strings in DBCommon/Cipher class. Functions throwing exceptions have been marked as _noreturn_