Zobrazeno 1 - 10
of 15
pro vyhledávání: '"синтаксическое дерево"'
Autor:
A. . Borodin, A. . Belevancev
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 6, Pp 111-134 (2018)
The paper describes a practical approach for finding bugs in the source code of programs using static analysis. This approach allows missing some of the defects. The goal is to find as many defects as possible while minimizing false positives and acc
Externí odkaz:
https://doaj.org/article/3f5dfbd740e8432ab239c23afb49b428
Autor:
S. V. Syromyatnikov
Publikováno v:
Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)
In many cases source code defects can be detected by analyzing the corresponding syntax trees. In this article we investigate advantages and drawbacks of this approach in comparison with more complex types of static code analysis and prove that a use
Externí odkaz:
https://doaj.org/article/05f98710ea0a461aa836f3e880d94580
Autor:
Belskii, Aleksei, Itsykson, Vladimir
This paper describes the method, which is developed by the authors to automated correction of software errors, which is based on the analysis of successful project fixes for the ABAP programming language available in open repositories. The method gen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b31c56715a61ddc13037e2e7c07729e
В статье рассмотрены вопросы разработки методов динамического анализа кода для создания самоадаптивных программных систем. На сегодня
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ae7bb03dca54bf7e177c0223e928904
Autor:
South Ural State University
В работе определяются свойства средств разработки трансляторов, важные для целей обучения, и описывается разработка генератора трансл
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2425::6943a0eb9a52988e9eea77899b506a81
http://dspace.susu.ru/xmlui/handle/0001.74/40469
http://dspace.susu.ru/xmlui/handle/0001.74/40469
Autor:
A. . Borodin, A. . Belevancev
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 6, Pp 111-134 (2018)
The paper describes a practical approach for finding bugs in the source code of programs using static analysis. This approach allows missing some of the defects. The goal is to find as many defects as possible while minimizing false positives and acc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea532c093393ec61bcb676c10095ee73
https://doi.org/10.15514/ispras-2015-27(6)-8
https://doi.org/10.15514/ispras-2015-27(6)-8
Kotlin - современный статически типизированный мультипарадигмальный язык программирования. Одним из главных достоинств Kotlin является инте
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb1203003dfbd5731a0b6d8aab0596b1
Publikováno v:
Известия Южного федерального университета. Технические науки.
Рассматривается задача символьной регрессии, заключающаяся в нахождении математического выражения в символьной форме, аппроксимирующ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::d4667468b5093fd63c54c9277e4505ce
http://cyberleninka.ru/article/n/gibridnyy-bioinspirirovannyy-algoritm-resheniya-zadachi-simvolnoy-regressii
http://cyberleninka.ru/article/n/gibridnyy-bioinspirirovannyy-algoritm-resheniya-zadachi-simvolnoy-regressii
Publikováno v:
Труды Института системного программирования РАН.
В статье описывается практический подход поиска ошибок в исходном коде программ с помощью методов статического анализа. При таком подх
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::409cd3c7c1eddd785f97c8abc185e550
http://cyberleninka.ru/article/n/staticheskiy-analizator-svace-kak-kollektsiya-analizatorov-raznyh-urovney-slozhnosti
http://cyberleninka.ru/article/n/staticheskiy-analizator-svace-kak-kollektsiya-analizatorov-raznyh-urovney-slozhnosti
Publikováno v:
Труды БГТУ. Серия 6: Физико-математические науки и информатика.
В статье рассмотрен статический анализ исходного кода программ для мобильных платформ как одно из средств обеспечения безопасности мо
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::c64342ab09686de99a8d5e901ac385ca
http://cyberleninka.ru/article_covers/16923209.png
http://cyberleninka.ru/article_covers/16923209.png
