Details page | Paper / Information search system

Search

Search help

Summary & Details

Sound Static Analysis for Safety and Security

Delivery: Available on this site

Format: PDF

Price: Non-members (tax incl.)：￥1,100 Members (tax incl.)：￥880

Publication code: 20265030

Paper/Info type: Proceedings (Spring)

No.7-26

Pages: 1-7(Total 7 p)

Date of publication: May 2026

Publisher: JSAE

Language: English

Event: 2026 JSAE Annual Congress (Spring)

Detailed Information

Author(J)	1) Daniel Kästner, 2) Reinhard Wilhelm, 3) Christian Ferdinand, 4) Adrian Dapprich
Author(E)	1) Daniel Kästner, 2) Reinhard Wilhelm, 3) Christian Ferdinand, 4) Adrian Dapprich
Affiliation(J)	1) AbsInt, 2) AbsInt, 3) AbsInt, 4) AbsInt
Affiliation(E)	1) AbsInt, 2) AbsInt, 3) AbsInt, 4) AbsInt
Abstract(E)	Runtime errors such as buffer overflows or data races are safety- and security-relevant code defects. A sound static analyzer reports all such defects in the code, can prove their absence, and covers further verification objectives such as code guideline checking as well as data and control flow analysis. The analysis can be used to satisfy requirements from norms like ISO 26262, ISO 21434, and from the novel European Cyber Resilience Act (CRA). We will show practical experiments that demonstrate that sound static analysis scales for real-life AUTOSAR integration projects.

About search

How to use the search box

You can enter up to 5 search conditions. The number of search boxes can be increased or decreased with the "+" and "-" buttons on the right.

If you enter multiple words separated by spaces in one search box, the data that "contains all" of the entered words will be searched (AND search).

Example) X (space) Y → "X and Y (including)"

How to use "AND" and "OR" pull-down

If "AND" is specified, the "contains both" data of the phrase entered in the previous and next search boxes will be searched. If you specify "OR", the data that "contains" any of the words entered in the search boxes before and after is searched.

Example) X AND Y → "X and Y (including)" X OR Z → "X or Z (including)"

If AND and OR searches are mixed, OR search has priority.

Example) X AND Y OR Z → X AND (Y OR Z)

If AND search and multiple OR search are mixed, OR search has priority.

Example) W AND X OR Y OR Z → W AND (X OR Y OR Z)

How to use the search filters

Use the "search filters" when you want to narrow down the search results, such as when there are too many search results. If you check each item, the search results will be narrowed down to only the data that includes that item.

The number in "()" after each item is the number of data that includes that item.

Search tips

When searching by author name, enter the first and last name separated by a space, such as "Taro Jidosha".