I am working on a class project. I need to find out static features of a program (without executing it).
- Backward branches (loops)
- Conditional branches (potential threads with load imbalance)
- Interrupts (indicates synchronization, or IO, ...)
How can I find this. Any help would be highly appreciated.