Zobrazeno 1 - 10
of 3 475
pro vyhledávání: '"static program analysis"'
Publikováno v:
Security and Safety, Vol 3, p 2024007 (2024)
The space-air-ground integrated networks (SAGINs) are pivotal for modern communication and surveillance, with a growing number of connected devices. The proliferation of IoT devices within these networks introduces new risks due to potential erroneou
Externí odkaz:
https://doaj.org/article/c51d9344c5114ab6b8c9d587151a5314
Autor:
Yungyu Zhuang, Ming-Yang Lu
Publikováno v:
IEEE Access, Vol 10, Pp 14418-14428 (2022)
Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it
Externí odkaz:
https://doaj.org/article/40601f34237d4591a162dcff6d35c626
Publikováno v:
Journal of Hebei University of Science and Technology, Vol 42, Iss 5, Pp 499-507 (2021)
As synchronous blocking wastes system resources and affects program performance in concurrent processing,an automatic refactoring approach based on the asynchronous mechanism of CompletableFuture was proposed.Firstly,several static analyses by Wala s
Externí odkaz:
https://doaj.org/article/b059e733e109466088bc2e7ec86d7d77
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:
Rahaman, Sazzadur
Following proper guidelines and recommendations are crucial in software security, which is mostly obstructed by accidental human errors. Automatic screening tools have great potentials to reduce the gap between the theory and the practice. However, t
Externí odkaz:
http://hdl.handle.net/10919/99849
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.
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.
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.
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.
Publikováno v:
IEEE Transactions on Software Engineering. 48:835-847
As increasingly complex software is developed every day, a growing number of companies use static analysis tools to reason about program properties ranging from simple coding style rules to more advanced software bugs, to multi-tier security vulnerab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb272d3f1e6e7d29674111894c16bd0f
https://doi.org/10.1109/tse.2020.3004525
https://doi.org/10.1109/tse.2020.3004525