sysss-blogs

摘要： 主要关注 Tool Integration and Retrieval Enhancement 这一部分。 将外部工具与 LLM 集成是单一代理突破自身生成能力边界的关键之一，代表工作包括： ToolCoder：Arxiv'23 LLM 在特定上下文下会生成错误的 API 调用，ToolCoder通 阅读全文

摘要： Survey 站在 security 研究者的角度来关注 LLM + 程序分析的如下几个方向： 静态分析：在不同的下游应用上评估 LLM 的作用，下游应用包括 vulnerability detection，malware detection，program verification, static 阅读全文

摘要： 一个 context-insensitive 的 Andersen 风格的分析算法： 定义： \(N\) 是变量和 new 的总数量 \(D(x)\) 是解引用变量 \(x\) 的 statements 数量 \(G\) 是 flow graph \(E\) 是 flow graph 到达不动点时边 阅读全文

摘要： Subtyping 提到的规则并不适合实现，原因在于 T-SUB 和 S-Trans 规则推导中的项 \(t\) 没有任何约束的元变量（没有对形状作出限制）。 这意味着对于任意一个项 \(t\)，无法确定在什么时机使用什么规则做类型推导。 S-Trans 的另一个问题是，\(U\) 的搜索空间近乎无 阅读全文

摘要： （因为最近在搓类型系统，发现 tapl 也就学了个皮毛，再回来补充一下知识） Subtyping 关系满足：自反性，传递性 对于 record 类型有宽度和深度两个规则： 宽度对应的子类型关系有点难以理解，具备更多的 field 的 record 反而是“更小”的子类型。但是从类型对应的值集来看，更 阅读全文

摘要： Background 在构建一个自顶向下的语法分析器时，很多情况下需要处理复杂的模式匹配来完成解析。比如对于文法： E ::= '[' A ']' | '(' B ')' 需要写出如下 OCaml 代码： let parseE input = match input with | '[' :: re 阅读全文

摘要： ![](https://img2 阅读全文

摘要： Introduction 之前的一些 JS 的 callgraph 相关的工作忽略了动态属性访问（比如 Field-based Analysis）。最近的 ECOOP'22 的工作显示动态属性访问是最主要的 unsoundness 的来源。这篇文章主要关注动态属性访问，使用 dynamic pre- 阅读全文

摘要： Efficient Construction of Approximate Call Graphs for JavaScript IDE Services Introduction 文章提出了 a field-based flow analysis for constructing call gra 阅读全文

摘要： JavaScript 的特点 JavaScript 的语言特点 “动态”特性，使得静态分析不好进行（难以找到合适的抽象） 动态类型的（dynamically typed）并且支持广泛的隐式类型转换的使用 基于原型的面向对象（Prototype-based OOP），可以动态增减实例上的属性 动态生成 阅读全文