Static analysis within industrial applications provides a means of gai
ning higher assurance for critical software. This survey notes several
problems, such as the lack of adequate standards, difficulty in asses
sing benefits, validation of the model used and acceptance by regulato
ry bodies. It concludes by outlining potential solutions and future di
rections.