Detecting Data Race in Network Applications using Static Analysis

Qi, Dongsheng; Gu, Naijie

doi:10.1109/nana.2019.00061

Search citation statements

Order By: Relevance

Paper Sections

Select...

A Characteristics Of Selected Methods1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2023

Publication Types

Select...

Article1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, a tool that uses MASCM to convert source code to a MASCM instance uses the GCC compiler and the syntax trees generated by it. A similar procedure was used when building the DR-Frame tool, which uses the parser from the LLVM project and the clang compiler [33] to test network applications. The use of intermediates obtained during the compilation process (e.g.…”

Section: A Characteristics Of Selected Methodsmentioning

confidence: 99%

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Giebas

Wojszczyk

2021

IEEE Access

View full text Add to dashboard Cite

Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing application code. These errors include race condition, deadlock, atomicity violation and order violation. The subject of this work is related to the detection of these errors in the process of static software analysis. The paper presents the author's model, which was then used to detect the above-mentioned occurrences, additionally each error has been discussed in detail. A tool supporting the detection of errors in multithreaded applications was also developed and the results of this tool were presented.

show abstract

Section: A Characteristics Of Selected Methodsmentioning

confidence: 99%