上一页 1 ··· 33 34 35 36 37 38 39 40 41 ··· 79 下一页
2021年2月3日
POJ 1201 Intervals 差分约束，最短路，RE会报TLE 难度:1 差分约束背景知识需联想证明
摘要： 题目 http://poj.org/problem?id=1201 题意 给你n个整数区间(5e4数量级），要求给出一个最小的整数集合，这个整数集合至少与第i个区间有ci个重合整数 思路 很裸的差分约束，若令dp[w]为在[0, w]中取多少个整数，明显dp[bi] - dp[ai-1] = ci。 阅读全文
posted @ 2021-02-03 17:56 雪溯 阅读(62) 评论(0) 推荐(0) 编辑
POJ 3276 The Cow Lexicon DP 难度: 0
摘要： 题目 http://poj.org/problem?id=3267 题意 有长为L的字符串(L<=600)，现在问最少去掉多少个字符，使得字符串由字典中的词不重叠地构成。 字典中含有k(k<=300)个词，每个词长度最多为25 思路 最粗暴的想法：假设当前已经匹配到i为第k个单词的结尾，向前找到第k 阅读全文
posted @ 2021-02-03 00:54 雪溯 阅读(40) 评论(0) 推荐(0) 编辑
2021年2月2日
POJ 1276 Cash Machine DP 难度: 0
摘要： 题目 http://poj.org/problem?id=1276 题意 一台机器，里面有N种钱，第k种钱币值为Dk，共有Nk张。问不超过cash最多能取出多少钱。 思路 最最简单的可达性dp。 代码 Mem: 384K Time: 329MS #include <iostream> #includ 阅读全文
posted @ 2021-02-02 23:57 雪溯 阅读(51) 评论(0) 推荐(0) 编辑
2021年1月28日
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 16 CFL-Reachability and IFDS
摘要： Feasible and Realizable Paths Given a path, determine whether it is feasible is, in general, undecidable. Realizable Paths: The paths in which “return 阅读全文
posted @ 2021-01-28 19:26 雪溯 阅读(231) 评论(0) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 15 Soundiness
摘要： Soundness & Soundiness Soundness: the analysis captures all program behaviors, or the analysis result models all possible executions of the program • 阅读全文
posted @ 2021-01-28 19:24 雪溯 阅读(100) 评论(0) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 14 Datalog-Based Program Analysis
摘要： Motivation 目的：套用数理逻辑思路 Datalog：声明式语言（这里需要和c++这种命令式语言做出区别），简洁，可读性，易于实现。 Intro-Datalog Datalog是Prolog的子集，在1980年代作为database language出现。 Datalog program = 阅读全文
posted @ 2021-01-28 18:37 雪溯 阅读(257) 评论(0) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 13 Static Analysis for Security
摘要： Information Flow Security 跟踪程序中的信息流，确保全部信息都妥帖处理了 更关注信息传递。 与指针分析的关系 它与指针分析有相似之处，所以有taint analysis方法 Security Level 明显，程序中的变量（信息）有不同的安全等级，比如two-level po 阅读全文
posted @ 2021-01-28 17:07 雪溯 阅读(182) 评论(0) 推荐(0) 编辑
2021年1月26日
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 11 Pointer Analysis Context Sensitivity
摘要： Problem of Context-Insensitive Pointer Analysis 明显Java的方法与上下文，比如调用该函数的变量，有很大关系，比如变量的类型会决定具体调用的是哪个方法实例，之前Context-Insensitive Pointer Analysis比CHA能更好地根据 阅读全文
posted @ 2021-01-26 19:59 雪溯 阅读(142) 评论(0) 推荐(0) 编辑
2021年1月24日
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 08 Pointer Analysis && 09 Pointer Analysis Foundations (I)
摘要： Motivation 明显，类层次分析没法很好完成invokeinterface的分析。 Intro 作用： 确定某个指针能够指向何处memory 对oop能够确定指针指向的具体是哪个class的方法，field等 一般是may analysis Pointer Analysis & Alias A 阅读全文
posted @ 2021-01-24 18:28 雪溯 阅读(109) 评论(0) 推荐(0) 编辑
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 07 Interprocedural Analysis
摘要： Motivation 目的：处理method calls 方法：沿着interprocedural control-flow edges将数据流信息传播过去(一般是call/return edges) Call graph construction Call graph construction i 阅读全文
posted @ 2021-01-24 17:43 雪溯 阅读(133) 评论(0) 推荐(0) 编辑
上一页 1 ··· 33 34 35 36 37 38 39 40 41 ··· 79 下一页