Specialized Software Services For Safety Analysis In The Source Code