One dead-store advisory (CWE-563, "Assignment to Variable without Use"): an assignment whose left-hand side is never read on any subsequent path. More...

#include <dead_store_advisory.h>

Public Attributes
std::string	lhs_name
	Source-level name of the assigned variable.
std::string	comment
	Freeform comment, e.g.
std::string	file
unsigned	line = 0

Detailed Description

One dead-store advisory (CWE-563, "Assignment to Variable without Use"): an assignment whose left-hand side is never read on any subsequent path.

Advisory only — it is surfaced as a note and never flips the verdict.

This is a plain data type so the SARIF writer and bmc can depend on it without pulling in the analysis pass (see dead_store_analysis.h).

Member Data Documentation

◆ comment

std::string dead_store_advisoryt::comment

Freeform comment, e.g.

"dead store: assignment to x never read". Routed through util/cwe_mapping so it resolves to CWE-563.

◆ file

std::string dead_store_advisoryt::file

◆ lhs_name

std::string dead_store_advisoryt::lhs_name

Source-level name of the assigned variable.

◆ line

unsigned dead_store_advisoryt::line = 0

The documentation for this struct was generated from the following file:

src/goto-programs/dead_store_advisory.h