C(C++、C#)ソースコード静的解析ツールの検証項目について、先輩諸氏の知見を拝借します。

静的解析は、次の2つの観点があると思います。

  1. 実行文としての構文解析
  2. コーディングフォーマットとしての構文解析(コメント、インデントなども含めた)

これらの「構文解析」の具体的な検証項目について、参考書籍などありましたら教えてください。