Trojan engineering with BDF and IDA