Specialized Software Services For Safety Analysis In The Source Code (EXPIRED)