2017年06月_Jeremy_ku

11月 10月 07月 06月 05月 04月 01月

原创 GDB查看指定内存地址的内容——指令x

Overview：![examine指令参数](http://img.blog.csdn.net/20170629170625941?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvaGFpZmVuZ19ndQ==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEa

2017-06-29 22:01:59 62416

原创每次打开excel弹出要安装Microsoft.VisualStudio.QualityTools.LoadTestExcelAddIn.vsto的窗口

之前每次弹出该窗口的时候，就直接点击“不安装”，然后也可以正常使用excel。但是今天实在受不了了，就网上查了一下，想把这个问题彻底解决掉，不然每次都要点击“不安装”。。。解决方法，参照了这个技术支持和这篇对访问权限提权的回答，最终解决了标题所述问题，打开excel再也不会有弹出框了。首先，进入C:\Program Files\Microsoft Office\Office15目录，右击以管

2017-06-28 16:16:11 8067 2

翻译 ANTLR4在windows上的安装(Python3版)

相比于我前面写的一篇关于ANTLR4在windows上的安装(java版) ,安装python接口版本要相对简单一些。两种方法： 1. 到官网http://www.antlr.org/download.html 或者https://pypi.python.org/pypi/antlr4-python3-runtime/下载 antlr4-python3-runtime-4.7.macosx-10.

2017-06-19 23:11:43 3907

翻译 ANTLR4在windows上的安装(java版)

1.下载ANTLR我们可以从这个官网下载到最新的antlr-4.x.x-complete.jar（现在最新版是4.7）。保存该文件到 C:\Javalib目录下。2.添加ANTLR到系统环境变量CLASSPATH中因为我们安装的是java接口版本的ANTLR, 所以Java是必须提前安装好的。关于java的安装，这里就不赘述了。java安装好的基础上，现在将添加antlr-4.7-compl

2017-06-19 23:01:10 10171 2

原创 Makefile中echo -e 以及输出$()和%.o 这两个字符串的问题

背景有次我在写makfile时，用echo -e要显示带颜色的文字，命令如下： echo -e “Full Version is:\033[31m\033[1m v1.0 \033[0m”; 该命令在控制台中单独执行都显示正常，效果如下：Full Version is: v1.0可以放在makefile中一运行，结果把-e也显示出来：-e Full Version is: v1.0原因这是由于

2017-06-16 15:30:19 10825 2

原创 cscope

待整理。。。摘抄 vim技巧vim+ctags+cscope安装与使用总结9、[[ 跳到函数头部，]] 跳到函数尾部 10、quickfix是vim的标准插件，vim自带。 quickfix功能将编译过程中产生的错误信息保存到文件中，然后vim利用这些信息跳转到源文件的对应位置，我们就可以进行错误的修正，之后跳到下一个错误重复上述操作，从而极大地提高编译错误的修改效率。quick常用命令 (也可

2017-06-15 15:09:21 598

原创解决vim写的Makefile报错:Makefile: missing separator(did you mean TAB instead of 8 spaces?). Stop.

通常我们为了使vim作为更强大的IDE，会对vimrc文件加以配置（如将TAB键自动转换为4个空白键）。但正是由于将tab键转换为n个空白键，使得用vim编写的Makefile中不存在tab键（即“\t”）了。恰恰Makefile中以tab键作为命令行的起始标记。所以现在找到了报错的原因，即tab键被替换为空白键了。解决方法是：在/etc/vim/vim73/vimrc中加入下列配置行（也可

2017-06-14 23:16:02 11842 1

原创 vim中字符大小写快速转换

1. 单个字符的处理~：切换光标所在位置的字符的大小写形式，大写转换为小写，小写转换为大写3~：将光标位置开始的3个字母改变其大小写2. 多个字符的处理vim中大小写转化的基础命令是： gu 小写的u意味着转为小写 gU 大写的U意味着转为大写剩下的就是对这两个命令的限定（限定操作的行，字母，单词）等等。所有操作均是在normal mode（普通模式）下操作，不需要进入命

2017-06-14 22:20:26 1046

原创 VIM代码自动补全

最近看到几个vim下代码自动补全的资料，突然想收集整理下。本文会随时更新！vim自带的代码补全 (7.0以上版本)对于在vim中前面已经输入过的字符串，只要再次输入前几个字符，然后按Ctrl+n 即可自动补全。 Ctrl+p 补全前面申明过的变量或者函数名。前面声明了结构体T，想在输入T.时弹出成员供选择，只需在用之前按一下：CTRL+F12 ctrl+x ctrl+o（智能补全

2017-06-13 23:00:10 7941

原创 VIM中ctags的简单使用教程

关于ctags的安装及配置等，请参考 Vim:打造Linux程序员的编辑利器(ctags+cscope+taglist+code_complete)。下面是关于ctags的几个常用快捷键。打开进入vim后，在vim编辑器内,在命令模式下输入 :ta pattern 就可以找到符合pattern的字符位置。（相当于search功能） Ctrl + ] 找到光标所在位置的标签定义的地方。

2017-06-08 19:34:51 32076

转载 Vim:打造Linux程序员的编辑利器(ctags+cscope+taglist+code_complete)

http://smilejay.com/2012/10/vim-for-linux-programmer/在2年前，写过一篇文章“Vim:打造Linux C/C++程序员的编辑器”，先在根据这两年的Vim使用经验对其进行一些补充和完善，以便在使用Vim时（偶尔忘记配置或快捷键）作为参考。经过适当的配置，配合一些快捷键，VIM会成为Linux上一个代码阅读、编辑的强大工具。所谓“工欲善其事，必先利其

2017-06-08 18:52:58 5746 1

转载 Java编写多线程, Callable,Runnable比较及用法

编写多线程程序是为了实现多任务的并发执行，从而能够更好地与用户交互。一般有三种方法，Thread,Runnable,Callable.Runnable和Callable的区别是，(1)Callable规定的方法是call(),Runnable规定的方法是run(). (2)Callable的任务执行后可返回值，而Runnable的任务是不能返回值得 (3)call方法可以抛出异常，run方法不可

2017-06-06 21:18:35 416

转载 Java中普通代码块，构造代码块，静态代码块区别及代码示例

//执行顺序：（优先级从高到低。）静态代码块>mian方法>构造代码块>构造方法。其中静态代码块只执行一次。构造代码块在每次创建对象时都会执行。1 普通代码块//普通代码块：在方法或语句中出现的{}就称为普通代码块。普通代码块和一般的语句执行顺序由他们在代码中出现的次序决定--“先出现先执行”public class CodeBlock01{ public static void ma

2017-06-06 16:55:27 275

原创 Replay the test case using KLEE

KLEE provides the possibility to replay the test cases with the real program.Replaying a test caseWhile we can run the test cases generated by KLEE on our program by hand, (or with the help of an exis

2017-06-03 21:42:12 607

原创 common strengths and weaknesses of symbolic execution

Strengths:when a test case fails, the program is proven to be incorrect;automatic test cases catch errors that are often overlooked in manual written test cases (this is from KLEE paper);it can be u

2017-06-03 21:33:12 399

原创 KLEE error reports

When KLEE detects an error in the program being executed it will generate a test case which exhibits the error, and write some additional information about the error into a file testN.TYPE.err, where N

2017-06-01 23:05:31 411

转载沟通至上《高效程序员的45个习惯》读书笔记

《高效程序员的45个习惯》这本书的副标题是敏捷开发修炼之道，这是一本讲敏捷的书，如果你之前未接触过敏捷，从这本书，可以了解到敏捷的核心观点。这里面主要讲了三方面的内容，观念，沟通，以及编码。观念我们首先从观念来看，提观念当然少不了敏捷宣言：个体和交互胜过过程和工具；可工作的软件胜过面面俱到的文档；客户的协作胜过合同谈判。响应变化胜过遵循计划；敏捷开发改变了整个开发流程；传统的瀑布模型是重设计，资深的

2017-06-01 20:05:01 254

转载公司内部wiki，你建立了么？

Wiki 是一个协同著作平台或称开放编辑系统。我们可以用Wiki来建设帮助系统，知识库系统。国内公共wiki最著名就是百度百科；我这里要讨论的是公司的内部wiki。内部wiki的作用1.鼓励分享分享是互联网的精神，wiki能将互帮互助融入到企业文化之中。除了工作上的成就，让员工在工

2017-06-01 17:19:28 6059 1

antlr4-runtime-4.7-javadoc.jar

ANTLR4.7运行环境库的doc，对应于antlr-4.7-complete.jar

2017-07-03

antlr-4.7-complete.jar

antlr-4.7-complete.jar运行环境库(java版)

2017-07-03

MinGW-w64-install.exe

MinGW-W64主要包含编译器部分，如GCC

2016-09-25

MSYS-1.0.11.exe

2016-09-25

AspectC++ 转换源码运行脚本

自行整理了一个运行AspectC++转换源码运行的shell脚本代码，只需修改aspectC++工具路径和第三方头文件路径；然后把该脚本放在工程源文件目录中运行即可。

2016-05-10

AspectC++运行脚本

2016-05-10

EN 50159-2010版

Railway applications — Communication, signalling and processing systems — Safety-related communication in transmission systems.

2016-05-06

EN50159- Part2

railway applications-communication, signaling and processing systems-part2：Safety related communication in open transmission systems.

2016-05-06

EN50159- Part1

EN50159 Railway applications-communication, signaling and processing systems-Part1: Safety–related communication in closed transmission systems 欧洲开发网络完全通信标准

2016-05-06

CPNTools 软件

CPN Tools 是集编辑、设计与仿真以及分析于一身的有色Petri Net（CPN）工具，即Colored Petri nets。此4.0.1是当前最新版，有着很好的GUI，易于使用。 CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言，颜色集，时间，层次化建模等。同时，CPN Tools提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证（MC）的能力。

2015-06-05

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人