Occam's Razor
发简信
IP属地：福建
-
-
-
-
图形数据库之Neo4j学习（一）
然后PATH里面加入：%NEO4J_HOME%\bin 如果是Liunx： NEO4J_HOME=/home/search/neo4j export CLASSPATH=$C...
-
KLEE中的约束文件解析
文档信息 文献标题： The reference manual for the KQuery language 文献作者： The KLEE Team. 文献来源：htt...
-
klee调试版的安装调试笔记
备注：在安装klee调试版本的过程中，遇到很多问题，将其略微整理了下，供后来人参考。 安装LLVM等配套软件 此过程详见文档Building KLEE (LLVM 3.4) ...
-
关于C盘只能压缩50%的事
今天刚到手一台thinkpad t45，C盘有900多个G，太大，分区压缩只能分出一半。去网上翻翻看到，联想官网的帖子“ThinkPad预装Windows系统使用压缩卷分区只...
-
《黑客与画家》阅读10
编程语言的解析 如果你长期使用一种语言，你就会慢慢按照这种语言的思维模式进行思考。当遇到一种有重大差异的语言，即使该语言本身没有什么不对的地方，你也会举得它及其难用。 语言之...
-
《黑客与画家》阅读11
一百年后的编程语言 *读者要没学过Lisp估计get不到本章的那个点。 基本运算符是一种语言能否长期存在的最重要的因素。其他因素都不是决定性的。如同买房子，地理位置是最优先的...
-
《黑客与画家》阅读12
拒绝平庸 1995年Viaweb，第一个互联网应用程序，最早使用Lisp语言开发的大型应用程序。 埃里克.雷蒙德，《如何成为一名黑客》的作者说：“ Lisp值得学习。掌握它之...
-
《黑客与画家》阅读13
书呆子的复仇 软件业有场永不停息的战斗，书生气的开发者与官僚主义的经理之间总是发生冲突。 经理，《呆伯特》，a）对技术一无所知；b）对技术有强烈的个人观点。他要求你一定要使用...
-
KLEE生成的主要文件清单
文献标题： Overview of the main files generated by KLEE 文献作者： The KLEE Team. 文献来源： http:/...
-
KLEE命令行参数一览
文献标题： Overview of KLEE’s main command-line options 文献作者： The KLEE Team. 文献来源： http:/...
-
KLEE的Docker镜像使用
KLEE是使用符号执行技术生成测试样本的知名利器，有着崇高的江湖地位。在KLEE网站上发布了采用Docker打包的镜像。对于两者，我都很陌生，以下记录了在使用过程中，涉及的一...
