软件分析笔记4：指针分析
本文是对于南京大学李樾和谭添老师开设的《软件分析》课程视频的笔记总结。相对应的视频在可以再B站上观看。 1.Motivation 上节回顾 在笔记3里我学习了CHA有关的概念和用法，用一个例子来复习一下： 如上图所示，定义了一个接口Number，然后有三个类继承了该接口，实例化了一个 ...
原文：软件分析笔记：1.软件分析基础
本文是对于北京大学熊英飞老师 软件分析 课件以及南京大学李樾老师 软件分析 课程视频的总结。 .哥德尔不完备定理及其在软件分析中应用 . 定理内容 对任意能表示自然数的系统，一定有定理不能 被证明 . 定理应用 主流程序语言的语法 语义 能表示自然数的形式系统 。 哥德尔不完备定理在处理内存泄露判定问题时的应用 设有表达式T不能被证明 若T为永真式，则没有内存泄露，否则就可能有。 .停机问题 . ...
2020-04-14 17:35 0 805 推荐指数：
相关推荐
案例分析——笔记软件分析报告
项目 内容 这个作业属于哪个课程 2021春季软件工程（罗杰 任健） 这个作业的要求在哪里 案例分析作业 我在这个课程的目标是 认识软工，拥抱软工，提升相关 ...
软件分析笔记：5.Soot的安装与使用
最近在学习软件分析相关知识的过程中，很多老师都推荐了Soot这个代码分析工具，所以我就去学习了一下soot的基本用法。soot项目在github上的地址为：https://github.com/Sable/soot 1.Soot简介 soot是java优化框架，提供4种中间代码来分析和转换 ...
2021软件工程-案例分析——笔记软件#1
2021软件工程-案例分析作业#1 项目 内容 这个作业属于哪个课程 2021-春 软件工程（罗杰 任健） 这个作业的要求在哪里 2021年软工-案例分析作业 ...
软件分析笔记：3.过程分析(Interprocedural Analysis)
本文是针对南京大学《软件分析》谭添老师的视频课的课堂笔记。 1.Motivation 此前我们讨论的问题都是过程内的，也就是不涉及到方法调用。然而实际程序中方法调用屡见不鲜，继续采用之前的分析方法会丢失精度，这也就是为什么我们需要过程(间)分析。二者的区别如下： 过程内分析 ...
软件分析笔记：2.数据流分析
1数据流分析基础 1.1停机问题-抽象方法 针对基础篇中的停机问题，我们可以试用抽象方法去尝试解决问题。邪恶程序存在的关键在于程序中有if存在 。因此可以采取以下方式。 1.1.1忽略掉所有程序的if条件部分 抽象成 语义：“向左走/向右走”为非确定性选择，程序随机从“向左走 ...
软件分析笔记6：上下文敏感指针分析
对于指针分析尤其是Java指针分析来说，上下文敏感是最有效的提升精度的方法，上下文敏感的指针分析是指针分析领域最近几年研究的热点，上下文敏感不是指针分析独有的技术，理论上所有跨函数间的分析都会涉及到上下文敏感。我们当前先研究上下文敏感的指针分析。 1.上下文不敏感指针分析的缺陷 我们用一个 ...
软件分析与用户体验分析
一 俩款的软件基本情况，问卷调研的基本情况 我们是1号团队，我们团队项目经理：张浩洋，产品经理：王明明，UI设计师：张雅宁，软件测试师：易伟，软件工程师：赵洋，赵振凯，杨宁，张昊。 我们分析的软件是搜索引擎 必应搜索引擎软件分析和用户体验调查 ...