Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10504595" target="_blank" >RIV/00216208:11320/25:10504595 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-032-06847-7_7" target="_blank" >https://doi.org/10.1007/978-3-032-06847-7_7</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-032-06847-7_7" target="_blank" >10.1007/978-3-032-06847-7_7</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules

Popis výsledku v původním jazyce

We present a new fuzzing technique for multithreaded C# programs running on the .NET platform. It is built upon the .NET Profiling library, supported by CLR (Common Language Runtime) on Windows, and uses configurable strategies for the fuzzing process. During execution of the subject program, the fuzzing algorithm controls thread scheduling and preemption through suspending and resuming threads at specific code locations that we call stop points. For the purpose of driving the fuzzing process, we have designed a hybrid systematic-random strategy that gradually finds yet unexplored thread schedules. Results of experiments with programs from the SCT benchmark collection show that our tool is able to find errors triggered by specific thread interleavings, and within practical time limits.

Název v anglickém jazyce

Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules

Popis výsledku anglicky

We present a new fuzzing technique for multithreaded C# programs running on the .NET platform. It is built upon the .NET Profiling library, supported by CLR (Common Language Runtime) on Windows, and uses configurable strategies for the fuzzing process. During execution of the subject program, the fuzzing algorithm controls thread scheduling and preemption through suspending and resuming threads at specific code locations that we call stop points. For the purpose of driving the fuzzing process, we have designed a hybrid systematic-random strategy that gradually finds yet unexplored thread schedules. Results of experiments with programs from the SCT benchmark collection show that our tool is able to find errors triggered by specific thread interleavings, and within practical time limits.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA23-06506S" target="_blank" >GA23-06506S: Pokročilá analýza a verifikace pro pokročilý software</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

31st International Symposium on Model Checking Software (SPIN 2025)

ISBN

978-3-032-06847-7

ISSN

—

e-ISSN

—

Počet stran výsledku

17

Strana od-do

125-141

Název nakladatele

Springer

Místo vydání

Neuveden

Místo konání akce

Hamilton, ON, Canada

Datum konání akce

7. 5. 2025

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—