Abstract:With a growing demand of concurrent software to exploit multi-core hardware capability, concurrency vulnerabilities have become an inevitable threat to the security of today's IT industry. Existing concurrent program detection schemes focus mainly on detecting concurrency errors such as data races, atomicity violation, etc., with little attention paid to detect concurrency vulnerabilities that may be exploited to infringe security. In this paper, we propose a heuristic framework that combines both static analysis and fuzz testing to detect targeted concurrency vulnerabilities such as concurrency buffer overflow, double free, and use-after-free. The static analysis locates sensitive concurrent operations in a concurrent program, categorizes each finding into a potential type of concurrency vulnerability, and determines the execution order of the sensitive operations in each finding that would trigger the suspected concurrency vulnerability. The results are then plugged into the fuzzer with the execution order fixed by the static analysis in order to trigger the suspected concurrency vulnerabilities. In order to introduce more variance which increases possibility that the concurrency errors can be triggered, we also propose manipulation of thread scheduling priority to enable a fuzzer such as AFL to effectively explore thread interleavings in testing a concurrent program. To the best of our knowledge, this is the first fuzzer that is capable of effectively exploring concurrency errors. In evaluating the proposed heuristic framework with a benchmark suit of six real-world concurrent C programs, the framework detected two concurrency vulnerabilities for the proposed concurrency vulnerability detection, both being confirmed to be true positives, and produced three new crashes for the proposed interleaving exploring fuzzer that existing fuzzers could not produce. These results demonstrate the power and effectiveness of the proposed heuristic framework in detecting concurrency errors and vulnerabilities.

Pinso: Precise Isolation of Concurrency Bugs Via Delta Triaging

Predicting concurrency bugs: how many, what kind and where are they?

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

A Lightweight System for Detecting and Tolerating Concurrency Bugs

A self-adaptive test framework for concurrent programs

OWL: Understanding and Detecting Concurrency Attacks

Isolating Bugs in Multithreaded Programs Using Execution Suppression.

Fixing, Preventing, and Recovering from Concurrency Bugs

ColFinder Collaborative Concurrency Bug Detection

RaceBench: A Triggerable and Observable Concurrency Bug Benchmark.

IFIX: Fixing Concurrency Bugs While They Are Introduced

A Survey on Exposing,Detecting and Avoiding Concurrency Bugs

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code

PEDAL: a Dynamic Analysis Tool for Efficient Concurrency Bug Reproduction in Big Data Environment

Concurrency bug localization using shared memory access pairs

Survey and Analysis of Debugging Concurrecy Bug

A Heuristic Framework to Detect Concurrency Vulnerabilities.

Effective Concurrency Testing for Go Via Directional Primitive-Constrained Interleaving Exploration

Practical Lock/Unlock Pairing For Concurrent Programs

Detecting Atomicity Violations for Interrupt-driven Programs Via Systematic Scheduling and Prefix-directed Feedback

ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks