A practical string analyzer by the widening approach
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Choi, Tae hyoung | - |
dc.contributor.author | Lee, Oukseh | - |
dc.contributor.author | Kim, Hyunha | - |
dc.contributor.author | Doh, Kyung goo | - |
dc.date.accessioned | 2021-06-23T22:38:09Z | - |
dc.date.available | 2021-06-23T22:38:09Z | - |
dc.date.issued | 2006-11 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/45333 | - |
dc.description.abstract | The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity and security of generated strings, as well as to collect the useful string properties. Previous string analysis efforts have been focused primarily on the maxmization of the precision of regular approximations of strings. These methods have not been completely satisfactory due to the difficulties in dealing with heap variables and context sensitivity. In this paper, we present an abstract-interpretation-based solution that employs a heuristic widening method. The presented solution is implemented and compared to JSA. In most cases, our solution gives results as precise as those produced by previous methods, and it makes the additional contribution of easily dealing with heap variables and context sensitivity in a very natural way. We anticipate the employment of our method in practical applications. © Springer-Verlag Berlin Heidelberg 2006. | - |
dc.format.extent | 15 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Springer Verlag | - |
dc.title | A practical string analyzer by the widening approach | - |
dc.type | Article | - |
dc.publisher.location | 미국 | - |
dc.identifier.doi | 10.1007/11924661_23 | - |
dc.identifier.scopusid | 2-s2.0-33845934486 | - |
dc.identifier.wosid | 000243130400023 | - |
dc.identifier.bibliographicCitation | Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp 374 - 388 | - |
dc.citation.title | Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings | - |
dc.citation.startPage | 374 | - |
dc.citation.endPage | 388 | - |
dc.type.docType | Conference Paper | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Theory & Methods | - |
dc.subject.keywordPlus | Abstracting | - |
dc.subject.keywordPlus | Approximation theory | - |
dc.subject.keywordPlus | Object oriented programming | - |
dc.subject.keywordPlus | Optimization | - |
dc.subject.keywordPlus | Problem solving | - |
dc.subject.keywordPlus | Sensitivity analysis | - |
dc.subject.keywordPlus | Context sensitivity | - |
dc.subject.keywordPlus | String analyzers | - |
dc.subject.keywordPlus | String expressions | - |
dc.subject.keywordPlus | String properties | - |
dc.subject.keywordPlus | Heuristic methods | - |
dc.subject.keywordAuthor | String Operator | - |
dc.subject.keywordAuthor | Regular Expression | - |
dc.subject.keywordAuthor | Widening Operator | - |
dc.subject.keywordAuthor | Abstract Domain | - |
dc.subject.keywordAuthor | Context Sensitivity | - |
dc.identifier.url | https://link.springer.com/chapter/10.1007/11924661_23 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.