Element 'static analysis of program code'