{"id":"https://openalex.org/W3014462788","doi":"https://doi.org/10.1109/saner48275.2020.9054849","title":"Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers","display_name":"Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers","publication_year":2020,"publication_date":"2020-02-01","ids":{"openalex":"https://openalex.org/W3014462788","doi":"https://doi.org/10.1109/saner48275.2020.9054849","mag":"3014462788"},"language":"en","primary_location":{"id":"doi:10.1109/saner48275.2020.9054849","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner48275.2020.9054849","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-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/A5111562182","display_name":"Fang Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Fang Lv","raw_affiliation_strings":["SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102912062","display_name":"Hao Li","orcid":"https://orcid.org/0009-0002-2237-9798"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Li","raw_affiliation_strings":["SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100435848","display_name":"Lei Wang","orcid":"https://orcid.org/0000-0002-0961-0441"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Wang","raw_affiliation_strings":["SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100414333","display_name":"Ying Liu","orcid":"https://orcid.org/0000-0002-8398-8557"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Liu","raw_affiliation_strings":["SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089123963","display_name":"Huimin Cui","orcid":"https://orcid.org/0009-0006-5884-3985"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huimin Cui","raw_affiliation_strings":["SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jingling Xue","raw_affiliation_strings":["School of Computer Science and Engineering, University of New South Wales, Australia"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, University of New South Wales, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053070701","display_name":"Xiaobing Feng","orcid":"https://orcid.org/0000-0003-2909-7750"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaobing Feng","raw_affiliation_strings":["SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"SKL Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5111562182"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06105006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":null,"first_page":"1","last_page":"12"},"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.9994999766349792,"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.9994999766349792,"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.9983999729156494,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/compiler","display_name":"Compiler","score":0.8741639256477356},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8443937301635742},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5867469310760498},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5813383460044861},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4626845121383667},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.44396013021469116},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4375871419906616},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4368399977684021},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35737523436546326},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.34904786944389343},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18978536128997803}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8741639256477356},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8443937301635742},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5867469310760498},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5813383460044861},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4626845121383667},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44396013021469116},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4375871419906616},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4368399977684021},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35737523436546326},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.34904786944389343},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18978536128997803},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/saner48275.2020.9054849","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner48275.2020.9054849","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W350392096","https://openalex.org/W847975776","https://openalex.org/W1987353911","https://openalex.org/W1989562524","https://openalex.org/W2008106620","https://openalex.org/W2014433051","https://openalex.org/W2060533244","https://openalex.org/W2094190665","https://openalex.org/W2103910676","https://openalex.org/W2107581073","https://openalex.org/W2110726411","https://openalex.org/W2119691711","https://openalex.org/W2122757982","https://openalex.org/W2123442489","https://openalex.org/W2128466029","https://openalex.org/W2140609933","https://openalex.org/W2143124065","https://openalex.org/W2147370410","https://openalex.org/W2147623728","https://openalex.org/W2154786353","https://openalex.org/W2157310776","https://openalex.org/W2168519934","https://openalex.org/W2170216784","https://openalex.org/W2171539112","https://openalex.org/W2360967250","https://openalex.org/W2547104021","https://openalex.org/W2550970678","https://openalex.org/W2565684518","https://openalex.org/W2609112314","https://openalex.org/W2740130372","https://openalex.org/W2752172973","https://openalex.org/W2773223713","https://openalex.org/W2802910567","https://openalex.org/W2885043017","https://openalex.org/W2888587644","https://openalex.org/W2890419535","https://openalex.org/W2921888067","https://openalex.org/W2962724414","https://openalex.org/W2963935794","https://openalex.org/W3102181655","https://openalex.org/W4214583996","https://openalex.org/W4235002328","https://openalex.org/W4250700635","https://openalex.org/W4251875201","https://openalex.org/W6623714489","https://openalex.org/W6680606459","https://openalex.org/W6681165643","https://openalex.org/W6683334985","https://openalex.org/W6684464923","https://openalex.org/W6744261831"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W4232954277","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"Coding":[0],"rules":[1,47,160,179],"become":[2],"more":[3],"critical":[4],"for":[5,138,177,240],"security-oriented":[6],"softwares,":[7],"which":[8],"prefer":[9],"compilers":[10],"as":[11],"their":[12],"base":[13],"platforms":[14],"due":[15],"to":[16,78,114,118,133,180,198],"simultaneous":[17],"demands":[18],"not":[19],"only":[20],"in":[21,28,51,155],"a":[22,36,57,72,107,127,139,227],"mature":[23],"grammatical":[24],"analysis,":[25],"but":[26],"also":[27],"compilation":[29],"and":[30,125,163,200,208,237],"optimization":[31],"techniques.":[32],"However,":[33],"engineering":[34],"such":[35],"compiler-based":[37],"analyzer,":[38],"exploring":[39],"proper":[40],"launch":[41,136,175],"points":[42,176],"before":[43],"integrating":[44],"hundreds":[45],"of":[46,54,101,170,174,189,206,218,230],"one":[48,50],"by":[49,88],"the":[52,84,99,135,144,191,194,216],"frontend":[53],"compilers,":[55],"is":[56,112,131],"completely":[58],"manual":[59,85,103,219],"decision-making":[60],"process":[61,111],"with":[62,121,158,187,226],"heavy":[63],"redundant":[64,102],"efforts":[65,104,220],"exhausted.":[66],"To":[67],"improve":[68],"this,":[69],"we":[70],"introduce":[71],"novel":[73],"pattern-guided":[74,94],"approach,":[75],"named":[76],"Referee,":[77],"facilitate":[79],"this":[80],"process.":[81],"Referee":[82,154,166,212],"improves":[83],"approach":[86,95],"significantly":[87,97,214],"making":[89],"three":[90],"advances:":[91],"(1)":[92],"our":[93,181],"can":[96,213],"reduce":[98,215],"amount":[100,217],"required,":[105,225],"(2)":[106],"twin-graph":[108],"aided":[109],"broadcasting":[110],"developed":[113,123],"enable":[115],"rule":[116,141,232],"patterns":[117],"be":[119,224],"characterized":[120],"partially":[122],"rules,":[124],"(3)":[126],"reliable":[128],"recommendation":[129,173],"mechanism":[130],"used":[132],"pinpoint":[134],"point":[137],"new":[140,178],"based":[142],"on":[143,172],"accumulated":[145],"experience":[146],"from":[147,161],"handling":[148],"earlier":[149],"rules.":[150,192],"We":[151],"have":[152],"implemented":[153],"GCC":[156],"8.2":[157],"163":[159],"SPACE-C":[162],"MISRA-C":[164],"standards.":[165],"achieves":[167],"an":[168,204,235],"accuracy":[169,205],"89.9%":[171],"GCC-based":[182],"analyzer":[183],"automatically":[184],"when":[185],"trained":[186],"70%":[188],"all":[190],"Decreasing":[193],"training":[195],"data":[196],"size":[197],"60%":[199],"50%":[201],"still":[202],"yields":[203],"87.7%":[207],"81.5%,":[209],"respectively.":[210],"Therefore,":[211],"that":[221],"would":[222],"otherwise":[223],"careful":[228],"selection":[229],"seeding":[231],"patterns,":[233],"providing":[234],"interesting":[236],"fruitful":[238],"avenue":[239],"further":[241],"research.":[242]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}