Silence static analyzer