55期Italk——高端程序分析软件发展趋势及国内首款反编译软件发布

戚正伟 2010-2-2 15:19

【时间】：2010年2月3日，周三，晚上6：30-8：30 地点】：张江大厦1楼560文化空间（松涛路560号，张江高科地铁站，步行约8分钟） 以反编译为基础的高端程序分析软件在国外已经占据软件产业链的上游，那么颠覆者等为代表的新兴产品能否开垦国内的程序分析软件市场这块为数不多的处女地？颠覆者是云计 ...

个人分类: 杂感随谈|4208 次阅读|3 个评论

科学网的blog真好使

戚正伟 2010-1-23 13:23

真不错，基本上不用关心写blog的其他事情，做得不错。如果能够提供类似wiki的功能就更好了。

个人分类: 杂感随谈|2989 次阅读|2 个评论

类型理论、Domain及pi 演算的一些思考

戚正伟 2010-1-23 13:11

最近参加了一系列的计算机理论讨论会，讲到类型理论和进程代数的关系。提出类型理论不作为元系统，可以用CCS来表达。CCS具有交互特性，那么一个交互的类型指称一个什么样的Domain呢？是否一定要指称一个domain，其语义就使用ccs来表达，采用bisimulation框架，不知是否可行？ 另外，交大这边得到一 ...

个人分类: 杂感随谈|4032 次阅读|没有评论

C-Decompiler: 交互式C/C++反编译器

戚正伟 2010-1-23 12:49

C-Decompiler即交互式C/C++反编译器，该项目最终形式是一个基于x86的交互式的C/C++反编译器。 它能够从可执行文件反编译成C/C++源代码。该C/C++源代码在功能上与最初的源代码是一致的。 欢迎一起讨论, 推动程序分析转化. 详细地址: http://www.c-decompiler.cn/

个人分类: 杂感随谈|15376 次阅读|5 个评论

第一篇blog文章

戚正伟 2009-7-6 17:11

第一篇blog文章,发文纪念之.

个人分类: 杂感随谈|2941 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏