Deploying Static Analysis

02/24/2022
by   Flash Sheridan, et al.
0

Static source code analysis is a powerful tool for finding and fixing bugs when deployed properly; it is, however, all too easy to deploy it in a way that looks good superficially, but which misses important defects, shows many false positives, and brings the tool into disrepute. This article is a guide to the process of deploying a static analysis tool in a large organization while avoiding the worst organizational and technical pitfalls. My main point is the importance of concentrating on the main goal of getting bugs fixed, against all the competing lesser goals which will arise during the process.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/26/2022

Static Analysis Deployment Pitfalls

Organizational, political, and configuration mistakes in the deployment ...
research
06/08/2021

Validating Static Warnings via Testing Code Fragments

Static analysis is an important approach for finding bugs and vulnerabil...
research
01/18/2022

BinGo: Pinpointing Concurrency Bugs in Go via Binary Analysis

Golang (also known as Go for short) has become popular in building concu...
research
04/21/2021

Assessing Validity of Static Analysis Warnings using Ensemble Learning

Static Analysis (SA) tools are used to identify potential weaknesses in ...
research
08/01/2023

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models

Static analysis is a widely used technique in software engineering for i...
research
08/11/2023

A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis

The emergence of quantum computing raises the question of how to identif...
research
07/27/2023

Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code

Migration to OCaml 5 requires updating a lot of C bindings due to the re...

Please sign up or login with your details

Forgot password? Click here to reset