{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:49:36Z","timestamp":1742932176526,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031686054"},{"type":"electronic","value":"9783031686061"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68606-1_17","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:02:40Z","timestamp":1725836560000},"page":"267-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sound Non-interference Analysis for\u00a0C\/C++"],"prefix":"10.1007","author":[{"given":"Daniel","family":"K\u00e4stner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Mauborgne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Hahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Herter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Cullmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-48288-9_1","volume-title":"Static Analysis","author":"P Aldous","year":"2015","unstructured":"Aldous, P., Might, M.: Static analysis of non-interference in expressive low-level languages. In: Blazy, S., Jensen, T. (eds.) SAS 2015. LNCS, vol. 9291, pp. 1\u201317. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48288-9_1"},{"key":"17_CR2","unstructured":"The ArchiMate Enterprise Architecture Modeling Language. https:\/\/www.opengroup.org\/archimate-forum\/archimate-overview [2021]"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-74792-5_7","volume-title":"Formal Methods for Components and Objects","author":"G Barthe","year":"2007","unstructured":"Barthe, G., et al.: JACK\u00a0\u2014\u00a0a tool for validation of security and behaviour of java applications. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 152\u2013174. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74792-5_7"},{"key":"17_CR4","unstructured":"California Code of Regulations (CCR).: 13 CA ADC \u00a71968.2. Malfunction and diagnostic system requirements \u2013 2004 and subsequent model-year passenger cars, light-duty trucks, and medium-duty vehicles and engines (2022)"},{"key":"17_CR5","unstructured":"Clang 19.0.0 git documentation. DataFlowSanitizer design document. https:\/\/clang.llvm.org\/docs\/DataFlowSanitizerDesign.html [2024]"},{"key":"17_CR6","unstructured":"Cousot, P.: Semantic foundations of program analysis. In S.\u00a0Muchnick and N.\u00a0Jones, editors, Program Flow Analysis: Theory and Applications, chapter\u00a010, pp. 303\u2013342. Prentice-Hall (1981)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of POPL 1977, pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Delmas, D., Souyris, J.: ASTR\u00c9E: from research to industry. In: Proceedings of the 14th International Static Analysis Symposium (SAS2007), number 4634 in LNCS, pp. 437\u2013451 (2007)","DOI":"10.1007\/978-3-540-74061-2_27"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Feiler, P., Gluch, D., Hudak, J.: Technical Note CMU\/SEI-2006-TN-011. The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, Software Engineering Institute, Carnegie Mellon University (2006)","DOI":"10.21236\/ADA455842"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: parameterizing non-interference by abstract interpretation. In: Jones, N.D., Leroy, X., editors, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 186\u2013197. ACM (2004)","DOI":"10.1145\/964001.964017"},{"key":"17_CR11","unstructured":"ISO 26262. Road vehicles \u2013 Functional safety (2018)"},{"key":"17_CR12","unstructured":"ISO\/IEC JTC1\/SC22\/WG14 working group. ISO\/IEC 9899:2018 information technology \u2013 programming languages \u2013 c. Technical Report N2310, ISO & IEC (2018)"},{"key":"17_CR13","volume-title":"Formal Methods Applied to Industrial Complex Systems","author":"D K\u00e4stner","year":"2014","unstructured":"K\u00e4stner, D.: Applying abstract interpretation to demonstrate functional safety. In: Boulanger, J.-L. (ed.) Formal Methods Applied to Industrial Complex Systems. ISTE\/Wiley, London, UK (2014)"},{"key":"17_CR14","unstructured":"K\u00e4stner, D., Mauborgne, L., Ferdinand, C., Theiling, H.: Detecting spectre vulnerabilities by sound static analysis. In: Anne Coull, R.F., Chan, S., editor, The Fourth International Conference on Cyber-Technologies and Cyber-Systems (CYBER 2019), vol\u00a04 of IARIA Conferences, pp. 29\u201337. IARIA XPS Press (2019)"},{"key":"17_CR15","unstructured":"K\u00e4stner, D., Mauborgne, L., Wilhelm, S., Mallon, C., Ferdinand, C.: Static Data and Control Coupling Analysis. In: 11th Embedded Real Time Systems European Congress (ERTS2022), Toulouse, France (2022)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., et al.: Finding All Potential Runtime Errors and Data Races in Automotive Software. In SAE World Congress 2017. SAE International (2017)","DOI":"10.4271\/2017-01-0054"},{"key":"17_CR17","unstructured":"K\u00e4stner, D., Pohland, J.: Program analysis on evolving software. In: Roy, M. (ed.) CARS 2015 - Critical Automotive applications: Robustness & Safety. France, Paris (2015)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., Wilhelm, S., Mallon, C., Schank, S., Ferdinand, C., Mauborgne, L.: Automatic sound static analysis for integration verification of AUTOSAR software. In: WCX SAE World Congress Experience, SAE International (2023)","DOI":"10.4271\/2023-01-0591"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., et al.: Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software. In Proceedings of the SAE World Congress 2019 (SAE Technical Paper). SAE International (2019)","DOI":"10.4271\/2019-01-1246"},{"key":"17_CR20","unstructured":"Limited, M.: MISRA C++:2008 Guidelines for the use of the C++ language in critical systems (2008)"},{"key":"17_CR21","doi-asserted-by":"publisher","unstructured":"Logozzo, F., Mohamed, I.: How to make taint analysis precise. In: Arceri, V., Cortesi, A., Ferrara, P., Olliaro, M. (eds) Challenges of Software Verification. Intelligent Systems Reference Library, vol 238. Springer, Singapore (2023). https:\/\/doi.org\/10.1007\/978-981-19-9601-6_3","DOI":"10.1007\/978-981-19-9601-6_3"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A., Delmas, D.: Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. In Proceedings of the 15th International Conference on Embedded Software (EMSOFT\u201915), pp. 65\u201374. IEEE CS Press (2015)","DOI":"10.1109\/EMSOFT.2015.7318261"},{"key":"17_CR23","unstructured":"Min\u00e9, A., et al.: Taking static analysis to the next level: proving the absence of run-time errors and data races with astr\u00e9e. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France (2016)"},{"key":"17_CR24","unstructured":"MISRA (Motor Industry Software Reliability Association) Working Group.: MISRA-C:2012 Guidelines for the use of the C language in critical systems. MISRA Limited (2013)"},{"key":"17_CR25","unstructured":"Radio Technical Commission for Aeronautics. RTCA DO-178C. Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"17_CR26","unstructured":"Software Engineering Institute SEI \u2013 CERT Division. SEI CERT C Coding Standard \u2013 Rules for Developing Safe, Reliable, and Secure Systems. Carnegie Mellon University (2016)"},{"key":"17_CR27","unstructured":"Souyris, J., Le Pavec, E., Himbert, G., J\u00e9gu, V., Borios, G., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th International Workshop on Worst-Case Execution Time (WCET) Analysis, pp.21\u201324 (2005)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Spoto, F., et al.: Static identification of injection attacks in java. ACM Trans. Program. Lang. Syst. 41(3), 1\u201358 (2019)","DOI":"10.1145\/3332371"},{"key":"17_CR29","unstructured":"State of California \u2013 Air Resources Board. Public hearing to consider the proposed revisions to the on-board diagnostic system requirements and associated enforcement provisions for passenger cars, light-duty trucks, medium-duty vehicles and engines, and heavy-duty engines. staff report: Initial statement of reasons. https:\/\/ww2.arb.ca.gov\/sites\/default\/files\/barcu\/regact\/2021\/obd2021\/isor.pdf [Retrieved: Jan 2024], 2021"},{"key":"17_CR30","unstructured":"OMG Systems Modeling Language (OMG SysML$$^{\\rm TM}$$) Version 1.6. https:\/\/www.omg.org\/spec\/SysML\/1.6\/PDF [Retrieved: Jan 2021]"},{"key":"17_CR31","unstructured":"Van\u00a0Gilder, J.F.: Carb mandated obd compliance reporting update. WCX SAE World Congress Experience WCX 2023, https:\/\/www.sae-itc.com\/binaries\/content\/assets\/itc\/content\/hrcs\/2023-wcx-carbmandatedobdsignalflowanalysisupdate.pdf [retrieved: Jan. 2024], 2023"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68606-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:05:00Z","timestamp":1725836700000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68606-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031686054","9783031686061"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68606-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Florence","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.safecomp2024.unifi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}