What is most likely performed by developers?

Developers are typically responsible for the static analysis of a software model. This process involves examining the code without executing it to identify potential issues such as coding standard violations, security vulnerabilities, and other structural problems. Static analysis tools help developers ensure code quality early in the development cycle, enabling them to rectify issues proactively before the code runs and potentially encounters runtime errors.

The other activities mentioned, while important in the software development lifecycle, are primarily carried out by different roles. Technical reviews of functional specifications and walkthroughs of requirements documents are usually conducted by business analysts or quality assurance teams to ensure that the requirements are understood and feasible. Informal reviews of program specifications might involve collaboration between developers, but static analysis specifically focuses on the technical quality of code, firmly placing it within the domain of the development role.