Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Static analyzer"'
Publikováno v:
SoftwareX, Vol 28, Iss , Pp 101959- (2024)
Jupyter Notebook is widely recognized as a crucial tool for data science professionals and students. Its interactive and self-documenting nature makes it particularly suitable for data-driven programming tasks. Nonetheless, it faces criticism for its
Externí odkaz:
https://doaj.org/article/e322c737136649d3909d8d010d680e32
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
A. . Dergachev, A. . Sidorin
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 1, Pp 41-62 (2018)
A specific approach to summary-based interprocedural symbolic execution is described. The approach is suitable for analysis of program source code developed with high-level programming languages and allows executing arbitrarily complex checks during
Externí odkaz:
https://doaj.org/article/3299b07a12134cc98ad43cbb4a8644d4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Anonymous Author
In recent years, the use of automated source code generation utilizing transformer-based generative models has expanded, and these models can generate functional code according to the requirements of the developers. However, recent research revealed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1649a526356caf1960070ad3dc3d41c8
Worst case execution time (WCET) estimation by static analyzers is being investigated with keen interest in view of their importance in designing applications for embedded systems that have real- time requirements. Recent work reported on improving p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::f67bc9b122573a94d3aab877b00ee4d6
https://zenodo.org/record/7710310
https://zenodo.org/record/7710310
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Тема вÑпÑÑкной квалиÑикаÑионной ÑабоÑÑ: «ÐвÑомаÑизаÑÐ¸Ñ ÑканиÑование
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f12fecf3192b4806aeb323d1585fd9a6
Autor:
Cano Pujol, Mireia
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Universitat Politècnica de Catalunya (UPC)
Goblint is a source code analysis tool for C programs. It is based on abstract interpretation, and aims for a sound analysis. For loop representation and analysis, Goblint currently performs a simple CIL transformation to the input C code and can be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4761e5983accac1718edbf9799a2ea31
http://hdl.handle.net/2117/369183
http://hdl.handle.net/2117/369183
Тестирование и поиск ошибок в программном обеспечении является неотъемлемой частью цикла его разработки. Ошибки в программном коде нес
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::019c629d7ebbeb715b4079071be6ad36