Static Analysis for Ada, C/C++ and Python

Maurizio Martignano

doi:10.1145/3530801.3530807

What is it about?

Static analysis is performed on computer programs in source code format either to find potential issues (bugs, code smells, vulnerabilities) or to verify compliance to given standards , guidelines. The importance of the first goal compared to the second one depends on the used programming language. This paper shows how different programming languages have different needs.

Photo by Chris Ried on Unsplash

Why is it important?

The paper is important because it shows static analysis is important for all programming languages.

This page is a summary of: Static Analysis for Ada, C/C++ and Python, ACM SIGAda Ada Letters, April 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3530801.3530807.
You can read the full text:

Read

Resources

Presentation
Static Analysis for Ada, C/C++ and Python
Static analysis is performed on computer programs in source code format either to find potential issues (bugs, code smells, vulnerabilities) or to verify compliance to given standards , guidelines. The importance of the first goal compared to the second one depends on the used programming language. This paper shows how different programming languages have different needs.

Contributors

The following have contributed to this page

Maurizio Martignano
Spazio IT - Soluzioni Informatiche s.a.s.

How static analysis is used in different programming languages.

What is it about?

Why is it important?

Resources