ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
dead_store_advisory.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4
12{
14 std::string lhs_name;
17 std::string comment;
18 std::string file;
19 unsigned line = 0;
20};
One dead-store advisory (CWE-563, "Assignment to Variable without Use"): an assignment whose left-han...
Definition dead_store_advisory.h:12
std::string lhs_name
Source-level name of the assigned variable.
Definition dead_store_advisory.h:14
std::string comment
Freeform comment, e.g.
Definition dead_store_advisory.h:17
std::string file
Definition dead_store_advisory.h:18
unsigned line
Definition dead_store_advisory.h:19