jjppp的博客

摘要： 这一节主要讨论针对CFG中的路径的优化 Feasible & Realizable Paths Infeasible Paths: paths that do not correspond to actual executions Unrealizable Paths: paths whose "r 阅读全文

摘要： Datalog = Data + Logic，是声明式编程语言(Declarative Programming Language) Prolog的一个子集 Datalog最早作为数据库的查询语言出现，是非图灵完备的编程语言 语法 和数理逻辑的命题逻辑、谓词逻辑基本是一致的，如果看的教材和我一样是Ma 阅读全文

摘要： 下面几节课都比较轻松，内容偏科普性质 Security Achieving some goals in the presence of adversaries 这个概括可以说是很简练了 统计意义下最常见的两类漏洞： Injection Errors Information leaks 这两者本质上都 阅读全文

摘要： CSA=Context Sensitive Analysis 上下文敏感分析 不敏感的分析认为所有语句的执行顺序无法区分，也就是没有上下文的概念 考虑如下代码片段 class A; A a = new A(); // o1 A b = new A(); // o2 A pa = func(a); A 阅读全文

摘要： PA=Pointer Analysis 指针分析 Motivation CHA方法实际上没有利用足够的信息(即实际上变量可能指向的对象所从属的类的范围可以进一步缩小),会引入假的调用边 Pointer Analysis PA是一种基础的静态分析,它要回答的问题是"某个指针p的值域可能是啥" 对于OO 阅读全文

摘要： CGC=Call Graph Construction Motivation 如果只做method内的分析，则任何包含function call的语句都需要保守分析(例如说默认不是常数) 这样是不利于进一步做优化的,因此引入Call Graph图对CFG作拓展 java call invokesta 阅读全文

摘要： 大一下享受生活&课程存活经验 下一届的直系小朋友们终于来了，希望自己能够真正帮到他们，而不是向去年的我一样自己摸索（虽然也没有摸索地太痛苦，但是从反响来看大部分的同学的求索之路还是很痛苦的.... 混了一年也学会了各种划水摸鱼，算是成了老油条了。不过享受生活和学习不冲突，因此这次不完全是存活经验了（ 阅读全文

摘要： 好多题都不会啊，这可咋整 先写着吧....大概会割掉.... cf490 求带点权树上的简单路径构成的点权序列的最长上升子序列的长度的最大值 一个比较容易想到的做法就是dp，设f[x,i]表示以x为根的子树中，以i为结尾的最长上升子序列的长度，g[x,i]就是下降。这里我们规定只能选取深度递降的顺序 阅读全文

摘要： 本来应该(被)科普一些拓扑的姿势的，但是目前好像也不太用得上，就先咕了吧。 本文假设读者有一定的图结构知识，比较新的概念俺会努力解释的 这里的内容都比较入门，大佬轻喷( 平面图(Plane Graph) 我们称具有如下性质的图 \(G\) 为平面图： \(V(G)\subseteq \mathbb 阅读全文

摘要： 恶补一下java来方便写作业,希望能用的上 一直有点抗拒这门语言,给我的感觉就是笨重麻烦,很难写一些很漂亮的做法 变量和类型 java是强类型语言,需要显式地声明变量的类型.变量的类型分为两种: primitive类型,包括: 整形:long int short byte，分别表示单字、双字、四字、 阅读全文