-
Interprocedural Analysis
Interprocedural AnalysisMotivation之前在做 Infraprocedural Analysis 时（lab2），将函数调用的返回值和函数的参数直接保守估计为了 NAC ， Interprocedural Analysi... -
Data Flow Analysis Foundations
DataFlow Analysis Foundations1. Another View to Iterative Algorithms以Forward Analysis为例，对于给定的有 个节点的CFG，迭代算法在每一轮的迭代中依次更新所有节点的... -
Data Flow Analysis Applications
Data Flow Analysis ApplicationReaching Definitions Analysis判断变量的定义能否到达某一点，即该变量的定义是否被覆盖了。 Transfer Function: Control Flow: g... -
Stack Augmented LSTM
-
自上而下的语法分析
自上而下的语法分析自上而下 指 从文法的开始符号开始，逐步向下构建出整棵语法树。这样的分析过程会遇到以下问题： 文法左递归：导致分析过程无限循环 回溯问题：在进入错误分支后，需要恢复进入分支前的现场，导致程序设计复杂 构造不会陷入死循环的、不... -
code2vec: Learning Distributed Representations of Code
0x00 前言读完这篇paper，第一感觉是：写得太详细（啰嗦）。好多东西翻来覆去讲了好几遍，最后总长度30页，确定不是水字数的？ 但是不得不承认，论文里提到的方法很好。 0x01 Introduction这篇paper提供了一种学习code的 D... -
四种文法类型
四种文法类型文法分类文法类型分为0型、1型、2型、3型，他们都由四部分组成，即 ，其中 为终结符（Terminal）集合， 为非终结符（Nonterminal）集合， 为文法的开始符号， 为产生式集合。这四种文法对产生式的限制不同。 0型 ... -
Huawei: 现代C++与STL
现代C++与STLvector 建在堆上，可伸缩，可能有预留空间的动态数组 end()只能用于表示位置，不能用于访问元素 vector构造/析构/拷贝/移动时，其中所有元素自动构造/析构/拷贝&#... -
Huawei: 安全编码&代码坏味道
安全编码&代码坏味道安全编码引言 安全编码之基本思想 程序在处理外部数据时必须经过严格的合法性校验 禁用不用的端口，尽量减少代码的攻击面 编码在一定范围内应该对不信任模块间采取防御式编程，以此来弥补潜在的人工疏忽 HCSEC黄金... -
C/C++中的const
C++中的const顶层const和底层const定义顶层const代表指针本身是一个常量，而底层const则表示指针指向的对象是一个常量。 1234int a = 10;const int *p = &a; // 底层const， 不能通...
当你在银河目睹着我的平凡，而我在人间甚至不敢抬头看