Static Value-Flow Analysis
Classes | Namespaces | Typedefs
GeneralType.h File Reference
#include <cstdint>
#include <deque>
#include <iostream>
#include <list>
#include <map>
#include <set>
#include <stack>
#include <unordered_map>
#include <unordered_set>
#include <vector>
#include "Util/SparseBitVector.h"

Go to the source code of this file.

Classes

struct  SVF::Hash< std::pair< S, T > >
 
struct  SVF::Hash< T >
 provide extra hash function for std::pair handling More...
 

Namespaces

 SVF
 for isBitcode
 

Typedefs

typedef std::ostream SVF::OutStream
 
typedef unsigned SVF::u32_t
 
typedef signed SVF::s32_t
 
typedef unsigned long long SVF::u64_t
 
typedef signed long long SVF::s64_t
 
typedef unsigned char SVF::u8_t
 
typedef signed char SVF::s8_t
 
typedef unsigned short SVF::u16_t
 
typedef signed short SVF::s16_t
 
typedef u32_t SVF::NodeID
 
typedef u32_t SVF::EdgeID
 
typedef unsigned SVF::SymID
 
typedef unsigned SVF::CallSiteID
 
typedef unsigned SVF::ThreadID
 
typedef s64_t SVF::APOffset
 
typedef SparseBitVector SVF::NodeBS
 
typedef unsigned SVF::PointsToID
 
template<typename Key , typename Hash = Hash<Key>, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<Key>>
using SVF::Set = std::unordered_set< Key, Hash, KeyEqual, Allocator >
 
template<typename Key , typename Value , typename Hash = Hash<Key>, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<std::pair<const Key, Value>>>
using SVF::Map = std::unordered_map< Key, Value, Hash, KeyEqual, Allocator >
 
template<typename Key , typename Compare = std::less<Key>, typename Allocator = std::allocator<Key>>
using SVF::OrderedSet = std::set< Key, Compare, Allocator >
 
template<typename Key , typename Value , typename Compare = std::less<Key>, typename Allocator = std::allocator<std::pair<const Key, Value>>>
using SVF::OrderedMap = std::map< Key, Value, Compare, Allocator >
 
typedef std::pair< NodeID, NodeID > SVF::NodePair
 
typedef OrderedSet< NodeID > SVF::OrderedNodeSet
 
typedef Set< NodeID > SVF::NodeSet
 
typedef Set< NodePair > SVF::NodePairSet
 
typedef Map< NodePair, NodeID > SVF::NodePairMap
 
typedef std::vector< NodeID > SVF::NodeVector
 
typedef std::vector< EdgeID > SVF::EdgeVector
 
typedef std::stack< NodeID > SVF::NodeStack
 
typedef std::list< NodeID > SVF::NodeList
 
typedef std::deque< NodeID > SVF::NodeDeque
 
typedef NodeSet SVF::EdgeSet
 
typedef std::vector< u32_tSVF::CallStrCxt
 
typedef unsigned SVF::Version
 
typedef Set< Version > SVF::VersionSet
 
typedef std::pair< NodeID, Version > SVF::VersionedVar
 
typedef Set< VersionedVar > SVF::VersionedVarSet