create CFG and CodeCover