Static Value-Flow Analysis
|
#include "Util/Options.h"
#include "Util/SVFUtil.h"
#include "MemoryModel/PointsTo.h"
#include <sys/resource.h>
Go to the source code of this file.
Macros | |
#define | KNRM "\x1B[1;0m" |
Color for output format. More... | |
#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" |
#define KBLU "\x1B[1;34m" |
Definition at line 43 of file SVFUtil.cpp.
#define KCYA "\x1B[1;36m" |
Definition at line 45 of file SVFUtil.cpp.
#define KGRN "\x1B[1;32m" |
Definition at line 41 of file SVFUtil.cpp.
#define KNRM "\x1B[1;0m" |
Color for output format.
Definition at line 39 of file SVFUtil.cpp.
#define KPUR "\x1B[1;35m" |
Definition at line 44 of file SVFUtil.cpp.
#define KRED "\x1B[1;31m" |
Definition at line 40 of file SVFUtil.cpp.
#define KWHT "\x1B[1;37m" |
Definition at line 46 of file SVFUtil.cpp.
#define KYEL "\x1B[1;33m" |
Definition at line 42 of file SVFUtil.cpp.