Static analysis is a method which analysis the software system without executing it. Instead of execution, we use the source code and some additional information, e.g. the build information and version control to estimate the program behavior. Static analysis is a rapidly developing area which covers a wide application area from finding code smells and other potential bugs to code comprehension and navigation.

The development of programming languages is continuous. New languages emerge, old one extended by new features - most cases towards the multiparadigm idea. It is an important question how can we utilize these new features in effective way, how can we integrate them into the legacy codebase. What new challenges, problems arise and how can we answer them.