Keywords = Incremental dynamic analysis (IDA)