4 ms·

Are you aware of symbolic execution?