{"id":"https://openalex.org/W4400798869","doi":"https://doi.org/10.1145/3671016.3671385","title":"Accelerating Static Null Pointer Dereference Detection with Parallel Computing","display_name":"Accelerating Static Null Pointer Dereference Detection with Parallel Computing","publication_year":2024,"publication_date":"2024-07-17","ids":{"openalex":"https://openalex.org/W4400798869","doi":"https://doi.org/10.1145/3671016.3671385"},"language":"en","primary_location":{"id":"doi:10.1145/3671016.3671385","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3671016.3671385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th Asia-Pacific Symposium on Internetware","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/A5066675924","display_name":"Rulin Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Rulin Xu","raw_affiliation_strings":["College of Computer, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046097205","display_name":"Luohui Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Luohui Chen","raw_affiliation_strings":["College of Computer, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037983916","display_name":"Ruyi Zhang","orcid":"https://orcid.org/0000-0001-6707-2971"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruyi Zhang","raw_affiliation_strings":["Science and Technology on Parallel and Distributed Processing Laborator, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"Science and Technology on Parallel and Distributed Processing Laborator, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101567812","display_name":"Yuanliang Zhang","orcid":"https://orcid.org/0009-0006-6042-7489"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanliang Zhang","raw_affiliation_strings":["College of Computer, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111478346","display_name":"Wei Xiao","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Xiao","raw_affiliation_strings":["College of Computer, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009743426","display_name":"Haifang Zhou","orcid":"https://orcid.org/0000-0001-7774-5623"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haifang Zhou","raw_affiliation_strings":["College of Computer, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoguang Mao","raw_affiliation_strings":["College of Computer, National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5066675924"],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":0.4776,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66521559,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"144"},"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.9991000294685364,"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.9991000294685364,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T12034","display_name":"Digital and Cyber Forensics","score":0.9667999744415283,"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/computer-science","display_name":"Computer science","score":0.8122840523719788},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6315634250640869},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6241517066955566},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3287840485572815},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3207423686981201},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.14295783638954163}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8122840523719788},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6315634250640869},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6241517066955566},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3287840485572815},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3207423686981201},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.14295783638954163}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3671016.3671385","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3671016.3671385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G910687707","display_name":null,"funder_award_id":"62202474,62272473","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1963484650","https://openalex.org/W2031507118","https://openalex.org/W2170612356","https://openalex.org/W2297774820","https://openalex.org/W2739909123","https://openalex.org/W2799226481","https://openalex.org/W2899063278","https://openalex.org/W2920740222","https://openalex.org/W2927576984","https://openalex.org/W2963762601","https://openalex.org/W3011875640","https://openalex.org/W3092559988","https://openalex.org/W3145163650","https://openalex.org/W3155297306","https://openalex.org/W3173766797","https://openalex.org/W3188917597","https://openalex.org/W4288722073","https://openalex.org/W4294927773","https://openalex.org/W4301395468","https://openalex.org/W4307816711","https://openalex.org/W4309672179","https://openalex.org/W4321353680","https://openalex.org/W4321764554","https://openalex.org/W4376606806","https://openalex.org/W4384302786","https://openalex.org/W4386323708","https://openalex.org/W4388482991"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2387387477","https://openalex.org/W4396701345","https://openalex.org/W2394051415","https://openalex.org/W82217049","https://openalex.org/W2355140909","https://openalex.org/W92485060"],"abstract_inverted_index":{"High-precision":[0],"static":[1,31,49,86,114],"analysis":[2,32,44,52,103,116,124],"can":[3],"effectively":[4],"detect":[5],"Null":[6],"Pointer":[7],"Dereference":[8],"(NPD)":[9],"vulnerabilities":[10],"in":[11,42,90,180,211],"C":[12,92],"language,":[13],"but":[14],"the":[15,28,43,46,80,91,110,120,153,160,170],"performance":[16,161,228],"overhead":[17],"is":[18,61,99],"significant.":[19],"In":[20,192,227],"recent":[21],"years,":[22],"researchers":[23],"have":[24],"attempted":[25],"to":[26,39,63,100,104,150,186,231,238],"enhance":[27],"efficiency":[29,70,184],"of":[30,48,97,164,223],"by":[33],"leveraging":[34],"multicore":[35],"resources.":[36],"However,":[37],"due":[38],"complex":[40],"dependencies":[41,112],"process,":[45],"parallelization":[47],"value-flow":[50,87,115],"NPD":[51,88,123],"for":[53,84],"large-scale":[54],"software":[55],"still":[56],"faces":[57],"significant":[58,178],"challenges.":[59],"It":[60],"difficult":[62],"achieve":[64],"a":[65,138,146,177,198,205,243],"good":[66],"balance":[67],"between":[68,113],"detection":[69,190,214],"and":[71,131,142,162,183,204],"accuracy,":[72],"which":[73],"impacts":[74],"its":[75,217,232],"application.This":[76],"paper":[77],"presents":[78],"PANDA,":[79],"first":[81],"parallel":[82,140,151],"detector":[83],"high-precision":[85],"analyzer":[89],"language.":[93],"The":[94],"core":[95],"idea":[96],"PANDA":[98,136,175,196,235],"utilize":[101],"dependency":[102],"ensure":[105],"high":[106],"precision":[107],"while":[108],"decoupling":[109],"strong":[111],"steps.":[117],"This":[118],"transforms":[119],"traditionally":[121],"challenging-to-parallelize":[122],"into":[125],"two":[126,155],"parallelizable":[127],"algorithms:":[128],"function":[129],"summarization":[130],"combined":[132],"query-based":[133],"vulnerability":[134,166],"analysis.":[135],"introduces":[137],"task-level":[139],"framework":[141,172],"enhances":[143],"it":[144],"with":[145],"dynamic":[147],"scheduling":[148],"method":[149],"schedule":[152],"above":[154],"key":[156],"steps,":[157],"significantly":[158],"improving":[159],"scalability":[163],"memory":[165],"detection.Fully":[167],"implemented":[168],"within":[169,202,209],"LLVM":[171],"(version":[173],"15.0.7),":[174],"demonstrates":[176],"advantage":[179],"balancing":[181],"accuracy":[182],"compared":[185,230],"current":[187],"popular":[188],"open-source":[189,225],"tools.":[191,226],"precision-targeted":[193],"benchmark":[194],"tests,":[195,216],"maintains":[197],"false":[199,206],"positive":[200],"rate":[201,208,215,219],"3.17%":[203],"negative":[207],"5.16%;":[210],"historical":[212],"CVE":[213],"recall":[218],"far":[220],"exceeds":[221],"that":[222],"comparative":[224],"evaluations,":[229],"serial":[233],"version,":[234],"achieves":[236],"up":[237],"an":[239],"11.23-fold":[240],"speedup":[241],"on":[242],"16-node":[244],"server,":[245],"exhibiting":[246],"outstanding":[247],"scalability.":[248]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}