{"id":"https:\/\/openalex.org\/W2766362161","doi":"https:\/\/doi.org\/10.1002\/spe.2552","title":"Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity","display_name":"Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity","publication_year":2017,"publication_date":"2017-10-23","ids":{"openalex":"https:\/\/openalex.org\/W2766362161","doi":"https:\/\/doi.org\/10.1002\/spe.2552","mag":"2766362161"},"language":"en","primary_location":{"id":"doi:10.1002\/spe.2552","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1002\/spe.2552","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https:\/\/openalex.org\/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https:\/\/openalex.org\/A5103095906","display_name":"Changhee Park","orcid":"https:\/\/orcid.org\/0000-0003-2833-2106"},"institutions":[{"id":"https:\/\/openalex.org\/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https:\/\/ror.org\/05apxxy63","country_code":"KR","type":"education","lineage":["https:\/\/openalex.org\/I157485424"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Changhee Park","raw_affiliation_strings":["Korea Advanced Institute of Science and Technology Daejeon Republic of Korea","Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"],"raw_orcid":"https:\/\/orcid.org\/0000-0003-2833-2106","affiliations":[{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology Daejeon Republic of Korea","institution_ids":["https:\/\/openalex.org\/I157485424"]},{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea","institution_ids":["https:\/\/openalex.org\/I157485424"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5020455825","display_name":"Hongki Lee","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https:\/\/ror.org\/05apxxy63","country_code":"KR","type":"education","lineage":["https:\/\/openalex.org\/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hongki Lee","raw_affiliation_strings":["Korea Advanced Institute of Science and Technology Daejeon Republic of Korea","Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology Daejeon Republic of Korea","institution_ids":["https:\/\/openalex.org\/I157485424"]},{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea","institution_ids":["https:\/\/openalex.org\/I157485424"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5087492388","display_name":"Sukyoung Ryu","orcid":"https:\/\/orcid.org\/0000-0002-0019-9772"},"institutions":[{"id":"https:\/\/openalex.org\/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https:\/\/ror.org\/05apxxy63","country_code":"KR","type":"education","lineage":["https:\/\/openalex.org\/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sukyoung Ryu","raw_affiliation_strings":["Korea Advanced Institute of Science and Technology Daejeon Republic of Korea","Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology Daejeon Republic of Korea","institution_ids":["https:\/\/openalex.org\/I157485424"]},{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea","institution_ids":["https:\/\/openalex.org\/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https:\/\/openalex.org\/A5103095906"],"corresponding_institution_ids":["https:\/\/openalex.org\/I157485424"],"apc_list":{"value":4650,"currency":"USD","value_usd":4650},"apc_paid":null,"fwci":0.8258,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76534541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"48","issue":"4","first_page":"911","last_page":"944"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https:\/\/openalex.org\/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1708","display_name":"Hardware and Architecture"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},"topics":[{"id":"https:\/\/openalex.org\/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1708","display_name":"Hardware and Architecture"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1702","display_name":"Artificial Intelligence"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T11424","display_name":"Security and Verification in Computing","score":0.9966999888420105,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1702","display_name":"Artificial Intelligence"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https:\/\/openalex.org\/keywords\/javascript","display_name":"JavaScript","score":0.9676575660705566},{"id":"https:\/\/openalex.org\/keywords\/unobtrusive-javascript","display_name":"Unobtrusive JavaScript","score":0.9392130374908447},{"id":"https:\/\/openalex.org\/keywords\/computer-science","display_name":"Computer science","score":0.8294352293014526},{"id":"https:\/\/openalex.org\/keywords\/scalability","display_name":"Scalability","score":0.7515220642089844},{"id":"https:\/\/openalex.org\/keywords\/static-analysis","display_name":"Static analysis","score":0.7314337491989136},{"id":"https:\/\/openalex.org\/keywords\/programming-language","display_name":"Programming language","score":0.5984079837799072},{"id":"https:\/\/openalex.org\/keywords\/operating-system","display_name":"Operating system","score":0.3372887969017029},{"id":"https:\/\/openalex.org\/keywords\/rich-internet-application","display_name":"Rich Internet application","score":0.2660629153251648}],"concepts":[{"id":"https:\/\/openalex.org\/C544833334","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2005","display_name":"JavaScript","level":2,"score":0.9676575660705566},{"id":"https:\/\/openalex.org\/C198240166","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2298909","display_name":"Unobtrusive JavaScript","level":4,"score":0.9392130374908447},{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.8294352293014526},{"id":"https:\/\/openalex.org\/C48044578","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q727490","display_name":"Scalability","level":2,"score":0.7515220642089844},{"id":"https:\/\/openalex.org\/C97686452","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7604153","display_name":"Static analysis","level":2,"score":0.7314337491989136},{"id":"https:\/\/openalex.org\/C199360897","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9143","display_name":"Programming language","level":1,"score":0.5984079837799072},{"id":"https:\/\/openalex.org\/C111919701","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9135","display_name":"Operating system","level":1,"score":0.3372887969017029},{"id":"https:\/\/openalex.org\/C103048170","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q725485","display_name":"Rich Internet application","level":3,"score":0.2660629153251648}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002\/spe.2552","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1002\/spe.2552","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https:\/\/openalex.org\/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https:\/\/openalex.org\/G2036378207","display_name":null,"funder_award_id":"NRF-2017R1A2B3012020","funder_id":"https:\/\/openalex.org\/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https:\/\/openalex.org\/F4320322120","display_name":"National Research Foundation of Korea","ror":"https:\/\/ror.org\/013aysd81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https:\/\/openalex.org\/W111121138","https:\/\/openalex.org\/W148369031","https:\/\/openalex.org\/W202191487","https:\/\/openalex.org\/W1558427762","https:\/\/openalex.org\/W1558552339","https:\/\/openalex.org\/W1584436405","https:\/\/openalex.org\/W1965995882","https:\/\/openalex.org\/W1966862293","https:\/\/openalex.org\/W1969599528","https:\/\/openalex.org\/W1969808647","https:\/\/openalex.org\/W1971859150","https:\/\/openalex.org\/W1989147905","https:\/\/openalex.org\/W2003410111","https:\/\/openalex.org\/W2014764321","https:\/\/openalex.org\/W2016116010","https:\/\/openalex.org\/W2027625187","https:\/\/openalex.org\/W2043100293","https:\/\/openalex.org\/W2044870852","https:\/\/openalex.org\/W2046213250","https:\/\/openalex.org\/W2048229966","https:\/\/openalex.org\/W2057085278","https:\/\/openalex.org\/W2066195326","https:\/\/openalex.org\/W2093737074","https:\/\/openalex.org\/W2101512909","https:\/\/openalex.org\/W2122745100","https:\/\/openalex.org\/W2140021378","https:\/\/openalex.org\/W2142194171","https:\/\/openalex.org\/W2162544703","https:\/\/openalex.org\/W2247976907","https:\/\/openalex.org\/W2294292201","https:\/\/openalex.org\/W2520089364","https:\/\/openalex.org\/W2527850347","https:\/\/openalex.org\/W2537655783","https:\/\/openalex.org\/W2622514874","https:\/\/openalex.org\/W2937057045","https:\/\/openalex.org\/W4250199140","https:\/\/openalex.org\/W4251478049","https:\/\/openalex.org\/W4253084472"],"related_works":["https:\/\/openalex.org\/W650647575","https:\/\/openalex.org\/W2472584751","https:\/\/openalex.org\/W1566603754","https:\/\/openalex.org\/W2621181330","https:\/\/openalex.org\/W2085515337","https:\/\/openalex.org\/W2525971262","https:\/\/openalex.org\/W2949337025","https:\/\/openalex.org\/W2584011092","https:\/\/openalex.org\/W2290206096","https:\/\/openalex.org\/W2527850347"],"abstract_inverted_index":{"Summary":[0],"Statically":[1],"analyzing":[2,29,74,164],"JavaScript":[3,10,14,23,35,75,144,160,165,187,207],"applications":[4,15],"often":[5],"requires":[6,213],"an":[7,158],"analysis":[8,20,64,71,80,137,153,185,194],"of":[9,41,53,82,114,139,157,172,186,195,241],"libraries":[11,30,36,76,145],"because":[12],"many":[13],"use":[16,142],"libraries.":[17,166,188],"However,":[18],"static":[19,45,161],"techniques":[21],"for":[22,28],"are":[24,243],"not":[25,215],"yet":[26],"ready":[27],"in":[31,106,111,183,209,227],"ascalableandprecisemanner.":[32],"Simply":[33],"loading":[34],"uses":[37],"various":[38],"dynamic":[39],"features":[40,117],"JavaScript,":[42],"which":[43,67,202],"cause":[44],"analyzers":[46],"to":[47,96],"suffer":[48],"from":[49],"mutually":[50],"intermingled":[51],"problems":[52],"scalability":[54,72,154,180],"and":[55,121,125,146,155,181,239],"imprecision.":[56],"In":[57,167],"this":[58],"paper,":[59],"we":[60,174],"present":[61],"a":[62,210],"loop\u2010sensitive":[63],"(LSA)":[65],"technique,":[66],"can":[68,93],"improve":[69],"the":[70,79,107,112,136,152,170,177,184,193,204,217,237],"when":[73,90,163],"by":[77],"enhancing":[78],"precision":[81,126,156,182],"loops.":[83],"The":[84],"LSA":[85,105,133,149,242],"technique":[86],"distinguishes":[87],"loop":[88,91,229],"iterations":[89,226],"conditions":[92],"be":[94,97],"determined":[95],"either":[98],"true":[99],"or":[100],"false":[101],"precisely.":[102],"We":[103,130,189],"formalize":[104],"abstract":[108],"interpretation":[109],"framework":[110],"presence":[113],"tricky":[115],"language":[116],"such":[118],"as":[119],"exceptions":[120],"prove":[122],"its":[123],"soundness":[124],"theorems":[127],"using":[128,169],"Coq.":[129],"evaluate":[131],"our":[132],"implementation":[134,240],"with":[135,230],"results":[138],"programs":[140,197],"that":[141,148,191,198],"5":[143],"show":[147,176],"significantly":[150],"improves":[151],"existing":[159],"analyzer":[162],"addition,":[168],"configurability":[171],"LSA,":[173],"experimentally":[175],"correlation":[178],"between":[179],"found":[190],"even":[192],"simple":[196],"just":[199],"load":[200],"jQuery,":[201],"is":[203],"most":[205],"popular":[206],"library,":[208],"scalable":[211],"way":[212],"distinguishing":[214],"only":[216],"last":[218],"4":[219],"functions":[220],"being":[221],"called":[222],"but":[223],"also":[224],"40":[225],"each":[228],"2\u2010level":[231],"nested":[232],"loops":[233],"at":[234],"least.":[235],"Both":[236],"mechanization":[238],"publicly":[244],"available.":[245]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}