Added CFI and KD approaches. Added driver to call all approaches.