01833nab a2200253 i 4500 acta86960 20250415123726.0 250415s2022 hu o 000 eng d 2676-993X 10.14232/actacyb.283176 doi SZTE Egyetemi Kiadványok Repozitórium hun eng Szécsi Péter György Improved loop execution modeling in the Clang static analyzer [elektronikus dokumentum] / Szécsi Péter György University of Szeged, Institute of Informatics Szeged 2022 909-921 Acta cybernetica 25 No. 4 The LLVM Clang Static Analyzer is a source code analysis tool which aims to find bugs in C, C++, and Objective-C programs using symbolic execution, i.e. it simulates the possible execution paths of the code. Currently the simulation of the loops is somewhat naive (but efficient), unrolling the loops a predefined constant number of times. However, this approach can result in a loss of coverage in various cases. This study aims to introduce two alternative approaches which can extend the current method and can be applied simultaneously: (1) determining loops worth to fully unroll with applied heuristics, and (2) using a widening mechanism to simulate an arbitrary number of iteration steps. These methods were evaluated on numerous open source projects, and proved to increase coverage in most of the cases. This work also laid the infrastructure for future loop modeling improvements. Természettudományok Számítás- és információtudomány Programanalízis, Programozás Horváth Gábor aut Porkoláb Zoltán aut http://acta.bibl.u-szeged.hu/86960/1/cybernetica_025_numb_004_909-921.pdf Dokumentum-elérés