SVFUtil.cpp File Reference

#include <unistd.h>
#include <signal.h>
#include <sys/resource.h>
#include <sys/stat.h>
#include <dlfcn.h>
#include "Util/Options.h"
#include "Util/SVFUtil.h"
#include "MemoryModel/PointsTo.h"
#include "Graphs/CallGraph.h"
#include "SVFIR/SVFIR.h"
#include "SVFIR/SVFVariables.h"

Go to the source code of this file.

Macros
#define	KNRM   "\x1B[1;0m"
	Color for output format.
#define	KRED   "\x1B[1;31m"
#define	KGRN   "\x1B[1;32m"
#define	KYEL   "\x1B[1;33m"
#define	KBLU   "\x1B[1;34m"
#define	KPUR   "\x1B[1;35m"
#define	KCYA   "\x1B[1;36m"
#define	KWHT   "\x1B[1;37m"

Macro Definition Documentation

KBLU

#define KBLU   "\x1B[1;34m"

Definition at line 65 of file SVFUtil.cpp.

KCYA

#define KCYA   "\x1B[1;36m"

Definition at line 67 of file SVFUtil.cpp.

KGRN

#define KGRN   "\x1B[1;32m"

Definition at line 63 of file SVFUtil.cpp.

KNRM

#define KNRM   "\x1B[1;0m"

Color for output format.

Definition at line 61 of file SVFUtil.cpp.

KPUR

#define KPUR   "\x1B[1;35m"

Definition at line 66 of file SVFUtil.cpp.

KRED

#define KRED   "\x1B[1;31m"

Definition at line 62 of file SVFUtil.cpp.

KWHT

#define KWHT   "\x1B[1;37m"

Definition at line 68 of file SVFUtil.cpp.

KYEL

#define KYEL   "\x1B[1;33m"

Definition at line 64 of file SVFUtil.cpp.