Static Analysis Possibilities for Regular Expressions in C++

Fürész, Tibor Teodor, Umann, Kristóf, Porkoláb, Zoltán (2026) Static Analysis Possibilities for Regular Expressions in C++ In: Proceedings of the 13th International Conference on Applied Informatics. Eger, Eszterházy Károly Catholic University Líceum Publisher. pp. 96-106.

pdf ICAI2026-pp96-106.pdf Download (526kB) [error in script]

Absztrakt (kivonat)

Most of the regular expression libraries in current programming languages utilize a dynamic constructor parameter to construct a state machine, which will be used later in the matching. When this constructor parameter does not fulfill the requirements of the correct regular expression syntax, a runtime error – usually an exception – occurs. It would be highly beneficial if we could catch this kind of problem at compile time with the help of static analysis. The prerequisite of such an analysis is that the constructor parameter is fully known at compile time. In this research, we investigate the extent to which this prerequisite holds true for open-source software projects. We measured 26 different popular open-source projects, and we found that in more than two-thirds of the time, constructors used hardcoded parameters. This result opens the possibility for the creation of an effective static analysis tool.

Mű típusa:	Könyvrészlet - Book section
Szerző:	Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Fürész, Tibor Teodor NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Umann, Kristóf NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Porkoláb, Zoltán NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Kapcsolódó URL-ek:	Befoglaló kötet
Kulcsszavak:	static analysis, C, C++, Clang, LLVM, regular expressions
Nyelv:	angol
DOI azonosító:	10.17048/icai.2026.96
Felhasználó:	Tibor Gál
Dátum:	22 Szep 2026 06:55
Utolsó módosítás:	22 Szep 2026 06:55
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/9438

Műveletek (bejelentkezés szükséges)

Tétel nézet