Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say