マルチスレッドに限っても、
特定のタイプのバグしか扱えないってまだ理解できてないんだな。
静的解析でも、動的解析でも。