{"id":"https://openalex.org/W3000686460","doi":"https://doi.org/10.1109/ase.2019.00117","title":"SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs","display_name":"SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs","publication_year":2019,"publication_date":"2019-11-01","ids":{"openalex":"https://openalex.org/W3000686460","doi":"https://doi.org/10.1109/ase.2019.00117","mag":"3000686460"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2019.00117","doi":"https://doi.org/10.1109/ase.2019.00117","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2019.00117","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5045026321","display_name":"Xutong Ma","orcid":"https://orcid.org/0009-0009-1510-1668","observed_orcids":["https://orcid.org/0009-0009-1510-1668"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xutong Ma","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software","University of Chinese Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100625102","display_name":"Jiwei Yan","orcid":"https://orcid.org/0000-0001-8080-7506","observed_orcids":["https://orcid.org/0000-0001-8080-7506"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiwei Yan","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software","Technology Center of Software Engineering, Institute of Software","University of Chinese Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"Technology Center of Software Engineering, Institute of Software","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007062695","display_name":"Yaqi Li","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaqi Li","raw_affiliation_strings":["Technology Center of Software Engineering, Institute of Software","University of Chinese Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technology Center of Software Engineering, Institute of Software","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110155466","display_name":"Jun Yan","orcid":"https://orcid.org/0009-0001-7706-7268","observed_orcids":["https://orcid.org/0009-0001-7706-7268"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Yan","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software","Technology Center of Software Engineering, Institute of Software","University of Chinese Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"Technology Center of Software Engineering, Institute of Software","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091790870","display_name":"Jian Zhang","orcid":"https://orcid.org/0000-0003-3612-7989","observed_orcids":["https://orcid.org/0000-0003-3612-7989"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Zhang","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software","University of Chinese Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1764,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.28969359,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":95},"biblio":{"volume":"2019","issue":null,"first_page":"1122","last_page":"1125"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8823000192642212,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8823000192642212,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.07240000367164612,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.03840000182390213,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/smart-pointers","display_name":"smart pointers","score":0.9900000095367432},{"id":"https://openalex.org/keywords/c","display_name":"C++","score":0.6959999799728394},{"id":"https://openalex.org/keywords/static-code-analysis","display_name":"static code analysis","score":0.7820000052452087},{"id":"https://openalex.org/keywords/memory-errors","display_name":"memory errors","score":0.8270000219345093},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.5950000286102295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8609112501144409},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.784029483795166},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6242966651916504},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.5863972306251526},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.5522279739379883},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5207645297050476},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.5146528482437134},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.49660664796829224},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.47918927669525146},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.47328540682792664},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4527171552181244},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2221681773662567},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.15731438994407654},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12944453954696655},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.1290293037891388},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ase.2019.00117","doi":"https://doi.org/10.1109/ase.2019.00117","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2019.00117","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},{"id":"mag:3045052202","doi":null,"is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002250245559231","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2056167392","https://openalex.org/W2138369269","https://openalex.org/W2146934772","https://openalex.org/W2293497566","https://openalex.org/W2765798514","https://openalex.org/W2803514829","https://openalex.org/W2999514747","https://openalex.org/W4244800399"],"related_works":["https://openalex.org/W4206394013","https://openalex.org/W2066669257","https://openalex.org/W7095582358","https://openalex.org/W2999115679","https://openalex.org/W1996062855","https://openalex.org/W21073870","https://openalex.org/W2373005109","https://openalex.org/W7200146797","https://openalex.org/W123031383","https://openalex.org/W82217049"],"abstract_inverted_index":{"Smart":[0],"pointers":[1,18],"are":[2],"widely":[3],"used":[4],"to":[5,22,50],"prevent":[6],"memory":[7,24],"errors":[8,39],"in":[9],"modern":[10],"C++":[11],"code.":[12],"However,":[13],"improper":[14],"usage":[15],"of":[16,82],"smart":[17,37,54],"may":[19],"also":[20,97],"lead":[21],"common":[23],"errors,":[25,86],"which":[26],"makes":[27],"the":[28,70],"code":[29,75],"not":[30],"as":[31,33,40,42],"safe":[32],"expected.":[34],"To":[35],"avoid":[36],"pointer":[38,55],"early":[41],"possible,":[43],"we":[44,96],"present":[45],"a":[46],"coding":[47],"style":[48],"checker":[49],"detect":[51,79,91],"possible":[52],"bad":[53],"usages":[56],"during":[57],"compile":[58],"time,":[59],"and":[60],"notify":[61],"programmers":[62],"about":[63],"bug-prone":[64],"behaviors.":[65],"The":[66],"evaluation":[67],"indicates":[68],"that":[69],"currently":[71],"available":[72],"state-of-the-art":[73],"static":[74],"checkers":[76],"can":[77,90],"only":[78,107],"25":[80],"out":[81],"116":[83],"manually":[84],"inserted":[85],"while":[87],"our":[88],"tool":[89],"all":[92],"these":[93],"errors.":[94],"And":[95],"found":[98],"521":[99],"bugs":[100],"among":[101],"8":[102],"open":[103],"source":[104],"projects":[105],"with":[106],"4":[108],"false":[109],"positives.":[110]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2020-01-23T00:00:00"}