标记 cgc 主题、收录中的开源项目，按星标数排序。
常跟 cgc 一起出现在同一个项目上的主题。
近 90 天内创建、标记 cgc 主题的项目。
近 90 天内还没有新项目标记这个主题。
S2E：一个具备选择性符号执行功能的多路径程序分析平台。
