{"id":"https://openalex.org/W7141575333","doi":"https://doi.org/10.48550/arxiv.2603.24837","title":"Bridging Code Property Graphs and Language Models for Program Analysis","display_name":"Bridging Code Property Graphs and Language Models for Program Analysis","publication_year":2026,"publication_date":"2026-03-25","ids":{"openalex":"https://openalex.org/W7141575333","doi":"https://doi.org/10.48550/arxiv.2603.24837"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.24837","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.24837","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.24837","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016721206","display_name":"Ahmed Lekssays","orcid":"https://orcid.org/0000-0001-5783-8638"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lekssays, Ahmed","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5016721206"],"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/T10260","display_name":"Software Engineering Research","score":0.2720000147819519,"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.2720000147819519,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.23160000145435333,"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/T11424","display_name":"Security and Verification in Computing","score":0.19220000505447388,"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/codebase","display_name":"Codebase","score":0.7142000198364258},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4578000009059906},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.4494999945163727},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4271000027656555},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4099000096321106},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.4097000062465668},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4074999988079071},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.3662000000476837},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.33550000190734863}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8385999798774719},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.7142000198364258},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5755000114440918},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4578000009059906},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.4494999945163727},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4271000027656555},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4099000096321106},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.4097000062465668},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4074999988079071},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3871000111103058},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.38109999895095825},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.3662000000476837},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.33550000190734863},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.3174999952316284},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.3160000145435333},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C2212953","wikidata":"https://www.wikidata.org/wiki/Q948454","display_name":"Transaction log","level":3,"score":0.2872999906539917},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.2728999853134155},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.2689000070095062},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.25850000977516174},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.24837","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.24837","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.24837","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.24837","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":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5818581581115723}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"face":[4],"critical":[5],"challenges":[6],"when":[7],"analyzing":[8],"security":[9],"vulnerabilities":[10,51],"in":[11,143,157],"real":[12],"world":[13],"codebases:":[14],"token":[15],"limits":[16],"prevent":[17],"loading":[18],"entire":[19,172],"repositories,":[20,173],"code":[21,48,103,169],"embeddings":[22],"fail":[23],"to":[24,33,44,83,129,166],"capture":[25],"inter":[26],"procedural":[27],"data":[28,98],"flows,":[29],"and":[30,56,101,136,145,178],"LLMs":[31,82,165],"struggle":[32],"generate":[34,84],"complex":[35,85],"static":[36],"analysis":[37],"queries.":[38],"These":[39],"limitations":[40],"force":[41],"existing":[42],"approaches":[43],"operate":[45],"on":[46,159],"isolated":[47],"snippets,":[49],"missing":[50],"that":[52,69],"span":[53],"multiple":[54],"functions":[55],"files.":[57],"We":[58,115],"introduce":[59],"codebadger,":[60],"an":[61,125,152],"open":[62],"source":[63],"Model":[64],"Context":[65],"Protocol":[66],"(MCP)":[67],"server":[68],"integrates":[70],"Joern's":[71],"Code":[72],"Property":[73],"Graph":[74],"(CPG)":[75],"engine":[76],"with":[77],"LLMs.":[78],"Rather":[79],"than":[80],"requiring":[81],"CPG":[86],"queries,":[87],"codebadger":[88,163],"provides":[89],"high":[90],"level":[91],"tools":[92],"for":[93,151],"program":[94,179],"slicing,":[95],"taint":[96],"tracking,":[97],"flow":[99],"analysis,":[100],"semantic":[102],"navigation,":[104],"enabling":[105],"targeted":[106],"exploration":[107],"of":[108],"large":[109],"codebases":[110],"without":[111],"exhaustive":[112],"file":[113],"reading.":[114],"demonstrate":[116],"its":[117],"effectiveness":[118],"through":[119],"three":[120],"use":[121],"cases:":[122],"(1)":[123],"navigating":[124],"8,000":[126],"method":[127],"codebase":[128],"audit":[130],"memory":[131],"safety":[132],"patterns,":[133],"(2)":[134],"discovering":[135],"exploiting":[137],"a":[138,148],"previously":[139],"unreported":[140],"buffer":[141],"overflow":[142,154],"libtiff,":[144],"(3)":[146],"generating":[147],"correct":[149],"patch":[150],"integer":[153],"vulnerability":[155,175],"(CVE-2025-6021)":[156],"libxml2":[158],"the":[160],"first":[161],"attempt.":[162],"enables":[164],"reason":[167],"about":[168],"semantically":[170],"across":[171],"supporting":[174],"discovery,":[176],"patching,":[177],"comprehension":[180],"at":[181],"scale.":[182]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-28T00:00:00"}