{"id":"https://openalex.org/W7140223933","doi":"https://doi.org/10.48550/arxiv.2603.20637","title":"AEGIS: From Clues to Verdicts -- Graph-Guided Deep Vulnerability Reasoning via Dialectics and Meta-Auditing","display_name":"AEGIS: From Clues to Verdicts -- Graph-Guided Deep Vulnerability Reasoning via Dialectics and Meta-Auditing","publication_year":2026,"publication_date":"2026-03-21","ids":{"openalex":"https://openalex.org/W7140223933","doi":"https://doi.org/10.48550/arxiv.2603.20637"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.20637","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.20637","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.20637","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Fang, Sen","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fang, Sen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ding, Weiyuan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ding, Weiyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Cao, Zhezhen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cao, Zhezhen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yang, Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Zhou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Xu, Bowen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Bowen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.14229999482631683,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.14229999482631683,"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/T12380","display_name":"Authorship Attribution and Profiling","score":0.1023000031709671,"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/T10260","display_name":"Software Engineering Research","score":0.10040000081062317,"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/rhetorical-question","display_name":"Rhetorical question","score":0.5701000094413757},{"id":"https://openalex.org/keywords/misrepresentation","display_name":"Misrepresentation","score":0.48809999227523804},{"id":"https://openalex.org/keywords/dialectic","display_name":"Dialectic","score":0.4677000045776367},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.4059000015258789},{"id":"https://openalex.org/keywords/veto","display_name":"Veto","score":0.38199999928474426},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3799999952316284},{"id":"https://openalex.org/keywords/speculation","display_name":"Speculation","score":0.3621000051498413},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.3571999967098236},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.35010001063346863},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.3424000144004822}],"concepts":[{"id":"https://openalex.org/C192562157","wikidata":"https://www.wikidata.org/wiki/Q316694","display_name":"Rhetorical question","level":2,"score":0.5701000094413757},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5629000067710876},{"id":"https://openalex.org/C2779602731","wikidata":"https://www.wikidata.org/wiki/Q30067981","display_name":"Misrepresentation","level":2,"score":0.48809999227523804},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4778999984264374},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.4677000045776367},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4059000015258789},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38280001282691956},{"id":"https://openalex.org/C2776331573","wikidata":"https://www.wikidata.org/wiki/Q178074","display_name":"Veto","level":3,"score":0.38199999928474426},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3799999952316284},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.373199999332428},{"id":"https://openalex.org/C47941915","wikidata":"https://www.wikidata.org/wiki/Q107885","display_name":"Speculation","level":2,"score":0.3621000051498413},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.35010001063346863},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3452000021934509},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.3368000090122223},{"id":"https://openalex.org/C166052673","wikidata":"https://www.wikidata.org/wiki/Q83021","display_name":"Empirical evidence","level":2,"score":0.32030001282691956},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3156999945640564},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.30309998989105225},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.29760000109672546},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C2779816988","wikidata":"https://www.wikidata.org/wiki/Q305418","display_name":"Abandonment (legal)","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.2702000141143799},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.26980000734329224},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C2777175534","wikidata":"https://www.wikidata.org/wiki/Q222288","display_name":"Verisimilitude","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C2776946740","wikidata":"https://www.wikidata.org/wiki/Q358652","display_name":"Deliberation","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C2779628075","wikidata":"https://www.wikidata.org/wiki/Q1253258","display_name":"Downgrade","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C511192102","wikidata":"https://www.wikidata.org/wiki/Q5156948","display_name":"Comprehension","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.20637","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.20637","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.20637","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.20637","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7835133671760559,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"are":[4,68],"increasingly":[5],"adopted":[6],"for":[7,123,147],"vulnerability":[8],"detection,":[9],"yet":[10],"their":[11],"reasoning":[12,32],"remains":[13],"fundamentally":[14],"unsound.":[15],"We":[16],"identify":[17],"a":[18,40,84,98,104,130,140,179],"root":[19],"cause":[20],"shared":[21],"by":[22,70,103,207],"both":[23],"major":[24],"mitigation":[25],"paradigms":[26],"(agent-based":[27],"debate":[28],"and":[29,52,148],"retrieval":[30,53],"augmentation):":[31],"in":[33],"an":[34,152,216],"ungrounded":[35,92],"deliberative":[36],"space":[37],"that":[38,88,176],"lacks":[39],"bounded,":[41],"hypothesis-specific":[42],"evidence":[43,138],"base.":[44],"Without":[45],"such":[46],"grounding,":[47],"agents":[48],"fabricate":[49],"cross-function":[50],"dependencies,":[51],"heuristics":[54],"supply":[55],"generic":[56],"knowledge":[57],"decoupled":[58],"from":[59,91],"the":[60,65,160,171,192,203],"repository's":[61],"data-flow":[62],"topology.":[63],"Consequently,":[64],"resulting":[66],"conclusions":[67],"driven":[69],"rhetorical":[71],"persuasiveness":[72],"rather":[73],"than":[74],"verifiable":[75],"facts.":[76],"To":[77,187],"ground":[78],"this":[79,136,190,199],"deliberation,":[80],"we":[81],"present":[82],"AEGIS,":[83],"novel":[85],"multi-agent":[86],"framework":[87],"shifts":[89],"detection":[90],"speculation":[93],"to":[94,107,165,195,209,212],"forensic":[95],"verification":[96],"over":[97,129],"closed":[99,137],"factual":[100],"substrate.":[101],"Guided":[102],"\"From":[105],"Clue":[106],"Verdict\"":[108],"philosophy,":[109],"AEGIS":[110,177],"first":[111,193],"identifies":[112],"suspicious":[113],"code":[114],"anomalies":[115],"(clues),":[116],"then":[117],"dynamically":[118],"reconstructs":[119],"per-variable":[120],"dependency":[121],"chains":[122],"each":[124],"clue":[125],"via":[126],"on-demand":[127],"slicing":[128],"repository-level":[131],"Code":[132],"Property":[133],"Graph.":[134],"Within":[135],"boundary,":[139],"Verifier":[141],"Agent":[142,155],"constructs":[143],"competing":[144],"dialectical":[145],"arguments":[146],"against":[149,159],"exploitability,":[150],"while":[151],"independent":[153],"Audit":[154],"scrutinizes":[156],"every":[157],"claim":[158],"trace,":[161],"exercising":[162],"veto":[163],"power":[164],"prevent":[166],"hallucinated":[167],"verdicts.":[168],"Evaluation":[169],"on":[170,198],"rigorous":[172],"PrimeVul":[173],"dataset":[174],"demonstrates":[175],"establishes":[178],"new":[180],"state-of-the-art,":[181],"achieving":[182],"122":[183],"Pair-wise":[184],"Correct":[185],"Predictions.":[186],"our":[188],"knowledge,":[189],"is":[191],"approach":[194],"surpass":[196],"100":[197],"benchmark.":[200],"It":[201],"reduces":[202],"false":[204],"positive":[205],"rate":[206],"up":[208],"54.40%":[210],"compared":[211],"leading":[213],"baselines,":[214],"at":[215],"average":[217],"cost":[218],"of":[219],"$0.09":[220],"per":[221],"sample":[222],"without":[223],"any":[224],"task-specific":[225],"training.":[226]},"counts_by_year":[],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2026-03-25T00:00:00"}
