{"id":"https://openalex.org/W4206790512","doi":"https://doi.org/10.1145/3503047.3503100","title":"ProExtor: Mining API Protocols for Program Vulnerability Detection","display_name":"ProExtor: Mining API Protocols for Program Vulnerability Detection","publication_year":2021,"publication_date":"2021-11-26","ids":{"openalex":"https://openalex.org/W4206790512","doi":"https://doi.org/10.1145/3503047.3503100"},"language":"en","primary_location":{"id":"doi:10.1145/3503047.3503100","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503047.3503100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Advanced Information Science and System","raw_type":"proceedings-article"},"type":"conference-paper","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/A5087013880","display_name":"Huijia Ye","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huijia Ye","raw_affiliation_strings":["Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070504444","display_name":"Juwei Rao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Juwei Rao","raw_affiliation_strings":["Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069526885","display_name":"Yang Shi","orcid":"https://orcid.org/0000-0001-6486-4340"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang Shi","raw_affiliation_strings":["Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100319823","display_name":"Zhihua Li","orcid":"https://orcid.org/0000-0001-7915-9484"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhihua Li","raw_affiliation_strings":["Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electric Power Dispatching Control Center, Meizhou Power Supply Bureau, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2014","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","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/T10260","display_name":"Software Engineering Research","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8408929109573364},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6488345265388489},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6426289081573486},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6112088561058044},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5788971781730652},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48674750328063965},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4680114984512329},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43449294567108154},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.4151373505592346},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3647143840789795},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35934725403785706},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3552626967430115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12185859680175781}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8408929109573364},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6488345265388489},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6426289081573486},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6112088561058044},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5788971781730652},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48674750328063965},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4680114984512329},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43449294567108154},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4151373505592346},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3647143840789795},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35934725403785706},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3552626967430115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12185859680175781},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3503047.3503100","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503047.3503100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Advanced Information Science and System","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W308864823","https://openalex.org/W1588555795","https://openalex.org/W2004865374","https://openalex.org/W2074001172","https://openalex.org/W2114801793","https://openalex.org/W2124081952","https://openalex.org/W2136264327","https://openalex.org/W2168821598","https://openalex.org/W2182673668","https://openalex.org/W2246685615","https://openalex.org/W2294664907","https://openalex.org/W2294718916","https://openalex.org/W3139990154","https://openalex.org/W4241531852","https://openalex.org/W6682639913"],"related_works":["https://openalex.org/W2749690376","https://openalex.org/W4281673905","https://openalex.org/W2997587123","https://openalex.org/W2788563018","https://openalex.org/W2786317006","https://openalex.org/W3042948800","https://openalex.org/W2943623134","https://openalex.org/W3206385231","https://openalex.org/W4285339164","https://openalex.org/W1566482460"],"abstract_inverted_index":{"API":[0,26,38,49,60],"protocols":[1,27,61],"play":[2],"an":[3,63,142],"important":[4],"role":[5],"in":[6,62],"program":[7,118],"verification,":[8,119],"testing,":[9,120],"evolution":[10],"and":[11,84,135,141],"other":[12],"phases":[13],"of":[14,71,138,159],"the":[15,68,109,129,157],"software":[16,130],"development":[17,158],"process.":[18],"Many":[19],"approaches":[20],"have":[21],"been":[22],"proposed":[23],"to":[24,144],"mine":[25],"automatically":[28],"from":[29,108],"programs.":[30],"However,":[31],"few":[32],"tools":[33],"are":[34,99],"available,":[35],"especially":[36],"dynamical":[37,48],"protocol":[39,50],"mining":[40,51],"tools.":[41,161],"In":[42],"this":[43],"paper,":[44],"we":[45],"present":[46],"a":[47,81,85,145,153],"tool":[52,58,140],"for":[53,101,117,156],"Java":[54,72],"programs:":[55],"ProExtor.":[56],"Our":[57],"mines":[59],"online":[64],"mode":[65],"based":[66],"on":[67],"instrumentation":[69],"technique":[70],"agent.":[73],"For":[74],"each":[75],"class,":[76],"it":[77],"produces":[78],"two":[79],"models:":[80],"probabilistic":[82,89,111],"model":[83,90,105],"deterministic":[86,104],"model.":[87],"The":[88,103],"will":[91],"be":[92,115,126],"evolved":[93],"persistently":[94],"when":[95],"more":[96],"application":[97,143],"programs":[98],"fed":[100],"mining.":[102],"is":[106,152],"transformed":[107],"latest":[110],"model,":[112],"which":[113],"can":[114,125],"used":[116],"evolution,":[121],"etc.":[122],"Both":[123],"models":[124],"visualized":[127],"with":[128],"Graphviz.":[131],"We":[132,148],"elaborate":[133],"design":[134],"implementation":[136],"details":[137],"our":[139,150],"real-world":[146],"program.":[147],"believe":[149],"work":[151],"good":[154],"reference":[155],"similar":[160]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}
