{"id":"https://openalex.org/W7167712538","doi":"https://doi.org/10.48550/arxiv.2607.05474","title":"ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities","display_name":"ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities","publication_year":2026,"publication_date":"2026-07-06","ids":{"openalex":"https://openalex.org/W7167712538","doi":"https://doi.org/10.48550/arxiv.2607.05474"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.05474","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.05474","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.05474","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082046306","display_name":"Yuanmin Xie","orcid":"https://orcid.org/0009-0004-6800-4136"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Yuanmin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090578536","display_name":"X . Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Xiangfan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140289382","display_name":"Wenhao Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Wenhao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100414046","display_name":"Lingyun Ying","orcid":"https://orcid.org/0000-0001-7445-9103"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ying, Lingyun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037451675","display_name":"Puzhuo Liu","orcid":"https://orcid.org/0000-0002-8995-5924"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Puzhuo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070403715","display_name":"H.M. Qu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qu, Haipeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020183585","display_name":"Zhongyuan Chen","orcid":"https://orcid.org/0000-0001-6887-2268"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Zhongyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140270695","display_name":"Min Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Min","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Chengnian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"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":null,"issue":null,"first_page":null,"last_page":null},"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.3025999963283539,"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.3025999963283539,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.20469999313354492,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.19840000569820404,"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/executable","display_name":"Executable","score":0.8109999895095825},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7516000270843506},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7008000016212463},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6277999877929688},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6251000165939331},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5630999803543091},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.414900004863739},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.3910999894142151},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.36160001158714294}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.842199981212616},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8109999895095825},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7516000270843506},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7008000016212463},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6277999877929688},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6251000165939331},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5630999803543091},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.414900004863739},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3944999873638153},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3930000066757202},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.3910999894142151},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.36160001158714294},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32429999113082886},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.32199999690055847},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3188000023365021},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.31540000438690186},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.31310001015663147},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.2851000130176544},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2784000039100647},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2754000127315521},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.05474","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.05474","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.05474","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.05474","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.584762692451477,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Algorithmic":[0],"Complexity":[1],"Vulnerabilities":[2],"(ACVs)":[3],"arise":[4],"when":[5],"adversarial":[6],"inputs":[7,139],"trigger":[8],"worst-case":[9,142],"execution":[10,103],"behavior,":[11],"causing":[12],"severe":[13],"performance":[14],"degradation":[15],"or":[16,64],"Denial-of-Service":[17],"conditions.":[18],"A":[19],"key":[20],"but":[21,67],"underexplored":[22],"source":[23],"is":[24],"shadow":[25],"complexity:":[26],"non-trivial":[27],"computational":[28],"costs":[29,39],"hidden":[30,225],"inside":[31],"seemingly":[32],"benign":[33],"standard":[34],"library":[35],"APIs.":[36],"Because":[37],"these":[38],"are":[40,69],"invisible":[41],"at":[42],"call":[43],"sites,":[44],"attackers":[45],"can":[46,223],"exploit":[47],"them":[48],"to":[49,76,140,191],"induce":[50],"unexpected":[51],"superlinear":[52],"runtime":[53,83,161],"behavior.":[54,143],"Existing":[55],"ACV":[56],"detectors":[57],"often":[58],"rely":[59],"on":[60,81,174],"fuzzing,":[61],"symbolic":[62],"execution,":[63],"hybrid":[65],"analysis,":[66,99],"they":[68],"usually":[70],"language-specific,":[71],"require":[72],"substantial":[73],"manual":[74],"effort":[75],"construct":[77],"harnesses,":[78],"and":[79,90,105,136,151,167,200,213],"depend":[80],"heavy":[82],"instrumentation.":[84],"We":[85,171,187],"present":[86],"ShadowProbe,":[87],"a":[88,115],"scalable":[89],"language-extensible":[91],"framework":[92],"for":[93,122],"discovering":[94],"ACVs":[95],"through":[96],"lightweight":[97],"static":[98],"automated":[100],"reconstruction":[101],"of":[102,208],"contexts,":[104],"Large":[106],"Language":[107],"Model":[108],"(LLM)":[109],"assisted":[110],"test":[111],"generation.":[112],"ShadowProbe":[113,173,222],"uses":[114],"structured":[116],"multi-stage":[117],"pipeline:":[118],"it":[119,179,190],"statically":[120],"screens":[121],"candidate":[123],"functions":[124],"guided":[125],"by":[126,216],"shadow-complexity":[127],"signals,":[128],"reconstructs":[129],"minimal":[130],"executable":[131],"contexts":[132],"from":[133,160],"project-level":[134],"symbols,":[135],"synthesizes":[137],"size-controlled":[138],"probe":[141],"It":[144],"then":[145],"validates":[146],"candidates":[147],"using":[148],"execution-time":[149],"measurements":[150],"robust":[152],"statistical":[153],"growth":[154],"inference,":[155],"separating":[156],"true":[157],"algorithmic":[158,226],"blowups":[159],"noise":[162],"such":[163],"as":[164],"garbage":[165],"collection":[166],"JIT":[168],"compilation":[169],"effects.":[170],"evaluate":[172],"the":[175,196],"WISE":[176],"benchmark,":[177],"where":[178],"consistently":[180],"improves":[181],"analysis":[182],"efficiency":[183],"over":[184],"existing":[185],"approaches.":[186],"further":[188],"apply":[189],"large-scale":[192],"systems":[193],"including":[194],"CPython,":[195],"JDK,":[197],"Zig,":[198],"Rustc,":[199],"vLLM,":[201],"uncovering":[202],"many":[203,207],"previously":[204],"unknown":[205],"ACVs,":[206],"which":[209],"have":[210],"been":[211],"confirmed":[212],"partially":[214],"remediated":[215],"maintainers.":[217],"These":[218],"results":[219],"show":[220],"that":[221],"identify":[224],"risks":[227],"across":[228],"diverse":[229],"real-world":[230],"codebases.":[231]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-09T00:00:00"}