摘要: 核心代码: # from sklearn.linear_model import LogisticRegression from sklearn.multioutput import MultiOutputClassifier from sklearn.naive_bayes import Mult 阅读全文
posted @ 2020-08-14 18:24 max_xbw 阅读(622) 评论(0) 推荐(0) 编辑
摘要: 目录: "1. 重入(Reentrancy) [1, 2, 3]" "2. Call to the unknown [1]" "3. Gasless send [1, 3]" "4. Exception disorder/Mishandled Exceptions [1, 2, 3]" "5. Ty 阅读全文
posted @ 2018-09-25 23:35 max_xbw 阅读(5866) 评论(0) 推荐(0) 编辑
摘要: tmux 终端分屏工具 man Help cat/more/less 文件阅读 less还具有字符串搜索功能 阅读全文
posted @ 2018-09-20 10:52 max_xbw 阅读(237) 评论(0) 推荐(0) 编辑
摘要: 最近在自学符号执行,因此,这篇经典文章(Symbolic Execution for Software Testing: Three Decades Later)[1]作为入门必读。 <! MarkdownTOC "0. 定义" "1. 经典的符号执行" "2. 现代符号执行技术" "2 1. 混合 阅读全文
posted @ 2018-08-21 13:44 max_xbw 阅读(6975) 评论(1) 推荐(0) 编辑
摘要: ```console set o nounset help() { cat 阅读全文
posted @ 2018-08-13 22:35 max_xbw 阅读(245) 评论(0) 推荐(0) 编辑
摘要: [forwarded from https://nebelwelt.net/blog/20180704 rebuttal.html] Assuming you have given everything to write the best and most beautiful paper you c 阅读全文
posted @ 2018-07-10 11:59 max_xbw 阅读(339) 评论(0) 推荐(0) 编辑
摘要: Basic information Package name: vioplot Package homepage: https://cran.r project.org/web/packages/vioplot/index.html Usage: https://cran.r project.org 阅读全文
posted @ 2018-06-27 14:31 max_xbw 阅读(687) 评论(0) 推荐(0) 编辑
摘要: DEEPCODER: LEARNING TO WRITE PROGRAMS Basic Information Authors: Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow 阅读全文
posted @ 2018-06-25 14:58 max_xbw 阅读(517) 评论(0) 推荐(0) 编辑
摘要: One example to understand SemFix: Program Repair via Semantic Analysis Basic Information Authors: Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhu 阅读全文
posted @ 2018-06-24 19:32 max_xbw 阅读(329) 评论(0) 推荐(0) 编辑
摘要: Basic Information Authors: Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury Publication: EMSE'17 Conclusion: In general, w 阅读全文
posted @ 2018-06-20 17:05 max_xbw 阅读(303) 评论(0) 推荐(0) 编辑
摘要: Basic Information Publication: ICSE'17 Authors: Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury Language: C Program Source: [Cod 阅读全文
posted @ 2018-06-18 13:59 max_xbw 阅读(413) 评论(0) 推荐(0) 编辑
摘要: "Paper reference" Threats to construct validity are concerned with the relationship between theory and observation . Threats to internal validity are 阅读全文
posted @ 2018-04-09 19:19 max_xbw 阅读(636) 评论(0) 推荐(0) 编辑
摘要: Some resources: https://www.monperrus.net/martin/automatic software repair 2017 [ ] DeepFix: Fixing Common C Language Errors by Deep Learning Rahul Gu 阅读全文
posted @ 2018-03-12 16:26 max_xbw 阅读(525) 评论(0) 推荐(0) 编辑
摘要: # 从一个例子说起,**任务:给定这样一段代码,假设我们想分析出这段代码中,每个数值型变量和表达式的符号,即正数,负数或0。**此外,还有可能出现两种情况就是:1.我们无法分析出结果,即我们无法确定符号,用(?)表示;2.有些表达式的值并不是一个数字(例如,有可能是个指针)或者在执行的过程中没有被赋值(有可能是因为对于给定的输入,没有执行到,unreachable),用(⊥)表示。因此,对于每一个... 阅读全文
posted @ 2017-12-08 15:53 max_xbw 阅读(3640) 评论(0) 推荐(0) 编辑
摘要: 条件: 实现: 阅读全文
posted @ 2017-12-05 18:02 max_xbw 阅读(453) 评论(0) 推荐(0) 编辑
摘要: 类型分析,个人理解就是(通过静态分析技术)分析出代码中,哪些地方只能是某种或某几种数据类型,这是一种约束。例如,给定一个程序:其中,我们可以很直接地得到一些约束:最后,经过简化可以得到:对于给定的变量类型,如果他们不符合这个约束,则说明,他们是不合法的。那么,怎么去提取以及维护这些约束呢?采用一种“并查集”的结构:一个有向图,每个节点有一条边指向父节点(父节点则指向自己)。如果两个节点具有相同的... 阅读全文
posted @ 2017-12-03 16:35 max_xbw 阅读(596) 评论(0) 推荐(0) 编辑
摘要: (a) an if-then-else (b) a while loop (c) a natural loop with two exits, e.g. while with an if...break in the middle; non-structured but reducible (d) an irreducible CFG: a loop with two entry points,... 阅读全文
posted @ 2017-11-28 17:14 max_xbw 阅读(744) 评论(0) 推荐(0) 编辑
摘要: 抽象语法树:AbstractSyntaxTrees 定义(wiki): 在计算机科学中,抽象语法树(abstract syntax tree或者缩写为AST),或者语法树(syntax tree),是源代码的抽象语法结构的树状表现形式,这里特指编程语言的源代码。树上的每个节点都表示源代码中的一种结构 阅读全文
posted @ 2017-11-28 13:13 max_xbw 阅读(613) 评论(0) 推荐(0) 编辑
摘要: Regarding correctness, programmers routinely use testing to gain confidence that their programs works as intended, but as famously stated by Dijkstra: 阅读全文
posted @ 2017-11-27 11:04 max_xbw 阅读(387) 评论(0) 推荐(0) 编辑
摘要: - Text area: The height of the text should not be much smaller than 23.5 cm and the width should not be much smaller than 18.4 cm. Your text area is t 阅读全文
posted @ 2017-10-11 23:26 max_xbw 阅读(1056) 评论(0) 推荐(0) 编辑