json.cpp File Reference

#include <util/message/message.h>
#include <goto-symex/trace/goto_trace.h>
#include <util/base/cwe_mapping.h>
#include <util/lang/language.h>
#include <langapi/language_util.h>
#include <nlohmann/json.hpp>
#include <charconv>
#include <filesystem>
#include <fstream>
#include <regex>

Include dependency graph for json.cpp:

Typedefs
using	json = nlohmann::json

Functions
void	generate_json_report (const std::string_view uuid, const namespacet &ns, const goto_tracet &goto_trace)

Typedef Documentation

json

using json = nlohmann::json

Function Documentation

generate_json_report()

void generate_json_report	(	const std::string_view	uuid,
		const namespacet &	ns,
		const goto_tracet &	goto_trace )