2021年11月27日
shlab
摘要： 深入理解计算机系统ch8 shlab 感觉不熟悉异常控制流中章节中的内容时，写起来比较费劲，代码量不大但是要理清楚什么时候该阻塞信号，什么时候该取消阻塞。 # eval函数主要参照书中的方式 void eval(char *cmdline) { char *argv[MAXARGS]; char b 阅读全文
posted @ 2021-11-27 16:50 mujueke 阅读(94) 评论(0) 推荐(0)
2021年9月23日
Ubuntu20.04中安装微信
摘要： 安装wine 安装wine的过程中，主要仿照官网上的操作进行，这里之前卡了很久，主要是因为Ubuntu20.04的版本代号是focal，而之前软件源一直用的是bionic。 纠正软件源的错误之后，按照官网正常进行操作，安装wine还是比较顺利的。 使用wine安装微信 官网下载微信的.exe文件，然 阅读全文
posted @ 2021-09-23 12:09 mujueke 阅读(1163) 评论(0) 推荐(0)
2021年5月16日
CPA的编写
摘要： CPA的编写主要是三个文件：CPA.java，State.java，TransferRelations.java，以Mytest为例。 首先编写MyTestState.java MyTestState主要是通过继承AbstractState来实现，可以根据需要添加自己所需要的属性等，这里仅仅简单添加 阅读全文
posted @ 2021-05-16 13:48 mujueke 阅读(238) 评论(0) 推荐(0)
2021年5月9日
eclipse中配置JRE
摘要： window->Preferences->java->Install JREs->Add 然后选择对应的JRE即可 通常在系统中配置好java之后都能找到相应的JRE。 阅读全文
posted @ 2021-05-09 16:03 mujueke 阅读(368) 评论(0) 推荐(0)
如何将CPAchecker的项目添加到eclipse中然后运行示例
摘要： 预备的编译工作 首先将cpachecker的整个项目下载下来，然后导入到eclipse中。成功导入之后进行Build Path的检查，查看依赖的库中是否有缺失的（有问题的库在Classpath中会出现红色的×，对应的项目图标也会有红色的×）。 对于有影响的库，需要想办法添加，没有影响的直接将有问题的 阅读全文
posted @ 2021-05-09 15:56 mujueke 阅读(179) 评论(0) 推荐(0)
2020年1月3日
mplayer设置当前目录下的音乐播放列表
摘要： 使用命令： ls > [列表名].lst 如： ls > playerlist.lst 即在当前目录创建了一个列表文件playerlist.lst 播放时： mplayer -playlist playerlist.lst 即可按照列表播放。 阅读全文
posted @ 2020-01-03 16:43 mujueke 阅读(481) 评论(0) 推荐(0)