SAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Mon 18 Oct 2021 13:50 - 15:10 at Zurich B - Session 3B Chair(s): Kedar Namjoshi

Static code analyzers have become indispensable especially for safety critical software development. But, they do have a few drawbacks as well. For starters, and for good reason, the commercial tools can be quite slow, and they are certainly not suitable for interactive use. I’ll describe a new tool called Cobra, that I’m currently developing, which can resolve types of queries interactively, even on very large code bases. Queries can be scripted or predefined in libraries. The tool is designed to be easy to use, and is freely available.

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

13:50 - 15:10
Session 3BSAS at Zurich B
Chair(s): Kedar Namjoshi Nokia Bell Labs
Interactive Code AnalysisInvited TalkVirtual
I: Gerard Holzmann NASA/Caltech Jet Propulsion Laboratory