phasar/lib/DataFlow/IfdsIde/IfdsIde.cppm at f052327293116ed0a66ee64c2f6657c6ea5bd4c5 · secure-software-engineering/phasar · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
module;

#include "phasar/DataFlow/IfdsIde/DefaultEdgeFunctionSingletonCache.h"
#include "phasar/DataFlow/IfdsIde/EdgeFunctionStats.h"
#include "phasar/DataFlow/IfdsIde/EdgeFunctionUtils.h"
#include "phasar/DataFlow/IfdsIde/EdgeFunctions.h"
#include "phasar/DataFlow/IfdsIde/EntryPointUtils.h"
#include "phasar/DataFlow/IfdsIde/FlowFunctions.h"
#include "phasar/DataFlow/IfdsIde/GenericFlowFunction.h"
#include "phasar/DataFlow/IfdsIde/IDETabulationProblem.h"
#include "phasar/DataFlow/IfdsIde/IFDSTabulationProblem.h"
#include "phasar/DataFlow/IfdsIde/IfdsIdeDomain.h"
#include "phasar/DataFlow/IfdsIde/Solver/Compressor.h"
#include "phasar/DataFlow/IfdsIde/Solver/EdgeFunctionCache.h"
#include "phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCacheNG.h"
#include "phasar/DataFlow/IfdsIde/Solver/FlowFunctionCache.h"
#include "phasar/DataFlow/IfdsIde/Solver/IFDSSolver.h"
#include "phasar/DataFlow/IfdsIde/Solver/IdBasedSolverResults.h"
#include "phasar/DataFlow/IfdsIde/Solver/IterativeIDESolver.h"
#include "phasar/DataFlow/IfdsIde/Solver/PathAwareIDESolver.h"

export module phasar.dataflow.ifdside;

export namespace psr {
using psr::AllBottom;
using psr::AllTop;
using psr::CachedEdgeFunction;
using psr::ConstantEdgeFunction;
using psr::defaultComposeOrNull;
using psr::DefaultEdgeFunctionSingletonCache;
using psr::DefaultEdgeFunctionSingletonCacheImpl;
using psr::EdgeFunction;
using psr::EdgeFunctionAllocationPolicy;
using psr::EdgeFunctionBase;
using psr::EdgeFunctionRef;
using psr::EdgeFunctions;
using psr::EdgeFunctionSingletonCache;
using psr::EdgeFunctionStats;
using psr::EdgeIdentity;
using psr::IdeAnalysisDomain;
using psr::IfdsAnalysisDomain;
using psr::IsEdgeFunction;
using psr::operator==;
using psr::operator<<;
using psr::addSeedsForStartingPoints;
using psr::AllTopFnProvider;
using psr::checkSREquality;
using psr::Compressor;
using psr::defaultJoinOrNull;
using psr::DefaultMapKeyCompressor;
using psr::EdgeFunctionCache;
using psr::EdgeFunctionCacheStats;
using psr::EdgeFunctionComposer;
using psr::EdgeFunctionKind;
using psr::ESGEdgeKind;
using psr::FlowEdgeFunctionCache;
using psr::FlowEdgeFunctionCacheNG;
using psr::FlowEdgeFunctionCacheStats;
using psr::FlowFunction;
using psr::FlowFunctionCache;
using psr::FlowFunctionCacheStats;
using psr::FlowFunctionPtrTypeOf;
using psr::FlowFunctions;
using psr::FlowFunctionTemplates;
using psr::forallStartingPoints;
using psr::GenericFlowFunction;
using psr::GenericFlowFunctionView;
using psr::GenericSolverResults;
using psr::getMetaDataID;
using psr::IdBasedSolverResults;
using psr::IDESolver;
using psr::IDETabulationProblem;
using psr::ifdsEqual;
using psr::IFDSIDESolverConfig;
using psr::IFDSSolver;
using psr::IFDSTabulationProblem;
using psr::InitialSeeds;
using psr::IsFlowFunction;
using psr::JoinEdgeFunction;
using psr::LLVMMapKeyCompressor;
using psr::MapKeyCompressorCombinator;
using psr::NodeCompressorTraits;
using psr::NoneCompressor;
using psr::OwningSolverResults;
using psr::SolverConfigOptions;
using psr::SolverResults;
using psr::ValCompressorTraits;
using psr::ZeroedFlowFunction;
using psr::operator<<;
using psr::DefaultIDESolverConfig;
using psr::DequeWorkList;
using psr::IDESolverAPIMixin;
using psr::IDESolverConfigBase;
using psr::IterativeIDESolver;
using psr::IterativeIDESolverBase;
using psr::IterativeIDESolverStats;
using psr::IterIDEPropagationJob;
using psr::JumpFunctionGCMode;
using psr::JumpFunctions;
using psr::OwningSolverResults;
using psr::PathAwareIDESolver;
using psr::PathEdge;
using psr::SmallVectorWorkList;
using psr::solveIDEProblem;
using psr::solveIFDSProblem;
using psr::SolverStatsSelector;
using psr::VectorWorkList;
using psr::WithComputeValues;
using psr::WithEndSummaryTab;
using psr::WithGCMode;
using psr::WithStats;
using psr::WithWorkList;
} // namespace psr

export namespace llvm {
using llvm::cast_convert_val;
using llvm::cast_or_null;
using llvm::cast_retty_impl;
using llvm::CastInfo;
using llvm::CastIsPossible;
using llvm::DenseMapInfo;
using llvm::dyn_cast_or_null;
using llvm::isa_impl_cl;
} // namespace llvm