-
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, 不能通...
当你在银河目睹着我的平凡,而我在人间甚至不敢抬头看