Finding and Analyzing Linux Source Code Errors Using Clang Tools
DOI:
https://doi.org/10.26821/IJSHRE.12.12.2024.121204Abstract
In Linux operating system, that based on opened source code, there is a number of faults is roughly constant. While the code size is increasing, these faults will raise, accordingly. While the drivers have improved, the average of fault rate for now is the worst. In addition to that, NULL handling is still a problem [1]. Now there are many great static analyzers, we can find bugs with them automatically.
The main problem that needs solving is: how to detect and find these faults in Linux operating system and analyze them. In terms of the accuracy and range of bug detection, there is a room for improvement. Clang Static Analyzer is Open Source static analyzer [2]. We can control the accuracy and range of bug detection with it. What is more, we are planning to enhance the ability by adding our analysis codes. Applying Clang Static Analyzer to Linux Kernel will reduce review time of codes in making driver or merging patches
References
4 Linux Commands To View Page Faults Statistics. NIXCRAFT, 2012.
S. S. C. C. J. L. G. M. Nicolas Palix, Gael Thomas, “Faults in linux 10 years later,” DIKU / INRIA Regal / LIP6.
Clang Tools Checkers, https://hal.inria.fr/inria-00509256, Accessed in 2013.
Clang Installing Steps, http://clang-analyzer.llvm.org/index.html, Ac- cessed in 2013.
H. MATSUMOTO, “Applying clang static analyzer to linux kernel,” FUJITSU COMPUTER TECHNOLOGIES LIMITED, 2012.
Checking Clang Installation, http://clang.llvm.org, Accessed in 2013.
Clang is unsuited for building Firefox in November 2013, http://developer.mozilla.org, Accessed in 2013.
Linux Kernel Source Code, https://github.com/hadeelt/kernel, Accessed in 2014.
Android source code, http://github.com/hadeel/android, Accessed in 2014.
Building FreeBSD with clang/llvm, https://wiki.freebsd.org/BuildingFreeBSDWithClang, Accessed in 2014.
How to Write a Checker in 24 Hours, http://techbase.kde.org/Projects/KDevelop4/ClangRoadmap, Accessed in 2013.
The roadmap towards proper Clang integration into KDevelop, http://ehsangari.org, Accessed in 2013.
http://jirislaby.blogspot.com/2012/03/adding-new-clang-checker.html.
