{"id":"https://openalex.org/W3003421029","doi":"https://doi.org/10.1109/indin41052.2019.8972088","title":"Cargo-call-stack Static Call-stack Analysis for Rust","display_name":"Cargo-call-stack Static Call-stack Analysis for Rust","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W3003421029","doi":"https://doi.org/10.1109/indin41052.2019.8972088","mag":"3003421029"},"language":"en","primary_location":{"id":"doi:10.1109/indin41052.2019.8972088","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972088","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},"type":"article","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/A5009216509","display_name":"Per Lindgren","orcid":"https://orcid.org/0000-0001-6440-8900"},"institutions":[{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"education","lineage":["https://openalex.org/I190632392"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Per Lindgren","raw_affiliation_strings":["Luleå University of Technology","Lule\u00e5 University of Technology"],"affiliations":[{"raw_affiliation_string":"Luleå University of Technology","institution_ids":[]},{"raw_affiliation_string":"Lule\u00e5 University of Technology","institution_ids":["https://openalex.org/I190632392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031590186","display_name":"Nils Fitinghoff","orcid":null},"institutions":[{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"education","lineage":["https://openalex.org/I190632392"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Nils Fitinghoff","raw_affiliation_strings":["Luleå University of Technology","Lule\u00e5 University of Technology"],"affiliations":[{"raw_affiliation_string":"Luleå University of Technology","institution_ids":[]},{"raw_affiliation_string":"Lule\u00e5 University of Technology","institution_ids":["https://openalex.org/I190632392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032753487","display_name":"Jorge Mart\u00ednez Aparicio","orcid":null},"institutions":[{"id":"https://openalex.org/I190632392","display_name":"Lule\u00e5 University of Technology","ror":"https://ror.org/016st3p78","country_code":"SE","type":"education","lineage":["https://openalex.org/I190632392"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jorge Aparicio","raw_affiliation_strings":["Luleå University of Technology","Lule\u00e5 University of Technology"],"affiliations":[{"raw_affiliation_string":"Luleå University of Technology","institution_ids":[]},{"raw_affiliation_string":"Lule\u00e5 University of Technology","institution_ids":["https://openalex.org/I190632392"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009216509"],"corresponding_institution_ids":["https://openalex.org/I190632392"],"apc_list":null,"apc_paid":null,"fwci":0.2408,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.53482912,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1169","last_page":"1176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991000294685364,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9952999949455261,"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/rust","display_name":"Rust (programming language)","score":0.8943698406219482},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.8116698861122131},{"id":"https://openalex.org/keywords/call-stack","display_name":"Call stack","score":0.7616837620735168},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7359514236450195},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.6438801288604736},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.5873186588287354},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.5437312126159668},{"id":"https://openalex.org/keywords/c-dynamic-memory-allocation","display_name":"C dynamic memory allocation","score":0.5009689331054688},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4805746078491211},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4711046814918518},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.34918439388275146},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.33045119047164917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23776444792747498},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.14156675338745117}],"concepts":[{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.8943698406219482},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.8116698861122131},{"id":"https://openalex.org/C119024030","wikidata":"https://www.wikidata.org/wiki/Q759899","display_name":"Call stack","level":3,"score":0.7616837620735168},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7359514236450195},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.6438801288604736},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.5873186588287354},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.5437312126159668},{"id":"https://openalex.org/C34339311","wikidata":"https://www.wikidata.org/wiki/Q1050390","display_name":"C dynamic memory allocation","level":4,"score":0.5009689331054688},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4805746078491211},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4711046814918518},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.34918439388275146},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33045119047164917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23776444792747498},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.14156675338745117}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin41052.2019.8972088","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972088","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1710734607","https://openalex.org/W2013892605","https://openalex.org/W2093100591","https://openalex.org/W2126566204","https://openalex.org/W2894135852","https://openalex.org/W6637688222","https://openalex.org/W6679287844","https://openalex.org/W7005872701"],"related_works":["https://openalex.org/W2154374619","https://openalex.org/W3100823640","https://openalex.org/W3133542048","https://openalex.org/W3151648723","https://openalex.org/W2065540707","https://openalex.org/W2794591470","https://openalex.org/W3106909971","https://openalex.org/W2795239434","https://openalex.org/W3206795086","https://openalex.org/W2899759798","https://openalex.org/W2138634686","https://openalex.org/W2951447254","https://openalex.org/W2972237003","https://openalex.org/W3089700682","https://openalex.org/W3006059644","https://openalex.org/W2099288269","https://openalex.org/W973177502","https://openalex.org/W3101333446","https://openalex.org/W11554108"],"abstract_inverted_index":{"Memory":[0],"safety":[1,6,27],"is":[2,72,121],"instrumental":[3],"to":[4],"the":[5,29,86,92,119,125],"and":[7,21,61,66,80,109],"security":[8],"of":[9,54,99,104,118],"software":[10],"systems.":[11],"The":[12,69,116],"Rust":[13,36,55,76,82],"language":[14],"stands":[15],"out":[16],"with":[17],"a":[18,37,132],"type":[19],"system":[20],"underlying":[22,110],"memory":[23,26,101,111],"model":[24],"targeting":[25,131],"without":[28],"need":[30],"for":[31,40,51,74],"dynamic":[32],"garbage":[33],"collection,":[34],"making":[35],"viable":[38],"option":[39],"embedded":[41,81],"applications.":[42,56],"In":[43],"this":[44],"paper":[45],"we":[46,88,95],"present":[47],"an":[48],"integrated":[49],"tool":[50,71,127],"call-stack":[52,93],"analysis":[53,94],"We":[57],"cover":[58],"both":[59],"theoretical":[60],"practical":[62],"challenges,":[63],"their":[64],"solutions":[65],"open":[67],"questions.":[68],"cargo-call-stack":[70],"useful":[73],"analyzing":[75],"applications":[77],"in":[78,83,114],"general,":[79],"particular.":[84],"To":[85],"latter,":[87],"show":[89],"that":[90],"using":[91],"can":[96],"give":[97],"guarantees":[98],"total":[100],"safety,":[102],"free":[103],"assumptions":[105],"on":[106,128],"operating":[107],"systems":[108],"protection":[112],"mechanisms":[113],"hardware.":[115],"feasibility":[117],"approach":[120],"demonstrated":[122],"by":[123],"applying":[124],"`call-stack'":[126],"production":[129],"code":[130],"light-weight":[133],"ARM":[134],"Cortex-M":[135],"platform.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}