dead_code_finding_t Struct Reference

#include <sarif.h>

Public Attributes
std::string	message
std::string	file
unsigned	line = 0

Member Data Documentation

file

std::string dead_code_finding_t::file

line

unsigned dead_code_finding_t::line = 0

message

std::string dead_code_finding_t::message

---

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

• src/goto-symex/trace/sarif.h