sarif.cpp File Reference

#include <goto-symex/trace/sarif.h>
#include <ac_config.h>
#include <charconv>
#include <fstream>
#include <iostream>
#include <map>
#include <nlohmann/json.hpp>
#include <set>
#include <string>
#include <util/base/cwe_mapping.h>
#include <util/message/message.h>

Include dependency graph for sarif.cpp:

Functions
void	sarif_goto_trace (const optionst &options, const namespacet &, 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 )