A Survey of Parametric Static Analysis

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 88
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorPark, Jihyeokko
dc.contributor.authorLee, Hongkiko
dc.contributor.authorRyu, Sukyoungko
dc.date.accessioned2021-09-28T02:30:39Z-
dc.date.available2021-09-28T02:30:39Z-
dc.date.created2021-09-28-
dc.date.created2021-09-28-
dc.date.issued2021-09-
dc.identifier.citationACM COMPUTING SURVEYS, v.54, no.7-
dc.identifier.issn0360-0300-
dc.identifier.urihttp://hdl.handle.net/10203/287925-
dc.description.abstractUnderstanding program behaviors is important to verify program properties or to optimize programs. Static analysis is a widely used technique to approximate program behaviors via abstract interpretation. To evaluate the quality of static analysis, researchers have used three metrics: performance, precision, and soundness. The static analysis quality depends on the analysis techniques used, but the best combination of such techniques may be different for different programs. To find the best combination of analysis techniques for specific programs, recent work has proposed parametric static analysis. It considers static analysis as black-box parameterized by analysis parameters, which are techniques that may be configured without analysis details. We formally define the parametric static analysis, and we survey analysis parameters and their parameter selection in the literature. We also discuss open challenges and future directions of the parametric static analysis.-
dc.languageEnglish-
dc.publisherASSOC COMPUTING MACHINERY-
dc.titleA Survey of Parametric Static Analysis-
dc.typeArticle-
dc.identifier.wosid000697296500015-
dc.type.rimsART-
dc.citation.volume54-
dc.citation.issue7-
dc.citation.publicationnameACM COMPUTING SURVEYS-
dc.identifier.doi10.1145/3464457-
dc.contributor.localauthorRyu, Sukyoung-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorStatic analysis-
dc.subject.keywordAuthorparametric analysis-
dc.subject.keywordAuthoranalysis techniques-
dc.subject.keywordAuthorabstraction-
dc.subject.keywordPlusPOINTS-TO ANALYSIS-
dc.subject.keywordPlusCONTEXT-SENSITIVITY-
dc.subject.keywordPlusABSTRACTION REFINEMENT-
dc.subject.keywordPlusPROGRAM ANALYSIS-
dc.subject.keywordPlusFLOW-ANALYSIS-
dc.subject.keywordPlusPRECISE-
dc.subject.keywordPlusHEAP-
dc.subject.keywordPlusDETERMINACY-
dc.subject.keywordPlusSTRATEGY-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
121798.pdf(2.49 MB)Download

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0