摘要：
核心代码： # from sklearn.linear_model import LogisticRegression from sklearn.multioutput import MultiOutputClassifier from sklearn.naive_bayes import Mult 阅读全文
摘要：
目录： "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 阅读全文
摘要：
tmux 终端分屏工具 man Help cat/more/less 文件阅读 less还具有字符串搜索功能 阅读全文
摘要：
最近在自学符号执行，因此，这篇经典文章(Symbolic Execution for Software Testing: Three Decades Later)[1]作为入门必读。 <! MarkdownTOC "0. 定义" "1. 经典的符号执行" "2. 现代符号执行技术" "2 1. 混合 阅读全文
摘要：
```console set o nounset help() { cat 阅读全文
摘要：
[forwarded from https://nebelwelt.net/blog/20180704 rebuttal.html] Assuming you have given everything to write the best and most beautiful paper you c 阅读全文
摘要：
Basic information Package name: vioplot Package homepage: https://cran.r project.org/web/packages/vioplot/index.html Usage: https://cran.r project.org 阅读全文
摘要：
DEEPCODER: LEARNING TO WRITE PROGRAMS Basic Information Authors: Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow 阅读全文
摘要：
One example to understand SemFix: Program Repair via Semantic Analysis Basic Information Authors: Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhu 阅读全文
摘要：
Basic Information Authors: Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury Publication: EMSE'17 Conclusion: In general, w 阅读全文
摘要：
Basic Information Publication: ICSE'17 Authors: Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury Language: C Program Source: [Cod 阅读全文
摘要：
"Paper reference" Threats to construct validity are concerned with the relationship between theory and observation . Threats to internal validity are 阅读全文
摘要：
Some resources: https://www.monperrus.net/martin/automatic software repair 2017 [ ] DeepFix: Fixing Common C Language Errors by Deep Learning Rahul Gu 阅读全文
摘要：
# 从一个例子说起，**任务：给定这样一段代码，假设我们想分析出这段代码中，每个数值型变量和表达式的符号，即正数，负数或0。**此外，还有可能出现两种情况就是：1.我们无法分析出结果，即我们无法确定符号，用(?)表示；2.有些表达式的值并不是一个数字（例如，有可能是个指针）或者在执行的过程中没有被赋值（有可能是因为对于给定的输入，没有执行到，unreachable），用(⊥)表示。因此，对于每一个... 阅读全文
摘要：
条件： 实现： 阅读全文
摘要：
类型分析，个人理解就是（通过静态分析技术）分析出代码中，哪些地方只能是某种或某几种数据类型，这是一种约束。例如，给定一个程序:其中，我们可以很直接地得到一些约束：最后，经过简化可以得到：对于给定的变量类型，如果他们不符合这个约束，则说明，他们是不合法的。那么，怎么去提取以及维护这些约束呢？采用一种“并查集”的结构：一个有向图，每个节点有一条边指向父节点（父节点则指向自己）。如果两个节点具有相同的... 阅读全文
摘要：
(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,... 阅读全文
摘要：
抽象语法树：AbstractSyntaxTrees 定义（wiki）: 在计算机科学中，抽象语法树（abstract syntax tree或者缩写为AST），或者语法树（syntax tree），是源代码的抽象语法结构的树状表现形式，这里特指编程语言的源代码。树上的每个节点都表示源代码中的一种结构 阅读全文
摘要：
Regarding correctness, programmers routinely use testing to gain confidence that their programs works as intended, but as famously stated by Dijkstra: 阅读全文
摘要：
- 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 阅读全文
