ROSE  0.11.50.0
ModelChecker.h
1 #ifndef ROSE_BinaryAnalysis_ModelChecker_H
2 #define ROSE_BinaryAnalysis_ModelChecker_H
3 
4 // Include this header if you want everying related to model checking. A better (faster to compile) approach is to
5 // include Types.h (forward declarations for most things), and only those other headers you actually need.
6 
7 #include <Rose/BinaryAnalysis/ModelChecker/BasicBlockUnit.h>
8 #include <Rose/BinaryAnalysis/ModelChecker/Engine.h>
9 #include <Rose/BinaryAnalysis/ModelChecker/ErrorTag.h>
10 #include <Rose/BinaryAnalysis/ModelChecker/Exception.h>
11 #include <Rose/BinaryAnalysis/ModelChecker/ExecutionUnit.h>
12 #include <Rose/BinaryAnalysis/ModelChecker/ExternalFunctionUnit.h>
13 #include <Rose/BinaryAnalysis/ModelChecker/FailureUnit.h>
14 #include <Rose/BinaryAnalysis/ModelChecker/InstructionUnit.h>
15 #include <Rose/BinaryAnalysis/ModelChecker/NullDerefTag.h>
16 #include <Rose/BinaryAnalysis/ModelChecker/OobTag.h>
17 #include <Rose/BinaryAnalysis/ModelChecker/P2Model.h>
18 #include <Rose/BinaryAnalysis/ModelChecker/Path.h>
19 #include <Rose/BinaryAnalysis/ModelChecker/PathNode.h>
20 #include <Rose/BinaryAnalysis/ModelChecker/PathPredicate.h>
21 #include <Rose/BinaryAnalysis/ModelChecker/PathPrioritizer.h>
22 #include <Rose/BinaryAnalysis/ModelChecker/PathQueue.h>
23 #include <Rose/BinaryAnalysis/ModelChecker/Periodic.h>
24 #include <Rose/BinaryAnalysis/ModelChecker/SemanticCallbacks.h>
25 #include <Rose/BinaryAnalysis/ModelChecker/Settings.h>
26 #include <Rose/BinaryAnalysis/ModelChecker/SourceLister.h>
27 #include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
28 
29 #endif