sysss-blogs

摘要： （因为最近在搓类型系统，发现 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），可以动态增减实例上的属性 动态生成 阅读全文

摘要： 因为一些学习任务需要在本地使用 SVF 构建某个项目的 CallGraph，中间遇到一点问题 wLLVM 参考 https://blog.csdn.net/weixin_47778392/article/details/141107768 SVF 编译时终端 exited with code 1 需 阅读全文

摘要： Hw1 toDigits :: Integer -> [Integer] toDigits n | n <= 0 = [] | otherwise = toDigits (n `div` 10) ++ [n `mod` 10] toDigitsRev :: Integer -> [Integer] 阅读全文

摘要： Background Information 摆了两三天觉得不能再开摆了，感觉至少把什么是贝叶斯方法及其名词搞懂（虽然可能概率论学过，但是已经忘干净了）： 贝叶斯的思考方式：先验概率 \(\pi(\theta)\) + 样本信息 \(X\) -> 后验概率 \(\pi(\theta | X)\) 不 阅读全文

摘要： HKUST COMP4901X 课程笔记 Buchi 游戏 定义 Game Graph 为 \(G = (V, \ V_1, \ V_2, \ E )\)，\(G(V, E)\) 是一张图，\(V_1\)是属于玩家 1 的图上结点，\(V_2\) 是属于玩家 2 的图上结点。 定义 玩家 i 的游戏 阅读全文