Exploring the Foundations: Assumptions of Linear Static Analysis in Engineering