软件分析笔记6：上下文敏感指针分析
对于指针分析尤其是Java指针分析来说，上下文敏感是最有效的提升精度的方法，上下文敏感的指针分析是指针分析领域最近几年研究的热点，上下文敏感不是指针分析独有的技术，理论上所有跨函数间的分析都会涉及到上下文敏感。我们当前先研究上下文敏感的指针分析。 1.上下文不敏感指针分析的缺陷 我们用一个 ...
原文：软件分析笔记4：指针分析
本文是对于南京大学李樾和谭添老师开设的 软件分析 课程视频的笔记总结。相对应的视频在可以再B站上观看。 .Motivation 上节回顾 在笔记 里我学习了CHA有关的概念和用法，用一个例子来复习一下： 如上图所示，定义了一个接口Number，然后有三个类继承了该接口，实例化了一个Number对象n，那么利用CHA可以找到 个调用目标 因为n是Number类型，所以要去Number和所有Numbe ...
2020-04-24 15:45 0 1206 推荐指数：
相关推荐
软件分析笔记：1.软件分析基础
本文是对于北京大学熊英飞老师《软件分析》课件以及南京大学李樾老师《软件分析》课程视频的总结。 1.哥德尔不完备定理及其在软件分析中应用 1.1定理内容 对任意能表示自然数的系统，一定有定理不能 被证明 1.2定理应用 主流程序语言的语法+语义=能表示自然数的形式系统 。 哥德尔不完 ...
案例分析——笔记软件分析报告
项目 内容 这个作业属于哪个课程 2021春季软件工程（罗杰 任健） 这个作业的要求在哪里 案例分析作业 我在这个课程的目标是 认识软工，拥抱软工，提升相关 ...
软件分析笔记：5.Soot的安装与使用
最近在学习软件分析相关知识的过程中，很多老师都推荐了Soot这个代码分析工具，所以我就去学习了一下soot的基本用法。soot项目在github上的地址为：https://github.com/Sable/soot 1.Soot简介 soot是java优化框架，提供4种中间代码来分析和转换 ...
软件分析笔记：3.过程分析(Interprocedural Analysis)
本文是针对南京大学《软件分析》谭添老师的视频课的课堂笔记。 1.Motivation 此前我们讨论的问题都是过程内的，也就是不涉及到方法调用。然而实际程序中方法调用屡见不鲜，继续采用之前的分析方法会丢失精度，这也就是为什么我们需要过程(间)分析。二者的区别如下： 过程内分析 ...
软件分析笔记：2.数据流分析
1数据流分析基础 1.1停机问题-抽象方法 针对基础篇中的停机问题，我们可以试用抽象方法去尝试解决问题。邪恶程序存在的关键在于程序中有if存在 。因此可以采取以下方式。 1.1.1忽略掉所有程序的if条件部分 抽象成 语义：“向左走/向右走”为非确定性选择，程序随机从“向左走 ...
this指针的用法和基本分析
当在不同的对象中采用this指针，就已经是在给它赋值了。对象各自的this指针指向各自对象的首地址，所以不同对象的this指针一定指向不同的内存地址。 this 指针是由系统自动提供的指向对象的特殊指针。 this指针的含义及其用法: 1. this指针是一个隐含于每一个成员函数中的特殊 ...
2021软件工程-案例分析——笔记软件#1
2021软件工程-案例分析作业#1 项目 内容 这个作业属于哪个课程 2021-春 软件工程（罗杰 任健） 这个作业的要求在哪里 2021年软工-案例分析作业 ...