Introduction这里仅简单介绍课程的目录和实验的进度安排。

Intermediate_RepresentationCompilers and Static Analyzers编译器将源代码（Source code） 转换为机器代码（Machine Code）。其中的流程框架是： 词法分析器（Scanner），结合正则表达式，通过词法分析（Lexical Analysis）将 source code 翻译为 token。 语法分析器（Parser），结合上

Data_Flow_AnalysisOverview of Data_Flow_Analysis数据流分析的核心：How Data Flows on CFG? 将这句话展开来，所谓数据流分析就是： How application-specific Data (对数据的抽象：+, -, 0 等……) ​ Flows (根据分析的类型，做出合适的估算) through the ​ Nodes (数

Pointer_AnalysisMotivation先看这个例子： 12345Number n = new One();int x = n.get();class Zero implements Number{...}class One implements Number{...} 由于我们在 CHA 中只会分析到 Number n = ...，因此我们会

Interprocedural_AnalysisMotivation在常量传播中，y = addOne(42) 应该让 y 被视作一个常量（43），但是因为我们没有考虑过程间分析，就导致我们认为 y 是 NAC，这个结果过于保守了。 因此我们需要实装过程间分析。 Call Graph Construction (CHA based)所谓 Call Graph，就是指出一个方法会在其方法体内，对哪些

Data Analysis FoundationIterative Algorithm, Another View给定一个有 k 个节点的 CFG，迭代算法会更新每个节点 n 的 OUT[n] 值。那么我就可以考虑把这些值定义为一个 k-tuple：$$(OUT[n_1],OUT[n_2],…,OUT[n_k])\in (V_1\times V_2 \times …\times V_k) 

Pointer_Analysis_FoundationPointer Analysis: Rules上一篇笔记说到，在指针分析（PoinTer Analysis）中，我们关心的东西有两种： 可以用来构建指向关系的东西，即指针； 导致指向关系发生变化的语句。 在 PTA 完成之后，我们希望得到的东西是：每个指针的指向关系，即它们的 point-to set. 现在我们就来看看，在 PTA 里

Exam01-考试讲解 作业占比比较大 题型：多选+简答+问答 多选：不是单选(至少有2个答案，漏选的一半)，应该没有全选 简答：相对比较简单，都是概念题，比如定义(PPT上可能有2-3个，任何一个都可以接受)，意思到即可 问答： 画一个例子来解释多维模型：概念有层、多维度，在这基础上如何完成OLAP操作，包括切块、切片、旋转、上钻和下钻。 Overview中包含数据挖掘，数据挖掘PPT可以复习一

1. 商业模式设计流程 基础的商业模式设计流程 动员 理解 设计 实施 管理 商业模式创新的目的 满足未被相应的现实市场需求 将新的技术、产品或服务推向市场 用更好的商业模式来改进、颠覆现有市场或者推动其转型 创造一个全新的市场 商业模式创新的动机 当前商业模式的危机 为了适应黄姐的变化，调整、改进或者捍卫当前的商业模式 将新的技术、产品或服务推向市场 为未来做准备、开发和验证最终可能取代

1. 超越经济效益的商业模式 每一个组织都有一个商业模式，即便它并没有”商业”属性。 为非盈利组织、慈善机构、公共服务实体和以盈利为目的的社会投资机构服务 主要讨论的是非盈利组织的的商业模式，这种我们更倾向于叫做”企业模式“ 第三方资助的企业模式(比如公益组织、慈善组织、政府组织)，政府购买公共服务、红会捐款 有强烈的环境和社会使命的”三重损益“商业模式:”三重损益”，指的是计算环境、社会和财务成