Reverse Engineering State and Strategy Design Patterns using Static Code Analysis
Control flow analysis