{"id":"https://openalex.org/W2115261982","doi":"https://doi.org/10.1109/ares.2008.18","title":"Type and Effect Annotations for Safe Memory Access in C","display_name":"Type and Effect Annotations for Safe Memory Access in C","publication_year":2008,"publication_date":"2008-03-01","ids":{"openalex":"https://openalex.org/W2115261982","doi":"https://doi.org/10.1109/ares.2008.18","mag":"2115261982"},"language":"en","primary_location":{"id":"doi:10.1109/ares.2008.18","doi":"https://doi.org/10.1109/ares.2008.18","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ares.2008.18","pdf_url":null,"source":{"id":"https://openalex.org/S4363608926","display_name":"International Conference on Availability, Reliability and Security (ARES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 Third International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5055445271","display_name":"Syrine Tlili","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Syrine Tlili","raw_affiliation_strings":["Computer Security Laboratory (CSL), Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QUE, Canada","Comput. Security Lab., Concordia Univ., Montreal, QC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Security Laboratory (CSL), Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Comput. Security Lab., Concordia Univ., Montreal, QC","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028605138","display_name":"Mourad Debbabi","orcid":"https://orcid.org/0000-0003-3015-3043","observed_orcids":["https://orcid.org/0000-0003-3015-3043"]},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mourad Debbabi","raw_affiliation_strings":["Computer Security Laboratory (CSL), Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QUE, Canada","Comput. Security Lab., Concordia Univ., Montreal, QC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Security Laboratory (CSL), Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Comput. Security Lab., Concordia Univ., Montreal, QC","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":0.355,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.43161634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"302","last_page":"309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9794999957084656,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9794999957084656,"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.01759999990463257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.0010999999940395355,"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/memory-safety","display_name":"memory safety","score":0.722000002861023},{"id":"https://openalex.org/keywords/c-programming-language","display_name":"C programming language","score":0.9210000038146973},{"id":"https://openalex.org/keywords/memory-errors","display_name":"memory errors","score":0.6010000109672546},{"id":"https://openalex.org/keywords/aliasing","display_name":"aliasing","score":0.6710000038146973},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.7310000061988831},{"id":"https://openalex.org/keywords/flow-sensitive-analysis","display_name":"flow-sensitive analysis","score":0.6919999718666077},{"id":"https://openalex.org/keywords/temporal-error","display_name":"temporal error","score":0.5529999732971191}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8507857322692871},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.7494120597839355},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.7254239320755005},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7160117626190186},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.5822567939758301},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5228543877601624},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5164682865142822},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.515472948551178},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5036470293998718},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4253199100494385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35466986894607544},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2924697697162628},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16838350892066956},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1439785659313202},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ares.2008.18","doi":"https://doi.org/10.1109/ares.2008.18","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ares.2008.18","pdf_url":null,"source":{"id":"https://openalex.org/S4363608926","display_name":"International Conference on Availability, Reliability and Security (ARES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 Third International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.477.34","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.477.34","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pdf.aminer.org/000/308/995/detecting_memory_access_errors_with_flow_sensitive_conditional_range_analysis.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W329789253","https://openalex.org/W1558848517","https://openalex.org/W1600965014","https://openalex.org/W1963569294","https://openalex.org/W1973326708","https://openalex.org/W1981962444","https://openalex.org/W2002771912","https://openalex.org/W2119736157","https://openalex.org/W2140611647","https://openalex.org/W2142837069","https://openalex.org/W2156268601","https://openalex.org/W2162284942","https://openalex.org/W2171480813","https://openalex.org/W4213079124","https://openalex.org/W4234020632","https://openalex.org/W4242057943"],"related_works":["https://openalex.org/W2148349940","https://openalex.org/W2063428900","https://openalex.org/W1535846614","https://openalex.org/W1530333203","https://openalex.org/W1736153640","https://openalex.org/W175683740","https://openalex.org/W2269942371","https://openalex.org/W7100257528","https://openalex.org/W2102646107","https://openalex.org/W2085931895"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,88],"present":[4,111],"a":[5],"novel":[6],"type":[7,24,75,91,118],"and":[8,29,81,102,120],"effect":[9],"analysis":[10,70],"for":[11],"detecting":[12],"memory":[13],"errors":[14,44],"in":[15],"C":[16,23,99],"source":[17],"code.":[18],"We":[19,37,110],"extend":[20],"the":[21,46,53,105],"standard":[22],"system":[25,92],"with":[26,52,93,98],"effect,":[27],"region,":[28],"host":[30],"annotations":[31,76,119],"that":[32,115],"hold":[33],"valuable":[34],"security":[35,40,59,122],"information.":[36],"define":[38],"static":[39],"checks":[41,49,123],"to":[42,61,73,82,96,103],"detect":[43,84],"using":[45],"annotations.":[47],"The":[48,65],"are":[50],"compliant":[51],"ANSI-C":[54],"standard,":[55],"while":[56],"adding":[57],"more":[58],"restrictions":[60],"prevent":[62],"runtime":[63],"errors.":[64,86],"flow-sensitivity":[66],"nature":[67],"of":[68,107],"our":[69,90,108],"enables":[71],"us":[72],"modify":[74],"at":[77],"each":[78],"program":[79],"point":[80],"efficiently":[83],"temporal":[85],"Moreover,":[87],"endow":[89],"alias":[94],"information":[95],"deal":[97],"aliasing":[100],"pitfalls":[101],"improve":[104],"precision":[106],"analysis.":[109],"an":[112],"inference":[113],"algorithm":[114],"automatically":[116],"infers":[117],"applies":[121],"without":[124],"programmer's":[125],"intervention.":[126]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}