المؤلفون: Pavlu, Viktor, Schordan, Markus, Krall, Andreas

المصدر: 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation (SCAM), 2011 11th IEEE International Working Conference on. :25-34 Sep, 2011

Relation: 2011 11th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM)

المؤلفون: Singh, Abhishek Kr.^Aff4, Natarajan, Raja^Aff4

المساهمون: Mohanty, Hrushikesha, editor^Aff1, Mohanty, J. R., editor^Aff2, Balakrishnan, Arunkumar, editor^Aff3

المصدر: Trends in Software Testing. :89-109

المؤلفون: Lavrentii Tsvetkov, Anton Spivak

المصدر: Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 664, Iss 18, Pp 345-350 (2016)

مصطلحات موضوعية: static code analysis, type systems, vulnerability analysis, dependent types, memory safety, pointer aliasing, Telecommunication, TK5101-6720

وصف الملف: electronic resource

Relation: https://fruct.org/publications/fruct18/files/Tsv.pdf; https://doaj.org/toc/2305-7254; https://doaj.org/toc/2343-0737

URL الوصول: https://doaj.org/article/f675ce58aeb2405c861960d3495332ae

المؤلفون: Dongmin Yoo, Heekuck Oh, Sami Ullah, Wenhui Jin

المصدر: IEEE Access, Vol 9, Pp 90153-90169 (2021)

مصطلحات موضوعية: General Computer Science, Pointer aliasing, Computer science, General Engineering, Denial-of-service attack, computer.software_genre, TK1-9971, Kernel (linear algebra), Identification (information), Test case, static analysis, Null pointer dereference, vulnerability detection, Test suite, General Materials Science, data dependency, Electrical engineering. Electronics. Nuclear engineering, Data mining, Electrical and Electronic Engineering, binary analysis, computer, TRACE (psycholinguistics), Vulnerability (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66e634e42d72157487ff157ef407de3e
https://doi.org/10.1109/access.2021.3091209

المؤلفون: Hermenegildo, Manuel^Aff1

المساهمون: Lengauer, Christian, editor, Griebl, Martin, editor, Gorlatch, Sergei, editor

المصدر: Euro-Par'97 Parallel Processing : Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings. 1300:31-45

المؤلفون: Filipović, Ivana, O’Hearn, Peter, Torp-Smith, Noah, Yang, Hongseok

المصدر: Formal Aspects of Computing: Applicable Formal Methods. September 2010 22(5):547-583

المؤلفون: Alexander J. Summers

المصدر: FTfJP@ECOOP

مصطلحات موضوعية: Correctness, Pointer aliasing, Computer science, Dangling pointer, Programming language, Compiler, Aliasing (computing), computer.software_genre, computer, Formal verification, Software verification, Rust (programming language), computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b917bf96fe80c93009dbede05d80cc3e
https://doi.org/10.1145/3427761.3432348

المؤلفون: Derek Dreyer, Hoang-Hai Dang, Ralf Jung, Jeehoon Kang

المصدر: Proceedings of the ACM on Programming Languages

مصطلحات موضوعية: 010302 applied physics, Pointer aliasing, Programming language, Computer science, Program transformation, 020207 software engineering, 02 engineering and technology, computer.software_genre, 01 natural sciences, Alias analysis, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Compiler, Memory model, Aliasing (computing), Safety, Risk, Reliability and Quality, computer, Software, Undefined behavior, Rust (programming language), computer.programming_language

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b9c53440095cbc11c8810d94d07d09f

المؤلفون: Rokiatou Diarra

المصدر: ASE

مصطلحات موضوعية: Pointer aliasing, Alias, Programming language, Computer science, Optimizing compiler, 020207 software engineering, 02 engineering and technology, Program optimization, computer.software_genre, Alias analysis, CUDA, Procedural programming, restrict, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Pointer (computer programming), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Aliasing (computing), Programmer, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7a06f6df9289906c27727d23f5ed31a5
https://doi.org/10.1145/3238147.3241533

المؤلفون: Rokiatou Diarra, Alain Merigot, Bastien Vincke

المصدر: SCAM

مصطلحات موضوعية: Alias, Pointer aliasing, Programming language, Computer science, Optimizing compiler, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Alias analysis, CUDA, 010201 computation theory & mathematics, restrict, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Programmer, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::09fb76c4dc51017ad4949097913fd27e
https://doi.org/10.1109/scam.2018.00029