240 发简信
  • KLEE中的约束文件解析

    文档信息 文献标题: The reference manual for the KQuery language 文献作者: The KLEE...

  • klee调试版的安装调试笔记

    备注:在安装klee调试版本的过程中,遇到很多问题,将其略微整理了下,供后来人参考。 安装LLVM等配套软件 此过程详见文档Building K...

  • 关于C盘只能压缩50%的事

    今天刚到手一台thinkpad t45,C盘有900多个G,太大,分区压缩只能分出一半。去网上翻翻看到,联想官网的帖子“ThinkPad预装Wi...

  • 《黑客与画家》阅读10

    编程语言的解析 如果你长期使用一种语言,你就会慢慢按照这种语言的思维模式进行思考。当遇到一种有重大差异的语言,即使该语言本身没有什么不对的地方,...

  • 《黑客与画家》阅读11

    一百年后的编程语言 *读者要没学过Lisp估计get不到本章的那个点。 基本运算符是一种语言能否长期存在的最重要的因素。其他因素都不是决定性的。...

  • 《黑客与画家》阅读12

    拒绝平庸 1995年Viaweb,第一个互联网应用程序,最早使用Lisp语言开发的大型应用程序。 埃里克.雷蒙德,《如何成为一名黑客》的作者说:...

  • 《黑客与画家》阅读13

    书呆子的复仇 软件业有场永不停息的战斗,书生气的开发者与官僚主义的经理之间总是发生冲突。 经理,《呆伯特》,a)对技术一无所知;b)对技术有强烈...

  • KLEE生成的主要文件清单

    文献标题: Overview of the main files generated by KLEE 文献作者: The KLEE Team...

  • KLEE命令行参数一览

    文献标题: Overview of KLEE’s main command-line options 文献作者: The KLEE Team...