Dynamic software analysis using library calls.