文章收集

[jay-waves]

并发相关

• [x] Address Sanitizer
• [x] Thread Sanitizer Algorithm Overview
• [x] ruigulala/ConAnalysis TSan 扫描, lldb 复现
• [x] ConVul : An Effective Tool for Detecting Concurrency Vulnerabilities (ASE2019) 使用 Intel Pin Framework 插桩, FastTrack 检测竞争事件, 鉴定为屎
• [x] Understanding Real-World Concurrency Bugs in Go (a survey, ASPLOS 2019) 分析介绍go常见漏洞类型
• [ ] Language-based information-flow security (SAC 2003)
• [ ] FastTrack: Efficient and Precise Dynamic Race Detection. 动态事件顺序检测算法, 高引.
• [x] WAFFLE, exposing memory ordering bugs efficiently with active delay injection. 基于 delay-injection 来动态触发竞争
• [x] Eraser: a dynamic data race detector for multithreaded programs. [Savage et al.'97]
• [ ] Time, Clocks, and the Ordering of Events in aDistributed System. [Lamport '78]

[jay-waves]

Books: The Architecture of Open Source Applications (Volume1)

• [x] The Bourne-Again Shell (Bash)
• [x] LLVM

[GoesM]

并发fuzz参考文献推荐：

[jay-waves]

Let's stop counting centuries

https://corecursive.com/building-powershell-with-jeffrey-snover/#intro

https://blog.sbensu.com/posts/demand-for-visual-programming/

Seven habits of effective text editing -- Bram Moolenaar

what's your most productive shortcut with vim