Assessing the behavior of software analysis tools