Categories -- 软件分析