我正在做一个课堂项目。我需要找出程序的静态特征（不执行它）。

1. 向后分支（循环）
2. 条件分支（负载不平衡的潜在线程）
3. 中断（表示同步，或 IO，...）

我怎么能找到这个。任何帮助将不胜感激。