ROSE  0.11.145.0
Concolic.h
1 #ifndef ROSE_BinaryAnalysis_Concolic_H
2 #define ROSE_BinaryAnalysis_Concolic_H
3 
4 // The one header to rule them all -- i.e., all the concolic testing.
5 
6 #include <Rose/BinaryAnalysis/Concolic/Architecture.h>
7 #include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
8 #include <Rose/BinaryAnalysis/Concolic/Callback.h>
9 #include <Rose/BinaryAnalysis/Concolic/ConcolicExecutor.h>
10 #include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h>
11 #include <Rose/BinaryAnalysis/Concolic/ConcreteResult.h>
12 #include <Rose/BinaryAnalysis/Concolic/Database.h>
13 #include <Rose/BinaryAnalysis/Concolic/Emulation.h>
14 #include <Rose/BinaryAnalysis/Concolic/ExecutionEvent.h>
15 #include <Rose/BinaryAnalysis/Concolic/ExecutionLocation.h>
16 #include <Rose/BinaryAnalysis/Concolic/ExecutionManager.h>
17 #include <Rose/BinaryAnalysis/Concolic/I386Linux.h>
18 #include <Rose/BinaryAnalysis/Concolic/InputVariables.h>
19 #include <Rose/BinaryAnalysis/Concolic/M68kSystem.h>
20 #include <Rose/BinaryAnalysis/Concolic/Settings.h>
21 #include <Rose/BinaryAnalysis/Concolic/SharedMemory.h>
22 #include <Rose/BinaryAnalysis/Concolic/Specimen.h>
23 #include <Rose/BinaryAnalysis/Concolic/SystemCall.h>
24 #include <Rose/BinaryAnalysis/Concolic/TestCase.h>
25 #include <Rose/BinaryAnalysis/Concolic/TestSuite.h>
26 
27 namespace Rose {
28 namespace BinaryAnalysis {
29 
31 namespace Concolic {
32 } // namespace
33 
34 } // namespace
35 } // namespace
36 
37 #endif
Main namespace for the ROSE library.