sarif.h File Reference

#include <goto-programs/dead_store_advisory.h>
#include <goto-symex/trace/goto_trace.h>
#include <util/symtab/namespace.h>
#include <util/config/options.h>
#include <vector>
#include <string>

Include dependency graph for sarif.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	dead_code_finding_t

Functions
void	sarif_goto_trace (const optionst &options, const namespacet &ns, const goto_tracet &goto_trace, const std::vector< dead_store_advisoryt > &advisories={})
void	sarif_dead_code (const optionst &options, const std::vector< dead_code_finding_t > &findings, const std::vector< dead_store_advisoryt > &advisories={})

Function Documentation

sarif_dead_code()

void sarif_dead_code	(	const optionst &	options,
		const std::vector< dead_code_finding_t > &	findings,
		const std::vector< dead_store_advisoryt > &	advisories = {} )

sarif_goto_trace()

void sarif_goto_trace	(	const optionst &	options,
		const namespacet &	ns,
		const goto_tracet &	goto_trace,
		const std::vector< dead_store_advisoryt > &	advisories = {} )