{"id":"https://openalex.org/W4415332835","doi":"https://doi.org/10.1145/3755881.3755918","title":"Tech-ASan: Two-stage check for Address Sanitizer","display_name":"Tech-ASan: Two-stage check for Address Sanitizer","publication_year":2025,"publication_date":"2025-06-20","ids":{"openalex":"https://openalex.org/W4415332835","doi":"https://doi.org/10.1145/3755881.3755918"},"language":"en","primary_location":{"id":"doi:10.1145/3755881.3755918","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3755881.3755918","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755918","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Internetware","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755918","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068733869","display_name":"Yixuan Cao","orcid":"https://orcid.org/0009-0006-6241-4251"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yixuan Cao","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0006-6241-4251","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yuhong Feng","orcid":"https://orcid.org/0000-0002-7691-5587"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhong Feng","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0002-7691-5587","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Huafeng Li","orcid":"https://orcid.org/0009-0006-9490-0449"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huafeng Li","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0006-9490-0449","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chongyi Huang","orcid":"https://orcid.org/0009-0004-7370-2377"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chongyi Huang","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0004-7370-2377","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120056967","display_name":"Fangcao Jian","orcid":"https://orcid.org/0009-0001-4312-157X"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangcao Jian","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0001-4312-157X","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Haoran Li","orcid":"https://orcid.org/0009-0007-6789-5573"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoran Li","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0007-6789-5573","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xu Wang","orcid":"https://orcid.org/0000-0002-2948-6468"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Wang","raw_affiliation_strings":["The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0002-2948-6468","affiliations":[{"raw_affiliation_string":"The College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I180726961"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I180726961"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25209623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"96","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9925000071525574,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.779699981212616},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5611000061035156},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.47279998660087585},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.38280001282691956},{"id":"https://openalex.org/keywords/shadow","display_name":"Shadow (psychology)","score":0.328900009393692}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8306999802589417},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.779699981212616},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5611000061035156},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.49320000410079956},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.47279998660087585},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.38280001282691956},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3465999960899353},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3386000096797943},{"id":"https://openalex.org/C117797892","wikidata":"https://www.wikidata.org/wiki/Q286363","display_name":"Shadow (psychology)","level":2,"score":0.328900009393692},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2903999984264374},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C143432726","wikidata":"https://www.wikidata.org/wiki/Q520181","display_name":"Hand sanitizer","level":2,"score":0.271699994802475}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3755881.3755918","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3755881.3755918","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755918","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Internetware","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2506.05022","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2506.05022","pdf_url":"https://arxiv.org/pdf/2506.05022","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3755881.3755918","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3755881.3755918","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3755881.3755918","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Internetware","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7247962969","display_name":null,"funder_award_id":"2017B030314073","funder_id":"https://openalex.org/F4320329236","funder_display_name":"Key Laboratory of Popular Type of High-performance Computer of Guangdong Province"}],"funders":[{"id":"https://openalex.org/F4320325571","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70"},{"id":"https://openalex.org/F4320329236","display_name":"Key Laboratory of Popular Type of High-performance Computer of Guangdong Province","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415332835.pdf","grobid_xml":"https://content.openalex.org/works/W4415332835.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Address":[0],"Sanitizer":[1],"(ASan)":[2],"is":[3],"a":[4,89,102,134,146],"sharp":[5],"weapon":[6],"for":[7,107,137],"detecting":[8],"memory":[9,49,121,147],"safety":[10,98,148],"violations,":[11],"including":[12],"temporal":[13],"and":[14,46,65,171,178,190],"spatial":[15],"errors":[16],"hidden":[17],"in":[18,32,140],"C/C++":[19],"programs":[20],"during":[21],"execution.However,":[22],"ASan":[23,62,96,177,189],"incurs":[24],"significant":[25],"runtime":[26,174],"overhead,":[27],"which":[28,109,132],"limits":[29],"its":[30],"efficiency":[31],"testing":[33,192],"large":[34],"software.The":[35],"overhead":[36,175],"mainly":[37],"comes":[38],"from":[39],"sanitizer":[40,67],"checks":[41,77,139],"due":[42],"to":[43,59,73,94,114,128],"the":[44,51,118,152,158,166,194,199],"frequent":[45],"expensive":[47],"shadow":[48,120],"access.Over":[50],"past":[52],"decade,":[53],"many":[54],"methods":[55,168],"have":[56],"been":[57],"developed":[58],"speed":[60],"up":[61],"by":[63],"eliminating":[64],"accelerating":[66],"checks,":[68,131],"however,":[69],"they":[70],"either":[71],"fail":[72],"adequately":[74],"eliminate":[75,129],"redundant":[76,130],"or":[78],"compromise":[79],"detection":[80],"capabilities.To":[81],"address":[82],"this":[83,85],"issue,":[84],"paper":[86],"presents":[87],"Tech-ASan,":[88],"two-stage":[90,104],"check":[91,105],"based":[92,150],"technique":[93],"accelerate":[95],"with":[97,169],"assurance.First,":[99],"we":[100,123,142],"propose":[101],"novel":[103,135],"algorithm":[106,136],"ASan,":[108],"leverages":[110],"magic":[111],"value":[112],"comparison":[113],"reduce":[115],"most":[116],"of":[117],"costly":[119],"accesses.Second,":[122],"design":[124],"an":[125],"efficient":[126],"optimizer":[127],"integrates":[133],"removing":[138],"loops.Third,":[141],"implement":[143],"Tech-ASan":[144,164,181],"as":[145],"tool":[149],"on":[151,193],"LLVM":[153],"compiler":[154],"infrastructure.Our":[155],"evaluation":[156],"using":[157],"SPEC":[159],"CPU2006":[160],"benchmark":[161],"shows":[162],"that":[163],"outperforms":[165],"state-of-theart":[167],"33.70%":[170],"17.89%":[172],"less":[173],"than":[176,188],"ASan--,":[179],"respectively.Moreover,":[180],"detects":[182],"56":[183],"fewer":[184],"false":[185],"negative":[186],"cases":[187],"ASan--when":[191],"Juliet":[195],"Test":[196],"Suite":[197],"under":[198],"same":[200],"redzone":[201],"setting.":[202]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-19T00:00:00"}