In this paper, we propose a heuristic framework that combines both static analysis and fuzz testing to detect targeted concurrency vulnerabilities such as ...

Dec 7, 2018 · In this paper, we propose a heuristic framework that combines both static analysis and fuzz testing to detect targeted concurrency ...

Dec 7, 2018 · In this paper, we propose a heuristic framework that combines both static analysis and fuzz testing to detect concurrency vulnera- bilities, ...

A heuristic framework that combines both static analysis and fuzz testing to detect targeted concurrency vulnerabilities such as concurrency buffer overflow ...

In this paper, we propose a heuristic framework that combines both static analysis and dynamic approach to detect concurrency vulnerabilities, particularly ...

We build our concurrency-aware fuzzer on top of the widely used gray-box fuzzer AFL++ [46], which is designed to find vulnerabilities in sequential programs.

A Heuristic Framework to Detect Concurrency Vulnerabilities (ACSAC 2018) · OWL: Understanding and Detecting Concurrency Attacks (DSN 2018). Dynamic Testing ...

In this paper, we propose a heuristic framework that combines both static analysis and fuzz testing to detect targeted concurrency vulnerabilities such as ...

Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.

This paper introduces AutoInter-fuzzing, a fuzzer controlling thread interleavings elaborately and providing an interleaving-aware power schedule to detect ...