Benchmarking a Bug Scanner · HackerTrans