雪溯

摘要： 近似方案-忽略所有条件判断，认为所有分支都能到达 对停机问题分析， 此时还是分不出来到底是否停机。 或者可以将条件抽象为不确定选择。 这种情况下，抽象程序的潜在执行路径是远远超过真实执行路径数量的。（这里条件本身是不会再改变数据的） 为了优化，不在路径末尾做合并，在控制流汇合的所有位置提前做合并（这 阅读全文

摘要： 能否彻底避免软件中出现缺陷？ Testing shows the presence, not the absence of bugs -- Dijkstra 首先从整个图灵机的所有潜在程序来说，bug是不可能完全被找到的， 引入Hilberts Program，那么Hilber's Program是 阅读全文

摘要： 1. Introduction ASA(Automatic Static Analysis)主要有两大潜在应用： 预测含有潜在漏洞的软件组件，Vulnerablility prediction modeling(VPM) 优化断点推荐, optimum checkpoint recommendati 阅读全文

摘要： Abstract Task: 将自然语言转换为SQL query 方法: BERT style pre-training model增强到structual schema representation 实验: XSQL在wikiSQL上获得new state-of-art(???) results 阅读全文

摘要： 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 阅读全文