Task-specific style verification

Pataki, Norbert; Cséri, Tamás; Szűgyi, Zalán

doi:10.1063/1.4756173

Cited by 3 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Clang architecture is well designed and modular which makes it possible to use it as a library [17]. The users can use the end products, like Clang as a compiler or build their own tools on top of its libraries.…”

Section: Introductionmentioning

confidence: 99%

A static analysis method for safe comparison functors in C++

Babati¹,

Pataki²

2020

AMI

Self Cite

View full text Add to dashboard Cite

Section: Introductionmentioning

confidence: 99%

A static analysis method for safe comparison functors in C++

Babati¹,

Pataki²

2020

AMI

Self Cite

View full text Add to dashboard Cite

“…One can use static analysis for many reasons: finding bugs [3], checking coding conventions [12], detecting compatibility issues [2], code comprehension, counting code metrics, refactoring or obfuscating code, etc.…”

Section: Introductionmentioning

confidence: 99%

Static Analysis Toolset with Clang

Babati¹,

Horväth²,

Májer³

et al. 2018

Proceedings of the 10th International Conference on Applied Informatics

Self Cite

View full text Add to dashboard Cite

Static analysis is an emerging method to analyse programs without execute them only based on their source code. Static analysis can be used for various tasks, e.g. searching bugs. Clang is an open source compiler for C/C++/Objective-C. It is built on the top of the LLVM compiler infrastructure. It is a rapidly evolving project which is supported by Apple, Google, and Microsoft. Nowadays Clang is a popular tool to develop new static analyzers. One of the advantages of Clang is its modular architecture. One can use the parser as a library to build tools. The Static Analyzer is the part of the Clang compiler. It is utilizing the same AST that is generated by the compiler. In this paper we present our tools that are based on Clang. The tools cover wide spectrum of static analysis: detecting portability issues in include dependencies of C++ Standard Template Library, refactoring for parallelized constructors and code comprehension. The C++ Standard does not define which standard header files include an other standard header file. It is easy to take advantage of an implemention-specific dependency because the code compiles. It can result in portability issue when an other STL implementation works in different way. One of our tool detects these problems. A tool of ours is able to make copying operations concurrent in specific cases. The aim of our code comprehension tool is finding specific C++ code snippets based on queries.

show abstract

“…The popularity of this compiler also implies that it is well tested. Clang has been applied in many different static analysis tasks: finding semantic mistakes in the usage of STL [5], searching for semantic differences in source code according to different C++ standards [12], improving static analysis with function summaries [13], finding move semantics related bugs [14], detecting uses of uninitialized memory in C and C++ [15], customizable style validation [16], speed-up special operations [17] etc.…”

Section: B Static Analysismentioning

confidence: 99%

Analysis of Include Dependencies in C++ Source Code

Babati

Pataki

2017

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Abstract-The C++ Standard Template Library (STL) is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms.Unfortunately, the C++ Standard does not define which standard header includes another standard headers. It is easy to write code that works perfectly on an implementation but fails to compile with another implementation of STL. These unportable codes should be result in compilation error with every STL implementation. However, in this case the compiler does not warn us that this code is erroneous.In this paper we present our tool that is based on the Clang. This tool is able to detect the missing include directives that are patched by the STL implementation's internal structure. It also reports the unnecessary include directives to avoid extra compilation time. The background of our tool is discovered and we briefly present the underlying data structures and algorithms. We analyse how these problems occur in open source libraries and programs. Which environment proves oneself to be lazy or strict? How the developers take advantage of this portability issue?

show abstract

Task-specific style verification

Cited by 3 publications

References 0 publications

A static analysis method for safe comparison functors in C++

A static analysis method for safe comparison functors in C++

Static Analysis Toolset with Clang

Analysis of Include Dependencies in C++ Source Code

Contact Info

Product

Resources

About