电影旅行敲代码

C++ 编译 操作系统

莫居以名

这篇文章(请先无视这个狗屁不通的题目)最早可以追溯到两年前QQ空间中的一条说说,源于一些自己的遭遇和身份的错位。后来读到《自私的基因》,《进化心理学》和《枪炮,病菌,钢铁》这些书,用其中的内容来解释现实生活看似不合理的现象,多多少少解释了自己心中的困惑,让我知道某些失败有其外部原因,而无需过分自...

2018-12-26 23:52:51

阅读数:135

评论数:0

SICP Section 1.1

SICP 1.1节的标题是《The Elements of Programming》,分为如下几个小节,重点在于加粗的内容。 Expressions Naming and the Environment Evaluating Combinations Compound Procedures Th...

2018-12-24 21:41:47

阅读数:44

评论数:0

介绍《SICP读书笔记》

对SICP - 《Structure and Interpretation of Computer Programs》早有耳闻,但是总认为此书老旧,没有学习的价值,现在回想起来自己很是幼稚。每个人在知识面前应该保持足够的谦卑,此书评价这么高说明其中的内容定有学习的价值。回想刘未鹏在自己的博客中曾经...

2018-12-16 21:49:41

阅读数:46

评论数:0

CppCon 2018: Jason Turner “Applied Best Practices”总结一 :why noexcept?

什么是noexcept 在CppCon 2018上,Jason Turner在talk《Applied Best Practices》中提出总结了几点best practices,我会通过几篇文章做一些笔记,本文章对c++11中noexcept进行一些总结。 noexcept specifier ...

2018-11-25 20:05:26

阅读数:79

评论数:0

RMQ(Range minimum query) based LCA solution

何为RMQ 解法1 Sparse Table RMQ为什么能够解决LCA问题 RMQ与Tarjan的区别 ToDo: PAT(Patricia Tree)、Suffix-Tree

2018-10-21 17:45:18

阅读数:41

评论数:0

待写博客列表

题目 说明 完成 Clang Fuzzer 否 LLVM Fuzzer 否 CodeChecker论文笔记 http://gsd.web.elte.hu/papers/2018/codecompass-industry_icpc_...

2018-07-22 22:48:56

阅读数:140

评论数:0

工作一周年记

为了避免丧失时间感,工作与生活的过于浑浑噩噩,决定每半年写一篇总结与反思。从2017/6/30毕业工作到现在差不多一整年的时间,初入职场,存在很多问题但也收获了很多,通过该文章稍作总结。这一年无论是技术还是想法层面,感觉自己并没有太多的变化,像大多初入职场的员工一样,一种平淡的提高。 一. 获得...

2018-07-15 17:36:15

阅读数:398

评论数:4

Tarjan's strongly connected components algorithm的一些想法

深度优先遍历 Tarjan的极大强连通子图(strongly connected components)算法基于深度优先遍历(DFS)实现。例如对于下图来说,深度优先遍历是最直观的方法,例如我们从A开始遍历,如果能够回到A,那么整个路径就是一个连通分量。例如下图中的A -&amp...

2018-06-26 22:27:17

阅读数:284

评论数:0

llvm中的数据结构及内存分配策略 - DenseMap

DenseMap 数据结构子篇 DenseMap是在llvm中用的非常广泛的数据结构,它本身的实现是一个基于Quadratic probing(二次探查)的散列表,键值对本身是std::pair<...

2018-05-27 15:32:58

阅读数:374

评论数:0

提交patch以及代码review中常用术语

提交patch以及代码review中常用术语 LGTM  —  looks good to me ACK  —  acknowledgement, i.e. agreed/accepted change NACK/NAK — negative acknowledgement, i.e. dis...

2018-05-04 11:15:12

阅读数:121

评论数:0

clang static analyzer中的数据结构及内存分配策略 - ImmutableMap & ImmutableSet篇

clang static analyzer中使用到的数据结构 注:这篇博客的初衷来源于[Analyzer] Attempting to speed up static analysis clang static analyzer中使用到的数据结构大致有以下几种,ImmutableMap,Imm...

2018-04-21 18:50:14

阅读数:200

评论数:1

__builtin_addressof

__builtin_addressof __builtin_addressof是由Richard Smith提交到clang中的,提交的patch为Add a __builtin_addressof that performs the same functionality as the buil...

2018-04-15 17:30:10

阅读数:182

评论数:0

llvm:: IntrusiveRefCntPtr

boost::intrusive_ptr 在介绍llvm::IntrusiveRefCntPtr之前,先介绍intrusive_ptr的概念,intrusive_ptr也是智能指针的一种,同样避免内存泄漏的安全问题,并且intrusive_ptr也是基于RAII实现的。但intrusive_pt...

2018-04-14 17:48:51

阅读数:84

评论数:0

llvm::ArrayRef和llvm::StringRef

llvm中的一个bug工作中遇到了一个关于关于llvm::ArrayRef和std::vector的内存bug,这个bug涉及到llvm::ArrayRef的实现以及相关的概念,这里做相关介绍。该bug由[Bash-autocompletion] Add support for static an...

2018-02-04 15:54:45

阅读数:381

评论数:0

自定义类型使用range-based for loops

Range based for loops(范围for循环) 在https://reviews.llvm.org/D42300#inline-369356 中被提建议使用range based for loop,但是在我印象中range based for loop只被用在了c++11容器中,当...

2018-01-27 17:46:48

阅读数:326

评论数:0

Anderson's pointer analysis

指针分析 指针分析是一类特殊的数据流问题,它是其它静态程序分析的基础,但指针使用的灵活性导致了指针分析的复杂性,实际上指针分析是一个不可判定问题,所以实际的指针分析算法都是近似且保守的,须在效率和精度之间进行折衷。 指针分析研究的内容主要集中在分析精度和时空开销之间的取舍,精度方面,...

2017-12-04 00:15:39

阅读数:601

评论数:0

Tarjan’s off-line lowest common ancestors algorithm

Tarjan's LCA算法

2017-11-26 18:29:51

阅读数:269

评论数:0

数据流分析中的Distributive Dataflow Problems

Distributive Data flow Problems一个数据流问题包括如下几部分: CFG 数据流值的值域 初始的数据流值 交汇运算(用于将前驱或者后继节点的值进行“交汇”) 传输函数 而Distributive Data flow(可分配数据流问题)问题就是关于交汇运算和传输函数的问...

2017-11-08 21:23:28

阅读数:289

评论数:0

clang static analyzer源码分析(番外篇):removeDead() - SVal、Symbol及Environment

引子在《clang static analyzer源码分析(番外篇):RegionStore以及evalCall()中的conservativeEvalCall》中,我们介绍了RegionStore以及cluster analysis,里面我们提到除了invalidate regions会使用到c...

2016-11-22 22:33:45

阅读数:1325

评论数:0

clang中的活跃性分析(续)

clang中活跃性分析续,这篇文章介绍了LiveVariables和RelaxedLiveVariables的区别,并给出了相关示例

2016-11-10 17:43:00

阅读数:959

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭