├── CMakeLists.txt ├── LIBS2EPLUGINSConfig.cmake.in ├── LICENSE └── src ├── CMakeLists.txt └── s2e └── Plugins ├── Analyzers ├── CacheSim.cpp └── CacheSim.h ├── Core ├── BaseInstructions.cpp ├── BaseInstructions.h ├── Events.h ├── HostFiles.cpp ├── HostFiles.h ├── Vmi.cpp └── Vmi.h ├── Coverage ├── BasicBlockCoverage.cpp ├── BasicBlockCoverage.h ├── EdgeCoverage.cpp ├── EdgeCoverage.h ├── TranslationBlockCoverage.cpp └── TranslationBlockCoverage.h ├── Example.cpp ├── Example.h ├── ExecutionMonitors ├── CallSiteMonitor.cpp ├── CallSiteMonitor.h ├── CallTree.h ├── FunctionMonitor.cpp ├── FunctionMonitor.h ├── LibraryCallMonitor.cpp ├── LibraryCallMonitor.h ├── StackClustering.cpp ├── StackClustering.h ├── StackMonitor.cpp └── StackMonitor.h ├── ExecutionTracers ├── EventTracer.cpp ├── EventTracer.h ├── ExceptionTracer.cpp ├── ExceptionTracer.h ├── ExecutionTracer.cpp ├── ExecutionTracer.h ├── InstructionCounter.cpp ├── InstructionCounter.h ├── MemoryTracer.cpp ├── MemoryTracer.h ├── ModuleTracer.cpp ├── ModuleTracer.h ├── ModuleTracing.h ├── StateSwitchTracer.cpp ├── StateSwitchTracer.h ├── TBCoverageTracer.cpp ├── TBCoverageTracer.h ├── TestCaseGenerator.cpp ├── TestCaseGenerator.h ├── TraceEntries.proto ├── TranslationBlockTracer.cpp ├── TranslationBlockTracer.h ├── UserSpaceTracer.cpp └── UserSpaceTracer.h ├── Lua ├── Lua.h ├── LuaBindings.cpp ├── LuaBindings.h ├── LuaCoreEvents.cpp ├── LuaCoreEvents.h ├── LuaExpression.cpp ├── LuaExpression.h ├── LuaFunctionInstrumentation.cpp ├── LuaFunctionInstrumentation.h ├── LuaFunctionInstrumentationState.cpp ├── LuaFunctionInstrumentationState.h ├── LuaInstructionInstrumentation.cpp ├── LuaInstructionInstrumentation.h ├── LuaInstructionInstrumentationState.cpp ├── LuaInstructionInstrumentationState.h ├── LuaInstrumentationState.cpp ├── LuaInstrumentationState.h ├── LuaModuleDescriptor.cpp ├── LuaModuleDescriptor.h ├── LuaPlugin.h ├── LuaS2E.cpp ├── LuaS2E.h ├── LuaS2EExecutionState.cpp ├── LuaS2EExecutionState.h ├── LuaS2EExecutionStateMemory.cpp ├── LuaS2EExecutionStateMemory.h ├── LuaS2EExecutionStateRegisters.cpp └── LuaS2EExecutionStateRegisters.h ├── Models ├── BaseFunctionModels.cpp ├── BaseFunctionModels.h ├── CRC.cpp ├── FunctionModels.cpp ├── FunctionModels.h ├── StaticFunctionModels.cpp └── StaticFunctionModels.h ├── OSMonitors ├── Linux │ ├── BaseLinuxMonitor.cpp │ ├── BaseLinuxMonitor.h │ ├── DecreeMonitor.cpp │ ├── DecreeMonitor.h │ ├── LinuxMonitor.cpp │ └── LinuxMonitor.h ├── ModuleDescriptor.cpp ├── ModuleDescriptor.h ├── OSMonitor.cpp ├── OSMonitor.h ├── Raw │ ├── RawMonitor.cpp │ └── RawMonitor.h ├── Support │ ├── GuestCodeHooking.cpp │ ├── GuestCodeHooking.h │ ├── MemUtils.cpp │ ├── MemUtils.h │ ├── MemoryMap.cpp │ ├── MemoryMap.h │ ├── ModuleExecutionDetector.cpp │ ├── ModuleExecutionDetector.h │ ├── ModuleMap.cpp │ ├── ModuleMap.h │ ├── ProcessExecutionDetector.cpp │ └── ProcessExecutionDetector.h ├── ThreadDescriptor.h └── Windows │ ├── BlueScreenInterceptor.cpp │ ├── BlueScreenInterceptor.h │ ├── WindowsCrashDumpGenerator.cpp │ ├── WindowsCrashDumpGenerator.h │ ├── WindowsCrashMonitor.cpp │ ├── WindowsCrashMonitor.h │ ├── WindowsMonitor.cpp │ └── WindowsMonitor.h ├── PathLimiters ├── EdgeKiller.cpp ├── EdgeKiller.h ├── ForkLimiter.cpp ├── ForkLimiter.h ├── ResourceMonitor.cpp └── ResourceMonitor.h ├── Searchers ├── CUPASearcher.cpp ├── CUPASearcher.h ├── Common.h ├── CooperativeSearcher.cpp ├── CooperativeSearcher.h ├── LoopExitSearcher.cpp ├── LoopExitSearcher.h ├── MergingSearcher.cpp ├── MergingSearcher.h ├── MultiSearcher.cpp ├── MultiSearcher.h ├── SeedScheduler.cpp ├── SeedScheduler.h ├── SeedSearcher.cpp └── SeedSearcher.h ├── StaticAnalysis ├── ControlFlowGraph.cpp ├── ControlFlowGraph.h ├── EdgeDetector.cpp ├── EdgeDetector.h ├── LoopDetector.cpp └── LoopDetector.h ├── Support ├── Database.cpp ├── Database.h ├── KeyValueStore.cpp ├── KeyValueStore.h ├── KeyValueStore.py ├── KeyValueStoreTest.py ├── WebServiceInterface.cpp └── WebServiceInterface.h ├── SymbolicHardware ├── SymbolicHardware.cpp └── SymbolicHardware.h └── VulnerabilityAnalysis ├── CGCInterface.cpp ├── CGCInterface.h ├── DecreePovGenerator.cpp ├── DecreePovGenerator.h ├── FilePovGenerator.cpp ├── FilePovGenerator.h ├── PovGenerationPolicy.cpp ├── PovGenerationPolicy.h ├── PovGenerator.cpp ├── PovGenerator.h └── Recipe ├── Recipe.cpp ├── Recipe.h ├── RecipeDescriptor.cpp ├── RecipeDescriptor.h ├── Register.cpp └── Register.h /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LIBS2EPLUGINSConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/LIBS2EPLUGINSConfig.cmake.in -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/LICENSE -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/s2e/Plugins/Analyzers/CacheSim.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Analyzers/CacheSim.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Analyzers/CacheSim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Analyzers/CacheSim.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/BaseInstructions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/BaseInstructions.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/BaseInstructions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/BaseInstructions.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/Events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/Events.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/HostFiles.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/HostFiles.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/HostFiles.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/HostFiles.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/Vmi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/Vmi.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Core/Vmi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Core/Vmi.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Coverage/BasicBlockCoverage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Coverage/BasicBlockCoverage.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Coverage/BasicBlockCoverage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Coverage/BasicBlockCoverage.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Coverage/EdgeCoverage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Coverage/EdgeCoverage.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Coverage/EdgeCoverage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Coverage/EdgeCoverage.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Coverage/TranslationBlockCoverage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Coverage/TranslationBlockCoverage.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Coverage/TranslationBlockCoverage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Coverage/TranslationBlockCoverage.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Example.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Example.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Example.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Example.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/CallSiteMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/CallSiteMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/CallSiteMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/CallSiteMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/CallTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/CallTree.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/FunctionMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/FunctionMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/FunctionMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/FunctionMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/LibraryCallMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/LibraryCallMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/LibraryCallMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/LibraryCallMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/StackClustering.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/StackClustering.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/StackClustering.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/StackClustering.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/StackMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/StackMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionMonitors/StackMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionMonitors/StackMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/EventTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/EventTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/EventTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/EventTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ExceptionTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ExceptionTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ExceptionTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ExceptionTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ExecutionTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ExecutionTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ExecutionTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ExecutionTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/InstructionCounter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/InstructionCounter.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/InstructionCounter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/InstructionCounter.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/MemoryTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/MemoryTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/MemoryTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/MemoryTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ModuleTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ModuleTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ModuleTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ModuleTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/ModuleTracing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/ModuleTracing.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/StateSwitchTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/StateSwitchTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/StateSwitchTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/StateSwitchTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TBCoverageTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TBCoverageTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TBCoverageTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TBCoverageTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TestCaseGenerator.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TraceEntries.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TraceEntries.proto -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TranslationBlockTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TranslationBlockTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/TranslationBlockTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/TranslationBlockTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/UserSpaceTracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/UserSpaceTracer.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/ExecutionTracers/UserSpaceTracer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/ExecutionTracers/UserSpaceTracer.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/Lua.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/Lua.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaBindings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaBindings.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaBindings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaBindings.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaCoreEvents.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaCoreEvents.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaCoreEvents.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaCoreEvents.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaExpression.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaExpression.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaExpression.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaExpression.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaFunctionInstrumentation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaFunctionInstrumentation.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaFunctionInstrumentation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaFunctionInstrumentation.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaFunctionInstrumentationState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaFunctionInstrumentationState.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaFunctionInstrumentationState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaFunctionInstrumentationState.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaInstructionInstrumentation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaInstructionInstrumentation.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaInstructionInstrumentation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaInstructionInstrumentation.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaInstructionInstrumentationState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaInstructionInstrumentationState.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaInstructionInstrumentationState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaInstructionInstrumentationState.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaInstrumentationState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaInstrumentationState.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaInstrumentationState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaInstrumentationState.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaModuleDescriptor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaModuleDescriptor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaModuleDescriptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaModuleDescriptor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaPlugin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaPlugin.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2E.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2E.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2E.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2E.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2EExecutionState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2EExecutionState.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2EExecutionState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2EExecutionState.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2EExecutionStateMemory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2EExecutionStateMemory.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2EExecutionStateMemory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2EExecutionStateMemory.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2EExecutionStateRegisters.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2EExecutionStateRegisters.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Lua/LuaS2EExecutionStateRegisters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Lua/LuaS2EExecutionStateRegisters.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/BaseFunctionModels.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/BaseFunctionModels.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/BaseFunctionModels.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/BaseFunctionModels.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/CRC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/CRC.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/FunctionModels.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/FunctionModels.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/FunctionModels.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/FunctionModels.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/StaticFunctionModels.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/StaticFunctionModels.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Models/StaticFunctionModels.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Models/StaticFunctionModels.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Linux/BaseLinuxMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Linux/BaseLinuxMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Linux/BaseLinuxMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Linux/BaseLinuxMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Linux/DecreeMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Linux/DecreeMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Linux/DecreeMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Linux/DecreeMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Linux/LinuxMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Linux/LinuxMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Linux/LinuxMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Linux/LinuxMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/ModuleDescriptor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/ModuleDescriptor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/ModuleDescriptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/ModuleDescriptor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/OSMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/OSMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/OSMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/OSMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Raw/RawMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Raw/RawMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Raw/RawMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Raw/RawMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/GuestCodeHooking.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/GuestCodeHooking.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/GuestCodeHooking.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/GuestCodeHooking.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/MemUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/MemUtils.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/MemUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/MemUtils.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/MemoryMap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/MemoryMap.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/MemoryMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/MemoryMap.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/ModuleExecutionDetector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/ModuleExecutionDetector.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/ModuleExecutionDetector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/ModuleExecutionDetector.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/ModuleMap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/ModuleMap.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/ModuleMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/ModuleMap.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/ProcessExecutionDetector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/ProcessExecutionDetector.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Support/ProcessExecutionDetector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Support/ProcessExecutionDetector.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/ThreadDescriptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/ThreadDescriptor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/BlueScreenInterceptor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/BlueScreenInterceptor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/BlueScreenInterceptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/BlueScreenInterceptor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/WindowsCrashDumpGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/WindowsCrashDumpGenerator.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/WindowsCrashDumpGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/WindowsCrashDumpGenerator.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/WindowsCrashMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/WindowsCrashMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/WindowsCrashMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/WindowsCrashMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/WindowsMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/WindowsMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/OSMonitors/Windows/WindowsMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/OSMonitors/Windows/WindowsMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/PathLimiters/EdgeKiller.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/PathLimiters/EdgeKiller.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/PathLimiters/EdgeKiller.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/PathLimiters/EdgeKiller.h -------------------------------------------------------------------------------- /src/s2e/Plugins/PathLimiters/ForkLimiter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/PathLimiters/ForkLimiter.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/PathLimiters/ForkLimiter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/PathLimiters/ForkLimiter.h -------------------------------------------------------------------------------- /src/s2e/Plugins/PathLimiters/ResourceMonitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/PathLimiters/ResourceMonitor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/PathLimiters/ResourceMonitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/PathLimiters/ResourceMonitor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/CUPASearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/CUPASearcher.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/CUPASearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/CUPASearcher.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/Common.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/CooperativeSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/CooperativeSearcher.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/CooperativeSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/CooperativeSearcher.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/LoopExitSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/LoopExitSearcher.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/LoopExitSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/LoopExitSearcher.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/MergingSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/MergingSearcher.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/MergingSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/MergingSearcher.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/MultiSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/MultiSearcher.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/MultiSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/MultiSearcher.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/SeedScheduler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/SeedScheduler.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/SeedScheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/SeedScheduler.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/SeedSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/SeedSearcher.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Searchers/SeedSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Searchers/SeedSearcher.h -------------------------------------------------------------------------------- /src/s2e/Plugins/StaticAnalysis/ControlFlowGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/StaticAnalysis/ControlFlowGraph.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/StaticAnalysis/ControlFlowGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/StaticAnalysis/ControlFlowGraph.h -------------------------------------------------------------------------------- /src/s2e/Plugins/StaticAnalysis/EdgeDetector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/StaticAnalysis/EdgeDetector.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/StaticAnalysis/EdgeDetector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/StaticAnalysis/EdgeDetector.h -------------------------------------------------------------------------------- /src/s2e/Plugins/StaticAnalysis/LoopDetector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/StaticAnalysis/LoopDetector.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/StaticAnalysis/LoopDetector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/StaticAnalysis/LoopDetector.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/Database.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/Database.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/Database.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/Database.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/KeyValueStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/KeyValueStore.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/KeyValueStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/KeyValueStore.h -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/KeyValueStore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/KeyValueStore.py -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/KeyValueStoreTest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/KeyValueStoreTest.py -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/WebServiceInterface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/WebServiceInterface.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/Support/WebServiceInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/Support/WebServiceInterface.h -------------------------------------------------------------------------------- /src/s2e/Plugins/SymbolicHardware/SymbolicHardware.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/SymbolicHardware/SymbolicHardware.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/SymbolicHardware/SymbolicHardware.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/SymbolicHardware/SymbolicHardware.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/CGCInterface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/CGCInterface.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/CGCInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/CGCInterface.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/DecreePovGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/DecreePovGenerator.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/DecreePovGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/DecreePovGenerator.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/FilePovGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/FilePovGenerator.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/FilePovGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/FilePovGenerator.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/PovGenerationPolicy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/PovGenerationPolicy.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/PovGenerationPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/PovGenerationPolicy.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/PovGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/PovGenerator.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/PovGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/PovGenerator.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Recipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Recipe.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Recipe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Recipe.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/Recipe/RecipeDescriptor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/Recipe/RecipeDescriptor.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/Recipe/RecipeDescriptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/Recipe/RecipeDescriptor.h -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Register.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Register.cpp -------------------------------------------------------------------------------- /src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Register.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2eplugins/HEAD/src/s2e/Plugins/VulnerabilityAnalysis/Recipe/Register.h --------------------------------------------------------------------------------