{"id":"https://openalex.org/W2981038883","doi":"https://doi.org/10.1109/access.2019.2947146","title":"A Critical-Path-Coverage-Based Vulnerability Detection Method for Smart Contracts","display_name":"A Critical-Path-Coverage-Based Vulnerability Detection Method for Smart Contracts","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2981038883","doi":"https://doi.org/10.1109/access.2019.2947146","mag":"2981038883"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2947146","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2947146","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08867880.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08867880.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036943150","display_name":"Menglin Fu","orcid":"https://orcid.org/0000-0003-2363-3233"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Menglin Fu","raw_affiliation_strings":["Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-2363-3233","affiliations":[{"raw_affiliation_string":"Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023896344","display_name":"Lifa Wu","orcid":"https://orcid.org/0000-0001-5457-1923"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lifa Wu","raw_affiliation_strings":["School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, China","institution_ids":["https://openalex.org/I41198531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100680444","display_name":"Zheng Hong","orcid":"https://orcid.org/0000-0002-2890-2642"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Hong","raw_affiliation_strings":["Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-2890-2642","affiliations":[{"raw_affiliation_string":"Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101625311","display_name":"Feng Zhu","orcid":"https://orcid.org/0000-0002-7129-1082"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Zhu","raw_affiliation_strings":["School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, China","institution_ids":["https://openalex.org/I41198531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100702984","display_name":"He Sun","orcid":"https://orcid.org/0000-0001-9216-6443"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Sun","raw_affiliation_strings":["Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-9216-6443","affiliations":[{"raw_affiliation_string":"Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003097696","display_name":"Wenbo Feng","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenbo Feng","raw_affiliation_strings":["Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Command and Control Engineering College, Army Engineering University of PLA, Nanjing, China","institution_ids":["https://openalex.org/I4210163363"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":3.4443,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.93739681,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"7","issue":null,"first_page":"147327","last_page":"147344"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998999834060669,"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.9977999925613403,"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/T11424","display_name":"Security and Verification in Computing","score":0.9757000207901001,"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/computer-science","display_name":"Computer science","score":0.8579936623573303},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.7002928853034973},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.6236005425453186},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5264421701431274},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4974413216114044},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4620688557624817},{"id":"https://openalex.org/keywords/constant-false-alarm-rate","display_name":"Constant false alarm rate","score":0.44356489181518555},{"id":"https://openalex.org/keywords/critical-path-method","display_name":"Critical path method","score":0.44007608294487},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4331373870372772},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.43096619844436646},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37240201234817505},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1661788821220398},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.15226930379867554},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.13827472925186157},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13220450282096863},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11675789952278137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8579936623573303},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.7002928853034973},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.6236005425453186},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5264421701431274},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4974413216114044},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4620688557624817},{"id":"https://openalex.org/C77052588","wikidata":"https://www.wikidata.org/wiki/Q644307","display_name":"Constant false alarm rate","level":2,"score":0.44356489181518555},{"id":"https://openalex.org/C115874739","wikidata":"https://www.wikidata.org/wiki/Q825377","display_name":"Critical path method","level":2,"score":0.44007608294487},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4331373870372772},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.43096619844436646},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37240201234817505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1661788821220398},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15226930379867554},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13827472925186157},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13220450282096863},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11675789952278137},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2947146","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2947146","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08867880.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:03c1d35a283c447ea501816bf17fdb72","is_oa":true,"landing_page_url":"https://doaj.org/article/03c1d35a283c447ea501816bf17fdb72","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 147327-147344 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2947146","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2947146","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08867880.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1089740940","display_name":null,"funder_award_id":"NY219004","funder_id":"https://openalex.org/F4320323268","funder_display_name":"Nanjing University of Posts and Telecommunications"},{"id":"https://openalex.org/G8810638042","display_name":null,"funder_award_id":"2017YFB08029","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320323268","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34"},{"id":"https://openalex.org/F4320324852","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2981038883.pdf","grobid_xml":"https://content.openalex.org/works/W2981038883.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W78133515","https://openalex.org/W1548806133","https://openalex.org/W1710734607","https://openalex.org/W2029684113","https://openalex.org/W2049069230","https://openalex.org/W2101512909","https://openalex.org/W2102970979","https://openalex.org/W2113772484","https://openalex.org/W2113864883","https://openalex.org/W2119251836","https://openalex.org/W2138788987","https://openalex.org/W2172075419","https://openalex.org/W2293230997","https://openalex.org/W2294658213","https://openalex.org/W2514974017","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2758361015","https://openalex.org/W2788841915","https://openalex.org/W2794825356","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2884898944","https://openalex.org/W2885034081","https://openalex.org/W2888928288","https://openalex.org/W2963264685","https://openalex.org/W2963465913","https://openalex.org/W2963610883","https://openalex.org/W3104720502","https://openalex.org/W3151748982","https://openalex.org/W4237492309","https://openalex.org/W4255703437","https://openalex.org/W6675416627","https://openalex.org/W6746868706","https://openalex.org/W6748313888","https://openalex.org/W6754519360"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2295023886","https://openalex.org/W4285586714","https://openalex.org/W2751940653","https://openalex.org/W1970932400","https://openalex.org/W2914996832","https://openalex.org/W2140323279","https://openalex.org/W2755634893","https://openalex.org/W4245197793","https://openalex.org/W1994915990"],"abstract_inverted_index":{"The":[0],"second":[1],"generation":[2],"of":[3,119,169,197],"blockchain":[4,27],"represented":[5],"by":[6,162],"smart":[7,18,142],"contracts":[8,143],"has":[9],"been":[10],"developing":[11],"vigorously":[12],"in":[13],"recent":[14],"years.":[15],"However,":[16],"frequent":[17],"contract":[19],"vulnerability":[20,135,170],"incidents":[21],"pose":[22],"a":[23,94],"serious":[24],"risk":[25],"to":[26,43,51,111,195,207],"ecosystem":[28],"security.":[29],"Since":[30],"current":[31],"symbol":[32],"execution":[33,110,121],"tools":[34,150,174],"often":[35,175],"fall":[36],"into":[37],"path":[38,97,103],"explosion":[39],"and":[40,66,87,128],"thus":[41],"lead":[42],"inefficient":[44],"detection,":[45],"this":[46,91],"paper":[47,92,138],"expands":[48],"Mythril's":[49],"framework":[50],"optimize":[52],"its":[53],"performance.":[54],"Firstly,":[55],"it":[56,124,200],"finds":[57],"out":[58],"potential":[59],"vulnerable":[60],"code":[61,192],"regions":[62,193],"using":[63],"static":[64],"analysis":[65],"identifies":[67],"critical":[68,89,113],"paths":[69,114],"that":[70,80,178],"may":[71],"have":[72],"security":[73,126],"defects.":[74],"Then,":[75],"aiming":[76],"at":[77],"the":[78,155,167,186,203],"problem":[79],"traditional":[81],"search":[82,98],"algorithms":[83],"cannot":[84],"actively":[85],"locate":[86],"explore":[88],"paths,":[90],"presents":[93],"multi-objective":[95],"oriented":[96],"(MOPS)":[99],"strategy":[100,106],"based":[101,151],"on":[102,152,191],"priority.":[104],"This":[105,137],"guides":[107],"dynamic":[108],"symbolic":[109,153],"cover":[112],"quickly,":[115],"avoiding":[116],"blind":[117],"traversal":[118],"program":[120],"paths.":[122],"Finally,":[123],"describes":[125],"rules":[127],"proposes":[129],"corresponding":[130],"detection":[131],"logics":[132],"for":[133],"different":[134],"categories.":[136],"analyzes":[139],"over":[140],"1000":[141],"extracted":[144],"from":[145],"Etherscan.":[146],"Compared":[147],"with":[148],"existing":[149,173],"execution,":[154],"proposed":[156,187],"method":[157,188],"can":[158,201],"reduce":[159,202],"time":[160],"consumption":[161],"around":[163],"35%":[164],"while":[165],"ensuring":[166],"accuracy":[168],"detection.":[171],"Moreover,":[172],"issue":[176],"warnings":[177],"do":[179],"not":[180],"actually":[181],"cause":[182],"financial":[183],"losses.":[184],"But":[185],"only":[189],"concentrates":[190],"related":[194],"transfer":[196],"funds,":[198],"so":[199],"false":[204],"alarm":[205],"rate":[206],"some":[208],"extent.":[209]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}