在官网下载需要的版本，然后解压提取至你的目标路径。在终端中，进入你的解压目录。在bin文件中，启动sh文件。

这时候会提示进行软件激活，对于在校学生可以享受学生优惠，在校期间内免费使用jetbrain全家桶的软件，对于学生优惠，你只需要一个学校邮箱，然后注册等等，详情搜一下jetbrains的学生优惠。然后用注册的账号密码进行登陆，软件的激活就完成了。

下面我以Z3解释器为例进行介绍。 从github下载的github源码解压，然后在clion工具的file里打开整个解压后的文件夹，此时clion就会加载整个项目。下面就是编译运行，clion会识别makefile以及makefilelist文件里的内容，无需再在项目文件夹下进行make或者cmake便可以进行编译。同时如果所运行的项目需要参数，例如-g、–fpofile等等，只需要在运行箭头旁的shell下拉框终端edit configurations中，找到program arguments中进行设置，也就是将本应该在shell中出现的参数写到了这里。 之后点击运行，clion就会帮助我们进行编译运行。

这段时间一直在进行覆盖率分析的问题，恰好师兄这里的任务也需要这方面的内容，本来以为还需要在项目的configure或者makefile文件中进行gcov的参数配置，没想到clion直接有coverage的插件，点击运行小箭头旁边的run “shell” with coverage就可以得到覆盖率分析，及其方便。得到的结果会在workspace中的一个单独小窗口显示，可以看的line的击中率以及功能模块的击中率。

今年二月份之后的版本集成了valgrind分析工具，可以对项目中引起内存问题的语句进行搜索分析，valgrind的相关内容可以自行搜索，简而言之，这个工具可以进行项目的优化，并且提高相关工作的效率。使用前需要在系统上进行安装valgrind。

之后clion会在变量里寻找valgrind的路径并提取，在使用时点击run “shell” with valgrind memcheck就可以分析出当前项目哪里存在可能的内存问题。对于valgrind memcheck的参数可以在settings > Build ,Execution,Deployment > Dynamic Analysis Tools中的Analysis options中进行设置。 但是有一个问题，clion只用到了valgrind中的memcheck这一功能，对于其他功能怎么使用，有知道的同学希望告知，谢谢。

clion也集成了pref工具进行动态内存分析，但是也需要现在系统上安装pref。安装的时候可以在终端中输入 pref 命令行，按照他的提示进行安装。 在clion中运行profile shell会提示进行内核配置，点击确定运行项目一段时间停止后，经过漫长等待就能拿到pref分析的内存使用数据。