Static Value-Flow Analysis
|
#include "Util/Options.h"
#include "Util/SVFUtil.h"
#include "MemoryModel/PointsTo.h"
#include "Graphs/CallGraph.h"
#include <sys/resource.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" |
Definition at line 44 of file SVFUtil.cpp.
Definition at line 46 of file SVFUtil.cpp.
Definition at line 42 of file SVFUtil.cpp.
#define KNRM "\x1B[1;0m" |
Color for output format.
Definition at line 40 of file SVFUtil.cpp.
Definition at line 45 of file SVFUtil.cpp.
Definition at line 41 of file SVFUtil.cpp.
Definition at line 47 of file SVFUtil.cpp.
Definition at line 43 of file SVFUtil.cpp.