AntMiner: mining more bugs by reducing noise interference
static analysis for security .