"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Rose/BinaryAnalysis/Concolic.h" between
rose-0.11.49.0.tar.gz and rose-0.11.50.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

Concolic.h  (rose-0.11.49.0):Concolic.h  (rose-0.11.50.0)
skipping to change at line 12 skipping to change at line 12
#define ROSE_BinaryAnalysis_Concolic_H #define ROSE_BinaryAnalysis_Concolic_H
// The one header to rule them all -- i.e., all the concolic testing. // The one header to rule them all -- i.e., all the concolic testing.
#include <Rose/BinaryAnalysis/Concolic/Architecture.h> #include <Rose/BinaryAnalysis/Concolic/Architecture.h>
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h> #include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
#include <Rose/BinaryAnalysis/Concolic/ConcolicExecutor.h> #include <Rose/BinaryAnalysis/Concolic/ConcolicExecutor.h>
#include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h> #include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h>
#include <Rose/BinaryAnalysis/Concolic/Database.h> #include <Rose/BinaryAnalysis/Concolic/Database.h>
#include <Rose/BinaryAnalysis/Concolic/ExecutionEvent.h> #include <Rose/BinaryAnalysis/Concolic/ExecutionEvent.h>
#include <Rose/BinaryAnalysis/Concolic/ExecutionLocation.h>
#include <Rose/BinaryAnalysis/Concolic/ExecutionManager.h> #include <Rose/BinaryAnalysis/Concolic/ExecutionManager.h>
#include <Rose/BinaryAnalysis/Concolic/InputVariables.h> #include <Rose/BinaryAnalysis/Concolic/InputVariables.h>
#include <Rose/BinaryAnalysis/Concolic/LinuxExecutor.h> #include <Rose/BinaryAnalysis/Concolic/LinuxExecutor.h>
#include <Rose/BinaryAnalysis/Concolic/LinuxExitStatus.h> #include <Rose/BinaryAnalysis/Concolic/LinuxExitStatus.h>
#include <Rose/BinaryAnalysis/Concolic/LinuxI386.h> #include <Rose/BinaryAnalysis/Concolic/LinuxI386.h>
#include <Rose/BinaryAnalysis/Concolic/LinuxTraceExecutor.h> #include <Rose/BinaryAnalysis/Concolic/LinuxTraceExecutor.h>
#include <Rose/BinaryAnalysis/Concolic/SharedMemory.h>
#include <Rose/BinaryAnalysis/Concolic/Specimen.h> #include <Rose/BinaryAnalysis/Concolic/Specimen.h>
#include <Rose/BinaryAnalysis/Concolic/SystemCall.h> #include <Rose/BinaryAnalysis/Concolic/SystemCall.h>
#include <Rose/BinaryAnalysis/Concolic/TestCase.h> #include <Rose/BinaryAnalysis/Concolic/TestCase.h>
#include <Rose/BinaryAnalysis/Concolic/TestSuite.h> #include <Rose/BinaryAnalysis/Concolic/TestSuite.h>
#endif #endif
 End of changes. 2 change blocks. 
0 lines changed or deleted 2 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)