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.

RaceBench: A Triggerable and Observable Concurrency Bug Benchmark.

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

Automated Data Race Bugs Addition

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)

A self-adaptive test framework for concurrent programs

OWL: Understanding and Detecting Concurrency Attacks

A Survey on Exposing,Detecting and Avoiding Concurrency Bugs

A Lightweight System for Detecting and Tolerating Concurrency Bugs

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

Fixing, Preventing, and Recovering from Concurrency Bugs

ColFinder Collaborative Concurrency Bug Detection

Concurrency bug localization using shared memory access pairs

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

IFIX: Fixing Concurrency Bugs While They Are Introduced

GoDetector: Detecting Concurrent Bug in Go

A Heuristic Framework to Detect Concurrency Vulnerabilities.

Pinso: Precise Isolation of Concurrency Bugs Via Delta Triaging

Concurrency bug test for a class of multithreaded software

Isolating Bugs in Multithreaded Programs Using Execution Suppression.

Jbench: a Dataset of Data Races for Concurrency Testing

ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks