Zobrazeno 1 - 5
of 5
pro vyhledávání: '"David Trabish"'
Publikováno v:
ESEC/SIGSOFT FSE
Symbolic execution is a powerful program analysis technique which allows executing programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of object sizes, that does not allow symbolic-size allocations. This leads to co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3e3a80c0eaeb39496766104c92a9225
https://doi.org/10.1145/3468264.3468596
https://doi.org/10.1145/3468264.3468596
Publikováno v:
ICST
—Symbolic execution (SE) is a popular program analysis technique. SE heavily relies on satisfiability queries during path exploration, often resulting in the majority of the time being spent on solving these queries. Hence, it is not surprising tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2206f497a4fa97271fcd4154d4d8cb87
Autor:
Noam Rinetzky, David Trabish
Publikováno v:
ISSTA
Symbolic execution (SE) is a widely used program analysis technique. Existing SE engines model the memory space by associating memory objects with concrete addresses, where the representation of each allocated object is determined during its allocati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3051878aa5afe63d222d13c5fa6af4a
https://doi.org/10.1145/3395363.3397363
https://doi.org/10.1145/3395363.3397363
Publikováno v:
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ESEC/SIGSOFT FSE
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
ESEC/SIGSOFT FSE
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
We propose a novel fine-grained integration of pointer analysis with dynamic analysis, including dynamic symbolic execution. This is achieved via past-sensitive pointer analysis, an on-demand pointer analysis instantiated with an abstraction of the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9548306e3fb840de448187ff94ba360c
Publikováno v:
ICSE '18: Proceedings of the 40th International Conference on Software Engineering
ICSE
ICSE
Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be22c47e98ef4c8ad98767a9bdc7bc81
http://hdl.handle.net/10044/1/57574
http://hdl.handle.net/10044/1/57574