static linear analysis