我的随笔

检测Buffer Overflow的几种方法

zztian 2011-12-13 22:31 阅读:475 评论:0 推荐:0

流敏感、路径敏感、上下文敏感

zztian 2011-11-28 17:20 阅读:913 评论:0 推荐:0

转：跟我一起写 Makefile

zztian 2011-11-23 11:47 阅读:274 评论:0 推荐:0

基于ajc的代码编织

zztian 2011-11-22 16:24 阅读:353 评论:0 推荐:0

Symbolic Exectuion with Mixed Concrete-Symbolic Solving

zztian 2011-10-26 21:15 阅读:267 评论:0 推荐:0