Source-code summarization using control-flow graphs