Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Jens Van der Plas"'
Information Flow Control is important for securing applications, primarily to preserve the confidentiality and integrity of applications and the data they process. Statically determining the flows of information for security purposes helps to secure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::235f50740f99b3b119b387b7edeb96c3
https://hdl.handle.net/20.500.14017/afd573bd-034b-4cd4-98f6-fe6c397df9c5
https://hdl.handle.net/20.500.14017/afd573bd-034b-4cd4-98f6-fe6c397df9c5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031249495
To reduce the running time of static analysis tools upon program changes, incremental static analyses reuse and update pre-existing results. Such analyses must efficiently detect and remove outdated results. We introduce three novel, complementary re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a223b9b1ab8e97ddebcae747cf51ee09
https://doi.org/10.1007/978-3-031-24950-1_14
https://doi.org/10.1007/978-3-031-24950-1_14
Publikováno v:
SCAM
Static analyses are used to gain more confidence in changes made by developers. To be of most use, such analyses must deliver feedback fast. Therefore, incremental static analyses update previous results rather than entirely recompute them. This redu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2d6c05f2e94ee58fc2cc61e8c136688
https://doi.org/10.1109/scam51674.2020.00008
https://doi.org/10.1109/scam51674.2020.00008
Publikováno v:
SCAM
One way to speed up static program analysis is to make use of today’s multi-core CPUs by parallelising the analysis. Existing work on parallel analysis usually targets traditional data-flow analyses for static, first-order languages such as C. Less
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f6a334423be05cc63418c2bec4eb120
https://doi.org/10.1109/scam51674.2020.00006
https://doi.org/10.1109/scam51674.2020.00006
Publikováno v:
SCAM
A modular static analysis decomposes a program's analysis into analyses of its parts, or components. An inter-component analysis instructs an intra-component analysis to analyse each component independently of the others. Additional analyses are sche
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fd57a888a8458b2ba84f690b98bf86c
https://doi.org/10.1109/scam51674.2020.00009
https://doi.org/10.1109/scam51674.2020.00009
Publikováno v:
Journal of Systems and Software. 181:111042
One way to speed up static programme analysis is to make use of today’s multi-core CPUs by parallelising the analysis. Existing work on parallel analysis usually targets traditional data-flow analyses for static, first-order languages such as C. Le
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd5854672877e33ae46fe7a9b5728d92
https://doi.org/10.1016/j.jss.2021.111042
https://doi.org/10.1016/j.jss.2021.111042