100 天阅读计划,深入剖析程序和计算机 - 确定性有限自动机(Deterministic Finite Automaton,DFA)

现实中,计算机通常都有大量的易失存储器(RAM)和非多核易失存储器(硬盘或者SSD) ,有许多输入输出设备,还有能同时执行多个指令的处理器。有限状态机(finite state machine) ,也叫有限自动机(finite automaton) ,是一台计算机的极简模型,为了容易理解、推导并且容易用硬件或软件实现,它放弃了上面所有的这些特性。

阅读全文〉

100 天阅读计划,计算机的本质:深入剖析程序和计算机 - 程序的含义

100 天计划第一期,决定读一些经典的技术类书籍。作为 IT 从业者,虽然是科班出身,但是基础知识结构仍然有很多需要夯实。

《计算机的本质:深入剖析程序和计算机》这本书涵盖了计算理论和编程语言设计,阐释了形式语义、自动机理论,以及通过 lambda 演算进行函数式编程等计算问题,可以帮助更好的理解计算机科学和计算原理。

阅读全文〉

obfuscator (OLLVM)

OLLVM(Obfuscator-LLVM)是瑞士西北应用科技大学安全实验室于2010年6月份发起的一个项目,该项目旨在提供一套开源的针对LLVM的代码混淆工具,以增加对逆向工程的难度。后期转向商业项目strong.protect。目前,OLLVM已经支持LLVM-4.0版本。

本文主要记录了 OLLVM 的编译,使用流程。

阅读全文〉