12 2020 档案
摘要:Abstract Task: Binary code similarity detection 传统: graph matching algo - 缺点: slow & inaccurate 新法(本文所属): control-flow graph + (人工)筛选的特征 + GNN-> graph
阅读全文
摘要:Abstract Learning based clone detection 优点: 某种程度上解决了传统dynamic search approach和static search approach存在的高time overhead的问题 缺点:精度受限,在工业使用中往往需要人工检查TopM se
阅读全文
摘要:https://rust-lang.github.io/async-book Async Why Async Rust中的简单线程可以实现如下: fn get_two_sites() { // Spawn two threads to do work. let thread_one = thread
阅读全文
摘要:Abstract Uncontrolled memory consumption可能导致拒绝服务攻击 本文贡献: MemLock 特点: 1. 生成能够占用大量内存的输入 2. 触发不受控制的内存消耗异常 效果: 无需领域知识 实验: 优于AFL, AFLfast, PerfFuzz, FairFu
阅读全文
摘要:概述 (from w3cschool,会不定期添加新理解) Zookeeper作为Hadoop和Hbase的重要组件,可以为分布式应用程序协调服务,同时还能使用Java和C的接口。 ZooKeeper是一种分布式协调服务,用于管理大型主机。在分布式环境中协调和管理服务是一个复杂的过程。ZooKeep
阅读全文
摘要:Abstract 目的: 使用Alloy tool set对DBMS做黑盒测试 步骤: 输入: a database schema & an SQL query formulate Alloy models for both inputs Q: 这里的both是什么意思?难道不是只有一个input
阅读全文
摘要:Abstract 针对Logic bugs,本文提出: Query Partitioning 思路:从给定的原始query开始,构造更多复杂的queries,这些queries合起来的结果集与原来的结果集一致 作者认为由于逻辑复杂了,更有可能找到逻辑bug 提出TLP: Ternary Logic
阅读全文
摘要:Abstract 复杂的数据库优化往往会导致逻辑bugs 本文提出NoREC(构造不优化的参照引擎)算法 主要方法: 将query返回值与不加优化的dbms返回值之间的差异做对比 困难:DBMS实现方式很多,难以直接获取不加优化的执行结果 Solution: 将原查询重写为一个无法进行优化必须每行查
阅读全文
摘要:Abstract Background: Functional correctness很重要,但难测,传统人测,工具只测crash bugs 目的: 利用independent view properties,从种子测试中生成大量property-preserving tests,用来确保具体的ap
阅读全文
摘要:Abstract 目的: 快速获取tensor shape incompatible errors 方法: API上: 与tensorflow API保持一致,不过更快,只做捕捉tensor shape并打印的工作 此外,相当于实现了自定义的shape计算图 实验: - 52个程序 - 两种测试规模
阅读全文
摘要:Generics 为了向后兼容,关于泛型的信息并不是直接存在type或者method descriptors中的,而是存在type, method和class signatures中。而这些signatures是存在class/field/method declarations中的。编译器会使用这些
阅读全文
摘要:列出jar中全部 class基本结构 JAR=simpleEg-1.0-SNAPSHOT_instrumented.jar && javap --class-path (jar -tf " | sed s/\.class$//) Eclipse 编译
阅读全文
摘要:Java 7 1. 以前泛型初始化比较麻烦,现在对于Map<String, List<Trade>> trades = new TreeMap<String, List<Trade>> ();这种初始化,可以直接推测Map<String, List<Trade>> trades = new Tree
阅读全文