Hello,静态分析!
文章平均质量分 80
静态分析的学习心得,笔记,idea等。Everything about Static Analysis!
Canliture
hello, 程序分析!
展开
-
南京大学《软件分析》课程课后作业(非Bamboo)
南京大学软件分析课程作业参考实现,非官方代码。https://github.com/canliture/nju-software-analysis-homework欢迎提bug/star/pr文档docs/org为南大课程的作业原题pdfdocs/soot为soot参考资料src/main/java/com/canliture/soot/每个子目录下的作业都有一个README,作为作业的简单说明代码com.canliture.soot.ass1第一次作业的代码实现常量传播c原创 2021-10-09 23:06:32 · 2107 阅读 · 2 评论 -
数据流分析的证明:安全性,终止性和合流性(收敛性)
数据流分析的证明:安全性,终止性和合流性(收敛性)大量的程序属性相关的问题无法在静态分析时进行确定,所以静态分析很多时候得不到精确的结果。于是我们常常采用近似法:允许在得不到精确值的时候,给出不精确的答案。而对于判定性问题,不精确的答案就是Unkonwn。求解近似解的基本方法中,其中一个,也是最基本的一个,就是对问题进行抽象。而对于软件分析中的数据流分析,常见的近似抽象方案就是对程序做抽象,引入两个近似方案。近似方案1:忽略程序的条件判断,认为所有分支都可能到达。(当然,对于静态分析就能够检测并原创 2021-05-17 00:36:38 · 507 阅读 · 1 评论 -
偏序与格理论 基础
格理论学习笔记大一上学期学离散数学,不懂什么是数学结构,数据结构。也不知道学的离散数学到底有什么用,用在什么地方。后来知道,数据结构课程中的各种数据结构都可以用离散数学中的数学定义来解释,使得这些数据结构有相对严格的数学基础。现在工作用用到了很多离散数学的知识,得慢慢学习,将以前学习的知识补回来。所以在工作中实际上有必要重新温故或者重新学一遍。跟工作实践相结合。相信能够对这些计算机基础有更深的理解,最重要的是,帮助理解工作中要用到的一些核心概念。哦,对。现代数学的基础就是集合论。偏序与格理论的原创 2021-05-10 23:07:55 · 978 阅读 · 1 评论 -
程序分析技术栈-测试/辅助证明/模型检验/保守静态分析/bug-finding
做静态Bug查找工具/漏洞检查器等等,需要静态分析的知识,而静态分析从大的技术门类来讲可置身软件工程基础技术:程序分析技术大类。这里先概述日常工作中接触比较多的静态分析技术(如IDE的代码补全,定义跳转等等),然后再站在高层地视角将静态分析技术置身于程序分析这一软件工程基础领域,让我们清楚地知道静态分析在软件基础技术中的作用域/适用范围及其特点/局限性。静态程序分析(简称静态分析),主要是在不运行程序的情况下,找到程序的语义属性。它最初在70年代在编译优化技术中引入,用于生成高效的机器码。随着对静态分.原创 2021-05-04 15:29:43 · 1080 阅读 · 1 评论 -
Bit-Vector框架(2) — Live Variables Analysis
Bit-Vector框架(2) — Live Variables Analysis#mermaid-svg-h2LkkNRYSfHXahhI .label{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);fill:#333;color:#333}#mermaid-svg-h2LkkNRYSfHXahhI .label text{fill:#333}#mermaid-svg-h2LkkNRYS原创 2021-01-29 15:52:30 · 309 阅读 · 1 评论 -
Bit-Vector框架(1) — Reaching Definition Analysis
Bit-Vector框架(1)——Reaching Definition Analysis#mermaid-svg-333SwcHNBd1lX6bv .label{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);fill:#333;color:#333}#mermaid-svg-333SwcHNBd1lX6bv .label text{fill:#333}#mermaid-svg-333Sw原创 2021-01-25 21:23:05 · 393 阅读 · 2 评论 -
《程序分析:开胃菜》概览
#mermaid-svg-IRcss6oDC5GngJjh .label{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);fill:#333;color:#333}#mermaid-svg-IRcss6oDC5GngJjh .label text{fill:#333}#mermaid-svg-IRcss6oDC5GngJjh .node rect,#mermaid-svg-IRcss6oDC5原创 2021-01-25 21:12:28 · 291 阅读 · 1 评论