Posts

  • 24th December 2014
  • 24th December 2014

ML编译器Caml Featherweight——设计

编译器的设计

编译器的设计和实现大量参考了 @Zinc。

…

Read more →
  • 24th December 2014
  • 24th December 2014
  • 24th December 2014
  • 24th November 2014

江苏信安竞赛初赛工作组记事

11月21日,比赛前一天

20日晚还在赶第二天编译原理课的展示,21日上午才开始搞江苏信安竞赛初赛的运维。网站还没有用户和队伍信息,信息要从一个csv文件中导入。也没有题目信息,需要从一个.docx文件里导入,我用的办法是unoconv -f txt a.docx转成文本文件a.txt后用awk处理得到csv格式的文件,之后在Rails项目的lib/tasks目录里创建了一个导入csv格式题目信息的task。在BCTF初赛平台的基础上,还有很多页面、路由和模型等需要调整。

…

Read more →
  • 6th November 2014
  • 14th October 2014

Android微信数据导出

在Nexus 5(Android 4.4)+WeChat 5.4,和Nexus 5(Android 5.0)+Wechat 6.0上测试可用。

获取加密的sqlite3数据库EnMicroMsg.db

如果已经root过,可以下载/data/data/com.tencent.mm/MicroMsg/*/EnMicroMsg.db。

若没有root,则/data/data/com.tencent.mm下多数目录都不可读,可以使用下面的方法:

  • 开启“开发人员选项”,选上“USB侦错”
  • 电脑上执行adb backup -noapk com.tencent.mm
  • 在手机上弹出对话框提示是否允许备份
  • 不要设置密码,点备份,电脑会收到backup.ab
  • 解压backup.ab:dd if=backup.ab bs=24 skip=1 | openssl zlib -d > backup.tar
  • 解压backup.tar得到数据库apps/com.tencent.mm/r/MicroMsg/*/EnMicroMsg.db
…

Read more →
  • 31st August 2014

二叉树遍历算法总结

三类:

  • 栈
    • 系统栈
    • 自己实现的栈
  • 线索:Morris preorder/inorder/postorder traversal
  • 其他edge-crawling方式:Schorr-Waite graph marking algorithm、Lindstrom-Dwyer algorithm
…

Read more →
  • 19th August 2014

Trend Micro Codinsanity 2014参赛记

连续第三篇参赛记。

8月14日

昨天zTrix驾车带cbmixx和我进行了San Francisco Bay Area一日游,游览了Google HQ、Facebook、Stanford University、Twitter HQ和金门大桥,醒来疲惫不堪。到达San Francisco机场,zTrix和cbmixx要回北京,而我要去台北,在登机口碰到ppwwyyxx。

8月15日

和ppwwyyxx抵达台北。 飞机显示屏

…

Read more →