{"id":"https://openalex.org/W2027256755","doi":"https://doi.org/10.1109/dsn.2013.6575307","title":"Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software","display_name":"Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2027256755","doi":"https://doi.org/10.1109/dsn.2013.6575307","mag":"2027256755"},"language":"en","primary_location":{"id":"doi:10.1109/dsn.2013.6575307","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn.2013.6575307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-00918079/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034435303","display_name":"Suman Saha","orcid":"https://orcid.org/0000-0002-2601-3243"},"institutions":[{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Suman Saha","raw_affiliation_strings":["LIP6-Rega, France","LIP6-Regal, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6-Rega, France","institution_ids":["https://openalex.org/I4210159731"]},{"raw_affiliation_string":"LIP6-Regal, France","institution_ids":["https://openalex.org/I4210159731"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010173778","display_name":"Jean-Pierre Lozi","orcid":"https://orcid.org/0009-0002-2876-8292"},"institutions":[{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Lozi","raw_affiliation_strings":["LIP6-Rega, France","LIP6-Regal, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6-Rega, France","institution_ids":["https://openalex.org/I4210159731"]},{"raw_affiliation_string":"LIP6-Regal, France","institution_ids":["https://openalex.org/I4210159731"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000005233","display_name":"Ga\u00ebl Thomas","orcid":"https://orcid.org/0000-0002-9444-1071"},"institutions":[{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gael Thomas","raw_affiliation_strings":["LIP6-Rega, France","LIP6-Regal, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6-Rega, France","institution_ids":["https://openalex.org/I4210159731"]},{"raw_affiliation_string":"LIP6-Regal, France","institution_ids":["https://openalex.org/I4210159731"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103879150","display_name":"Julia L. Lawall","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julia L. Lawall","raw_affiliation_strings":["LIP6-Rega, Inria, France","Inria, Lip6 Regal, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6-Rega, Inria, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria, Lip6 Regal, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106355298","display_name":"Gilles Muller","orcid":"https://orcid.org/0000-0002-0000-8569"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Muller","raw_affiliation_strings":["LIP6-Rega, Inria, France","Inria, Lip6 Regal, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6-Rega, Inria, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria, Lip6 Regal, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":67,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/crash","display_name":"Crash","score":0.770750880241394},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7618078589439392},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5952120423316956},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5754458904266357},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5300709009170532},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.5248194336891174},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.454256534576416},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.4240993857383728},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4226977825164795},{"id":"https://openalex.org/keywords/software-maintenance","display_name":"Software maintenance","score":0.4132632315158844},{"id":"https://openalex.org/keywords/memory-errors","display_name":"Memory errors","score":0.4124827980995178},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.41208162903785706},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.380876362323761},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3648184537887573},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.35744553804397583},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28691598773002625},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10895270109176636},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10032263398170471}],"concepts":[{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.770750880241394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7618078589439392},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5952120423316956},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5754458904266357},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5300709009170532},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.5248194336891174},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.454256534576416},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.4240993857383728},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4226977825164795},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.4132632315158844},{"id":"https://openalex.org/C119907115","wikidata":"https://www.wikidata.org/wiki/Q6815725","display_name":"Memory errors","level":3,"score":0.4124827980995178},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41208162903785706},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.380876362323761},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3648184537887573},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35744553804397583},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28691598773002625},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10895270109176636},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10032263398170471},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C100660578","wikidata":"https://www.wikidata.org/wiki/Q18733","display_name":"Recall","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/dsn.2013.6575307","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn.2013.6575307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00918079v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00918079","pdf_url":"https://inria.hal.science/hal-00918079/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE/IFIP, Jun 2013, Budapest, Hungary. pp.1-12, ⟨10.1109/DSN.2013.6575307⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.647.622","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.647.622","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pagesperso-systeme.lip6.fr/Gilles.Muller/papers/dsn2013-hector.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.672.6941","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.6941","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pagesperso-systeme.lip6.fr/Julia.Lawall/dsn2013.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00918079v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00918079","pdf_url":"https://inria.hal.science/hal-00918079/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE/IFIP, Jun 2013, Budapest, Hungary. pp.1-12, ⟨10.1109/DSN.2013.6575307⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2027256755.pdf","grobid_xml":"https://content.openalex.org/works/W2027256755.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W1531717019","https://openalex.org/W1545684573","https://openalex.org/W1968027261","https://openalex.org/W2008626182","https://openalex.org/W2025677988","https://openalex.org/W2026675907","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2059215200","https://openalex.org/W2066859698","https://openalex.org/W2093938715","https://openalex.org/W2095551048","https://openalex.org/W2104292255","https://openalex.org/W2110514745","https://openalex.org/W2118194668","https://openalex.org/W2119068918","https://openalex.org/W2127321265","https://openalex.org/W2127708558","https://openalex.org/W2129262850","https://openalex.org/W2130875695","https://openalex.org/W2131954495","https://openalex.org/W2138546883","https://openalex.org/W2146878883","https://openalex.org/W2152874840","https://openalex.org/W2155061608","https://openalex.org/W2156841542","https://openalex.org/W2156858199","https://openalex.org/W2162422574","https://openalex.org/W2170378453","https://openalex.org/W2171471938","https://openalex.org/W2246102742","https://openalex.org/W2295399529","https://openalex.org/W3012979157","https://openalex.org/W4242902291","https://openalex.org/W6632492962","https://openalex.org/W6642147301","https://openalex.org/W6667409668","https://openalex.org/W6677142365","https://openalex.org/W6683248228"],"related_works":["https://openalex.org/W2049696050","https://openalex.org/W2187070056","https://openalex.org/W2161824294","https://openalex.org/W2186558192","https://openalex.org/W2005453250","https://openalex.org/W2113375596","https://openalex.org/W1972464824","https://openalex.org/W313417401","https://openalex.org/W2546998359","https://openalex.org/W2244854480"],"abstract_inverted_index":{"Omitting":[0],"resource-release":[1,61,87],"operations":[2],"in":[3,40,90,121],"systems":[4,91,123],"error":[5],"handling":[6],"code":[7,57,107],"can":[8],"lead":[9],"to":[10,22,85,143],"memory":[11],"leaks,":[12],"crashes,":[13],"and":[14,34],"deadlocks.":[15],"Finding":[16],"omission":[17,88],"faults":[18,77,89,120,137],"is":[19],"challenging":[20],"due":[21],"the":[23,29,35,41,97,105,145],"difficulty":[24],"of":[25,31,37,108,135],"reproducing":[26],"system":[27,32],"errors,":[28],"diversity":[30],"resources,":[33],"lack":[36],"appropriate":[38],"abstractions":[39],"C":[42],"language.":[43],"To":[44],"address":[45],"these":[46,136],"issues,":[47],"numerous":[48],"approaches":[49,65],"have":[50,116],"been":[51],"proposed":[52],"that":[53],"globally":[54],"scan":[55],"a":[56,81,129],"base":[58],"for":[59,68],"common":[60],"operations.":[62],"Such":[63],"macroscopic":[64],"are":[66],"notorious":[67],"their":[69],"many":[70,76],"false":[71,131],"positives,":[72],"while":[73],"also":[74],"leaving":[75],"undetected.":[78],"We":[79],"propose":[80],"novel":[82],"microscopic":[83],"approach":[84,102],"finding":[86],"software.":[92],"Rather":[93],"than":[94],"generalizing":[95],"from":[96],"entire":[98,146],"source":[99],"code,":[100],"our":[101,112],"focuses":[103],"on":[104],"error-handling":[106],"each":[109],"function.":[110],"Using":[111],"tool,":[113],"Hector,":[114],"we":[115],"found":[117],"over":[118],"370":[119],"six":[122],"software":[124],"projects,":[125],"including":[126],"Linux,":[127],"with":[128],"23%":[130],"positive":[132],"rate.":[133],"Some":[134],"allow":[138],"an":[139],"unprivileged":[140],"malicious":[141],"user":[142],"crash":[144],"system.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}