{"id":"https://openalex.org/W7118165745","doi":"https://doi.org/10.1109/access.2025.3650540","title":"Type Region Model and Its Application in Program Static Detection","display_name":"Type Region Model and Its Application in Program Static Detection","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7118165745","doi":"https://doi.org/10.1109/access.2025.3650540"},"language":null,"primary_location":{"id":"doi:10.1109/access.2025.3650540","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3650540","pdf_url":null,"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":null,"license_id":null,"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://doi.org/10.1109/access.2025.3650540","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121950913","display_name":"Xuejian Li","orcid":null},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xuejian Li","raw_affiliation_strings":["School of Computer Science and Technology, Anhui University, Hefei, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Anhui University, Hefei, China","institution_ids":["https://openalex.org/I143868143"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121943916","display_name":"Linlin Wei","orcid":null},"institutions":[{"id":"https://openalex.org/I143868143","display_name":"Anhui University","ror":"https://ror.org/05th6yx34","country_code":"CN","type":"education","lineage":["https://openalex.org/I143868143"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linlin Wei","raw_affiliation_strings":["School of Computer Science and Technology, Anhui University, Hefei, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Anhui University, Hefei, China","institution_ids":["https://openalex.org/I143868143"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5121950913"],"corresponding_institution_ids":["https://openalex.org/I143868143"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0516349,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":null,"first_page":"4657","last_page":"4674"},"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.5490999817848206,"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.5490999817848206,"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.17069999873638153,"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/T10260","display_name":"Software Engineering Research","score":0.07580000162124634,"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/pointer","display_name":"Pointer (user interface)","score":0.6948000192642212},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.6358000040054321},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.5674999952316284},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.5354999899864197},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.501800000667572},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.4796000123023987},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4023999869823456},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.3944000005722046},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.392300009727478},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.38260000944137573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7763000130653381},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6948000192642212},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.6358000040054321},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.5674999952316284},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.5354999899864197},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.501800000667572},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.4796000123023987},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4099000096321106},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4023999869823456},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.3944000005722046},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.392300009727478},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3869999945163727},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.38260000944137573},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.36899998784065247},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.36820000410079956},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3601999878883362},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.35740000009536743},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3424000144004822},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.33149999380111694},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.31949999928474426},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.3154999911785126},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.2939000129699707},{"id":"https://openalex.org/C82214349","wikidata":"https://www.wikidata.org/wiki/Q657339","display_name":"Software metric","level":5,"score":0.2872999906539917},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.27869999408721924},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.272599995136261},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2689000070095062},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2630000114440918},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2574999928474426},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/access.2025.3650540","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3650540","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/access.2025.3650540","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3650540","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5156201720237732}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W266243929","https://openalex.org/W1480909796","https://openalex.org/W1995109607","https://openalex.org/W2011367000","https://openalex.org/W2094382938","https://openalex.org/W2101512909","https://openalex.org/W2126094482","https://openalex.org/W2129487583","https://openalex.org/W2797952382","https://openalex.org/W2800597652","https://openalex.org/W2964232059","https://openalex.org/W2989360268","https://openalex.org/W3120385058","https://openalex.org/W3160978791","https://openalex.org/W4234542549","https://openalex.org/W4240399292","https://openalex.org/W4248532171","https://openalex.org/W4323857800"],"related_works":[],"abstract_inverted_index":{"High-assurance":[0],"software":[1,9],"has":[2],"become":[3],"a":[4,83,153],"key":[5],"goal":[6],"in":[7,12,54,60,168],"modern":[8],"development,":[10],"especially":[11],"the":[13,48,63,88,107,139],"design":[14],"of":[15,91,110,170],"embedded":[16],"kernel":[17],"systems":[18],"and":[19,25,68,93,100,129,158],"other":[20],"fields":[21],"where":[22],"high":[23],"reliability":[24],"security":[26],"are":[27],"paramount.":[28],"However,":[29],"programming":[30],"languages":[31],"such":[32,43],"as":[33,44],"C,":[34],"characterized":[35],"by":[36],"pointer":[37,45,99],"usage,":[38],"introduce":[39],"complex":[40],"variable":[41,92],"relationships":[42,65],"aliasing.":[46],"Furthermore,":[47],"support":[49],"for":[50,87,165],"arbitrary":[51],"type":[52,70,84,130],"conversions":[53],"C":[55],"complicates":[56],"program":[57,74,108],"analysis,":[58],"particularly":[59],"adequately":[61],"characterizing":[62],"diverse":[64],"among":[66],"variables":[67],"handling":[69],"conversion":[71],"issues":[72],"during":[73],"execution.":[75],"To":[76],"address":[77],"these":[78],"challenges,":[79],"this":[80,150],"paper":[81],"introduces":[82],"region":[85],"model":[86,97],"formal":[89],"description":[90],"value":[94],"information.":[95],"The":[96,132,145],"constructs":[98],"heap":[101],"memory":[102,127],"object":[103],"representations":[104],"to":[105],"characterize":[106],"states":[109],"relevant":[111],"variables.":[112],"Based":[113],"on":[114],"predefined":[115],"vulnerability":[116],"detection":[117,135,167],"rules,":[118],"it":[119,163],"subsequently":[120],"detects":[121],"potential":[122],"defects":[123],"arising":[124],"from":[125],"pointers,":[126],"operations,":[128],"conversions.":[131],"proposed":[133],"static":[134],"methodwas":[136],"evaluated":[137],"using":[138],"Juliet":[140],"C/C++":[141],"1.3":[142],"test":[143],"suite.":[144],"experimental":[146],"results":[147],"demonstrate":[148],"that":[149],"method":[151],"achieves":[152],"favorable":[154],"balance":[155],"between":[156],"precision":[157],"false":[159],"positive":[160],"rates,":[161],"making":[162],"suitable":[164],"defect":[166],"programs":[169],"moderate":[171],"complexity.":[172]},"counts_by_year":[],"updated_date":"2026-01-14T23:40:02.550235","created_date":"2026-01-05T00:00:00"}