/*
 * SMPStaticAnalyzer.h - <see below>.
 *
 * Copyright (c) 2000, 2001, 2010 - University of Virginia 
 *
 * This file is part of the Memory Error Detection System (MEDS) infrastructure.
 * This file may be used and modified for non-commercial purposes as long as 
 * all copyright, permission, and nonwarranty notices are preserved.  
 * Redistribution is prohibited without prior written consent from the University 
 * of Virginia.
 *
 * Please contact the authors for restrictions applying to commercial use.
 *
 * THIS SOURCE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED
 * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
 * MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
 *
 * Author: University of Virginia
 * e-mail: jwd@virginia.com
 * URL   : http://www.cs.virginia.edu/
 *
 * Additional copyrights 2010, 2011 by Zephyr Software LLC
 * e-mail: {clc,jwd}@zephyr-software.com
 * URL   : http://www.zephyr-software.com/
 *
 */

#ifndef SMPSTATICANALYZER_H
#define SMPSTATICANALYZER_H 1

using namespace std;

#include <string>

#define LAST_OPT_CATEGORY  10
#define LAST_TYPE_CATEGORY 15

extern int OptCategory[NN_last + 1];
// Keep statistics on how many instructions we saw in each optimization
//  category, and how many optimizing annotations were emitted for
//  each category.
extern int OptCount[LAST_OPT_CATEGORY + 1];
extern int AnnotationCount[LAST_OPT_CATEGORY + 1];

// Unique data referent number to use in data annotations.
extern unsigned long DataReferentID;

extern const char *DataTypes[];

// Initialized operand used to copy-initialize other operands.
extern op_t InitOp;

// File to print security alert messages to, e.g. foo.exe.alarms.
extern FILE *ZST_AlarmFile;

// Security policies for the Zephyr Security Toolkit.
enum ZST_Policy {
	ZST_DISALLOW = 0,
	ZST_WHITELIST = 1,
	ZST_BLACKLIST = 2,
	ZST_ALLOWALL = 3
};

// What type of system call, for Zephyr Security Toolkit monitoring.
enum ZST_SysCallType {
	ZST_UNMONITORED_CALL,
	ZST_HIGHPRIVILEGE_CALL,
	ZST_FILE_CALL,
	ZST_NETWORK_CALL
};

// strings for printing ZST_SysCallType
extern const char *CallTypeNames[4];

// Given a function name, return its Zephyr Security Toolkit call type.
ZST_SysCallType GetCallTypeFromFuncName(string SysCallName);

// Get the user-specified security policy for the given call type.
ZST_Policy GetPolicyFromCallType(ZST_SysCallType CallType);

// Given a call type and called function name, is it on the location whitelist
//  for that call type?
bool IsLocationWhitelisted(ZST_SysCallType CallType, string LocationName);

// Given a call type and called function name, is it on the location blacklist
//  for that call type?
bool IsLocationBlacklisted(ZST_SysCallType CallType, string LocationName);

#endif