mirror of
https://github.com/vtil-project/VTIL-Core
synced 2026-08-17 08:23:03 -04:00
295 lines
No EOL
16 KiB
XML
295 lines
No EOL
16 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<Project DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
|
|
<ItemGroup Label="ProjectConfigurations">
|
|
<ProjectConfiguration Include="Debug|x64">
|
|
<Configuration>Debug</Configuration>
|
|
<Platform>x64</Platform>
|
|
</ProjectConfiguration>
|
|
<ProjectConfiguration Include="Release - Clang|x64">
|
|
<Configuration>Release - Clang</Configuration>
|
|
<Platform>x64</Platform>
|
|
</ProjectConfiguration>
|
|
<ProjectConfiguration Include="Release - LTCG|x64">
|
|
<Configuration>Release - LTCG</Configuration>
|
|
<Platform>x64</Platform>
|
|
</ProjectConfiguration>
|
|
<ProjectConfiguration Include="Release|x64">
|
|
<Configuration>Release</Configuration>
|
|
<Platform>x64</Platform>
|
|
</ProjectConfiguration>
|
|
</ItemGroup>
|
|
<PropertyGroup Label="Globals">
|
|
<VCProjectVersion>16.0</VCProjectVersion>
|
|
<ProjectGuid>{F960486B-2DB4-44AF-91BB-0F19F228ABCF}</ProjectGuid>
|
|
<RootNamespace>VTILOptimizer</RootNamespace>
|
|
<WindowsTargetPlatformVersion>10.0</WindowsTargetPlatformVersion>
|
|
<ProjectName>VTIL-Compiler</ProjectName>
|
|
</PropertyGroup>
|
|
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
|
|
<ConfigurationType>Application</ConfigurationType>
|
|
<UseDebugLibraries>true</UseDebugLibraries>
|
|
<PlatformToolset>v142</PlatformToolset>
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
<SpectreMitigation>false</SpectreMitigation>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
|
|
<ConfigurationType>Application</ConfigurationType>
|
|
<UseDebugLibraries>false</UseDebugLibraries>
|
|
<PlatformToolset>v142</PlatformToolset>
|
|
<WholeProgramOptimization>false</WholeProgramOptimization>
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
<InterproceduralOptimization>true</InterproceduralOptimization>
|
|
<SpectreMitigation>false</SpectreMitigation>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release - LTCG|x64'" Label="Configuration">
|
|
<ConfigurationType>Application</ConfigurationType>
|
|
<UseDebugLibraries>false</UseDebugLibraries>
|
|
<PlatformToolset>v142</PlatformToolset>
|
|
<WholeProgramOptimization>false</WholeProgramOptimization>
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
<InterproceduralOptimization>true</InterproceduralOptimization>
|
|
<SpectreMitigation>false</SpectreMitigation>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release - Clang|x64'" Label="Configuration">
|
|
<ConfigurationType>Application</ConfigurationType>
|
|
<UseDebugLibraries>false</UseDebugLibraries>
|
|
<PlatformToolset>ClangCL</PlatformToolset>
|
|
<WholeProgramOptimization>false</WholeProgramOptimization>
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
<InterproceduralOptimization>true</InterproceduralOptimization>
|
|
<SpectreMitigation>false</SpectreMitigation>
|
|
</PropertyGroup>
|
|
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
|
|
<ImportGroup Label="ExtensionSettings">
|
|
</ImportGroup>
|
|
<ImportGroup Label="Shared">
|
|
</ImportGroup>
|
|
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
</ImportGroup>
|
|
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
</ImportGroup>
|
|
<ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release - LTCG|x64'" Label="PropertySheets">
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
</ImportGroup>
|
|
<ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release - Clang|x64'" Label="PropertySheets">
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
</ImportGroup>
|
|
<PropertyGroup Label="UserMacros" />
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
|
<LinkIncremental>true</LinkIncremental>
|
|
<IncludePath>$(ProjectDir)..\Capstone\include;$(ProjectDir)..\Keystone\include;$(ProjectDir)..\VTIL-Architecture\includes;$(ProjectDir)..\VTIL-SymEx\includes;$(ProjectDir)..\VTIL-Common\includes;$(VC_IncludePath);$(WindowsSDK_IncludePath)</IncludePath>
|
|
<LibraryPath>$(LibraryPath)</LibraryPath>
|
|
<OutDir>$(ProjectDir)..\$(Platform)\$(Configuration)\</OutDir>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
|
<LinkIncremental>false</LinkIncremental>
|
|
<IncludePath>$(ProjectDir)..\Capstone\include;$(ProjectDir)..\Keystone\include;$(ProjectDir)..\VTIL-Architecture\includes;$(ProjectDir)..\VTIL-SymEx\includes;$(ProjectDir)..\VTIL-Common\includes;$(VC_IncludePath);$(WindowsSDK_IncludePath)</IncludePath>
|
|
<LibraryPath>$(LibraryPath)</LibraryPath>
|
|
<OutDir>$(ProjectDir)..\$(Platform)\$(Configuration)\</OutDir>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release - LTCG|x64'">
|
|
<LinkIncremental>false</LinkIncremental>
|
|
<IncludePath>$(ProjectDir)..\Capstone\include;$(ProjectDir)..\Keystone\include;$(ProjectDir)..\VTIL-Architecture\includes;$(ProjectDir)..\VTIL-SymEx\includes;$(ProjectDir)..\VTIL-Common\includes;$(VC_IncludePath);$(WindowsSDK_IncludePath)</IncludePath>
|
|
<LibraryPath>$(LibraryPath)</LibraryPath>
|
|
<OutDir>$(ProjectDir)..\$(Platform)\$(Configuration)\</OutDir>
|
|
</PropertyGroup>
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release - Clang|x64'">
|
|
<LinkIncremental>false</LinkIncremental>
|
|
<IncludePath>$(ProjectDir)..\Capstone\include;$(ProjectDir)..\Keystone\include;$(ProjectDir)..\VTIL-Architecture\includes;$(ProjectDir)..\VTIL-SymEx\includes;$(ProjectDir)..\VTIL-Common\includes;$(VC_IncludePath);$(WindowsSDK_IncludePath)</IncludePath>
|
|
<LibraryPath>$(LibraryPath)</LibraryPath>
|
|
<OutDir>$(ProjectDir)..\$(Platform)\$(Configuration)\</OutDir>
|
|
</PropertyGroup>
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
|
<ClCompile>
|
|
<WarningLevel>Level3</WarningLevel>
|
|
<SDLCheck>
|
|
</SDLCheck>
|
|
<PreprocessorDefinitions>_DEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
|
<ConformanceMode>true</ConformanceMode>
|
|
<LanguageStandard>stdcpplatest</LanguageStandard>
|
|
<MultiProcessorCompilation>true</MultiProcessorCompilation>
|
|
<BufferSecurityCheck>true</BufferSecurityCheck>
|
|
<ControlFlowGuard>false</ControlFlowGuard>
|
|
<AdditionalOptions>/bigobj %(AdditionalOptions)</AdditionalOptions>
|
|
</ClCompile>
|
|
<Link>
|
|
<SubSystem>Console</SubSystem>
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
<AdditionalDependencies>kernel32.lib;user32.lib;gdi32.lib;winspool.lib;comdlg32.lib;advapi32.lib;shell32.lib;ole32.lib;oleaut32.lib;uuid.lib;odbc32.lib;odbccp32.lib;%(AdditionalDependencies)</AdditionalDependencies>
|
|
<LinkTimeCodeGeneration>Default</LinkTimeCodeGeneration>
|
|
<AdditionalOptions>/STACK:34359738368 %(AdditionalOptions)</AdditionalOptions>
|
|
</Link>
|
|
</ItemDefinitionGroup>
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
|
<ClCompile>
|
|
<WarningLevel>Level3</WarningLevel>
|
|
<FunctionLevelLinking>true</FunctionLevelLinking>
|
|
<IntrinsicFunctions>true</IntrinsicFunctions>
|
|
<SDLCheck>
|
|
</SDLCheck>
|
|
<PreprocessorDefinitions>NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
|
<ConformanceMode>true</ConformanceMode>
|
|
<LanguageStandard>stdcpplatest</LanguageStandard>
|
|
<RuntimeLibrary>MultiThreaded</RuntimeLibrary>
|
|
<MultiProcessorCompilation>true</MultiProcessorCompilation>
|
|
<EnableEnhancedInstructionSet>NotSet</EnableEnhancedInstructionSet>
|
|
<BufferSecurityCheck>false</BufferSecurityCheck>
|
|
<ControlFlowGuard>false</ControlFlowGuard>
|
|
<Optimization>MaxSpeed</Optimization>
|
|
<FavorSizeOrSpeed>Speed</FavorSizeOrSpeed>
|
|
<FloatingPointModel>Fast</FloatingPointModel>
|
|
<AdditionalOptions>/bigobj %(AdditionalOptions)</AdditionalOptions>
|
|
<InlineFunctionExpansion>AnySuitable</InlineFunctionExpansion>
|
|
<IntelJCCErratum>true</IntelJCCErratum>
|
|
<WholeProgramOptimization>false</WholeProgramOptimization>
|
|
</ClCompile>
|
|
<Link>
|
|
<SubSystem>Console</SubSystem>
|
|
<EnableCOMDATFolding>true</EnableCOMDATFolding>
|
|
<OptimizeReferences>true</OptimizeReferences>
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
<AdditionalDependencies>kernel32.lib;user32.lib;gdi32.lib;winspool.lib;comdlg32.lib;advapi32.lib;shell32.lib;ole32.lib;oleaut32.lib;uuid.lib;odbc32.lib;odbccp32.lib;%(AdditionalDependencies)</AdditionalDependencies>
|
|
<AdditionalOptions>/STACK:34359738368 %(AdditionalOptions)</AdditionalOptions>
|
|
<LinkTimeCodeGeneration>Default</LinkTimeCodeGeneration>
|
|
</Link>
|
|
<Lib>
|
|
<LinkTimeCodeGeneration>true</LinkTimeCodeGeneration>
|
|
</Lib>
|
|
</ItemDefinitionGroup>
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release - LTCG|x64'">
|
|
<ClCompile>
|
|
<WarningLevel>Level3</WarningLevel>
|
|
<FunctionLevelLinking>true</FunctionLevelLinking>
|
|
<IntrinsicFunctions>true</IntrinsicFunctions>
|
|
<SDLCheck>
|
|
</SDLCheck>
|
|
<PreprocessorDefinitions>NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
|
<ConformanceMode>true</ConformanceMode>
|
|
<LanguageStandard>stdcpplatest</LanguageStandard>
|
|
<RuntimeLibrary>MultiThreaded</RuntimeLibrary>
|
|
<MultiProcessorCompilation>true</MultiProcessorCompilation>
|
|
<EnableEnhancedInstructionSet>NotSet</EnableEnhancedInstructionSet>
|
|
<BufferSecurityCheck>false</BufferSecurityCheck>
|
|
<ControlFlowGuard>false</ControlFlowGuard>
|
|
<Optimization>MaxSpeed</Optimization>
|
|
<FavorSizeOrSpeed>Speed</FavorSizeOrSpeed>
|
|
<FloatingPointModel>Fast</FloatingPointModel>
|
|
<AdditionalOptions>/bigobj %(AdditionalOptions)</AdditionalOptions>
|
|
<InlineFunctionExpansion>AnySuitable</InlineFunctionExpansion>
|
|
<IntelJCCErratum>true</IntelJCCErratum>
|
|
<WholeProgramOptimization>true</WholeProgramOptimization>
|
|
</ClCompile>
|
|
<Link>
|
|
<SubSystem>Console</SubSystem>
|
|
<EnableCOMDATFolding>true</EnableCOMDATFolding>
|
|
<OptimizeReferences>true</OptimizeReferences>
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
<AdditionalDependencies>kernel32.lib;user32.lib;gdi32.lib;winspool.lib;comdlg32.lib;advapi32.lib;shell32.lib;ole32.lib;oleaut32.lib;uuid.lib;odbc32.lib;odbccp32.lib;%(AdditionalDependencies)</AdditionalDependencies>
|
|
<AdditionalOptions>/STACK:34359738368 %(AdditionalOptions)</AdditionalOptions>
|
|
<LinkTimeCodeGeneration>UseFastLinkTimeCodeGeneration</LinkTimeCodeGeneration>
|
|
</Link>
|
|
<Lib>
|
|
<LinkTimeCodeGeneration>true</LinkTimeCodeGeneration>
|
|
</Lib>
|
|
</ItemDefinitionGroup>
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release - Clang|x64'">
|
|
<ClCompile>
|
|
<WarningLevel>Level3</WarningLevel>
|
|
<FunctionLevelLinking>true</FunctionLevelLinking>
|
|
<IntrinsicFunctions>true</IntrinsicFunctions>
|
|
<SDLCheck>
|
|
</SDLCheck>
|
|
<PreprocessorDefinitions>NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
|
<ConformanceMode>true</ConformanceMode>
|
|
<LanguageStandard>stdcpplatest</LanguageStandard>
|
|
<RuntimeLibrary>MultiThreaded</RuntimeLibrary>
|
|
<MultiProcessorCompilation>true</MultiProcessorCompilation>
|
|
<EnableEnhancedInstructionSet>NotSet</EnableEnhancedInstructionSet>
|
|
<BufferSecurityCheck>false</BufferSecurityCheck>
|
|
<ControlFlowGuard>false</ControlFlowGuard>
|
|
<Optimization>MaxSpeed</Optimization>
|
|
<FavorSizeOrSpeed>Speed</FavorSizeOrSpeed>
|
|
<FloatingPointModel>Fast</FloatingPointModel>
|
|
<AdditionalOptions>/bigobj %(AdditionalOptions)</AdditionalOptions>
|
|
<InlineFunctionExpansion>AnySuitable</InlineFunctionExpansion>
|
|
</ClCompile>
|
|
<Link>
|
|
<SubSystem>Console</SubSystem>
|
|
<EnableCOMDATFolding>true</EnableCOMDATFolding>
|
|
<OptimizeReferences>true</OptimizeReferences>
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
<AdditionalDependencies>kernel32.lib;user32.lib;gdi32.lib;winspool.lib;comdlg32.lib;advapi32.lib;shell32.lib;ole32.lib;oleaut32.lib;uuid.lib;odbc32.lib;odbccp32.lib;%(AdditionalDependencies)</AdditionalDependencies>
|
|
<AdditionalOptions>/STACK:34359738368 %(AdditionalOptions)</AdditionalOptions>
|
|
</Link>
|
|
<Lib>
|
|
<LinkTimeCodeGeneration>true</LinkTimeCodeGeneration>
|
|
</Lib>
|
|
</ItemDefinitionGroup>
|
|
<ItemGroup>
|
|
<ClCompile Include="common\auxiliaries.cpp" />
|
|
<ClCompile Include="main.cpp" />
|
|
<ClInclude Include="analysis\symbolic_analysis.hpp" />
|
|
<ClInclude Include="common\apply_all.hpp" />
|
|
<ClCompile Include="optimizer\bblock_extension_pass.cpp" />
|
|
<ClCompile Include="optimizer\branch_correction_pass.cpp" />
|
|
<ClCompile Include="optimizer\dead_code_elimination_pass.cpp" />
|
|
<ClCompile Include="optimizer\fast_dead_code_elimination_pass.cpp" />
|
|
<ClCompile Include="optimizer\fast_propagation_pass.cpp" />
|
|
<ClCompile Include="optimizer\istack_ref_substitution_pass.cpp" />
|
|
<ClCompile Include="optimizer\mov_propagation_pass.cpp" />
|
|
<ClCompile Include="optimizer\register_renaming_pass.cpp" />
|
|
<ClCompile Include="optimizer\stack_pinning_pass.cpp" />
|
|
<ClCompile Include="optimizer\stack_propagation_pass.cpp" />
|
|
<ClCompile Include="optimizer\symbolic\preliminary_register_elimination.cpp" />
|
|
<ClCompile Include="optimizer\symbolic_rewrite_pass.cpp" />
|
|
<ClCompile Include="validation\pass_validation.cpp" />
|
|
<ClCompile Include="validation\test1.cpp" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<ClInclude Include="common\auxiliaries.hpp" />
|
|
<ClInclude Include="common\interface.hpp" />
|
|
<ClInclude Include="includes\vtil\optimizer-tests" />
|
|
<ClInclude Include="optimizer\bblock_extension_pass.hpp" />
|
|
<ClInclude Include="optimizer\branch_correction_pass.hpp" />
|
|
<ClInclude Include="optimizer\dead_code_elimination_pass.hpp" />
|
|
<ClInclude Include="optimizer\fast_dead_code_elimination_pass.hpp" />
|
|
<ClInclude Include="optimizer\fast_propagation_pass.hpp" />
|
|
<ClInclude Include="optimizer\istack_ref_substitution_pass.hpp" />
|
|
<ClInclude Include="optimizer\mov_propagation_pass.hpp" />
|
|
<ClInclude Include="optimizer\register_renaming_pass.hpp" />
|
|
<ClInclude Include="optimizer\stack_pinning_pass.hpp" />
|
|
<ClInclude Include="optimizer\stack_propagation_pass.hpp" />
|
|
<ClInclude Include="optimizer\symbolic\preliminary_register_elimination.hpp" />
|
|
<ClInclude Include="optimizer\symbolic_rewrite_pass.hpp" />
|
|
<ClInclude Include="validation\pass_validation.hpp" />
|
|
<ClInclude Include="validation\test1.hpp" />
|
|
<ClInclude Include="validation\unit_test.hpp" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<None Include="includes\vtil\compiler" />
|
|
<None Include="VTIL-Compiler.licenseheader" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<Text Include="CMakeLists.txt" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<ProjectReference Include="..\VTIL-Architecture\VTIL-Architecture.vcxproj">
|
|
<Project>{a79e2869-7626-4801-b09d-5c12f5163ba3}</Project>
|
|
</ProjectReference>
|
|
<ProjectReference Include="..\VTIL-Common\VTIL-Common.vcxproj">
|
|
<Project>{ec6b8f7f-730c-4086-b143-4664cc16df8f}</Project>
|
|
</ProjectReference>
|
|
<ProjectReference Include="..\VTIL-SymEx\VTIL-SymEx.vcxproj">
|
|
<Project>{fe3202ce-d05c-4e04-ae9b-d30305d8ce31}</Project>
|
|
</ProjectReference>
|
|
<ProjectReference Include="..\VTIL-Tests\VTIL-Tests.vcxproj">
|
|
<Project>{836dc7aa-919e-4463-970b-22d9012a8da4}</Project>
|
|
</ProjectReference>
|
|
</ItemGroup>
|
|
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
|
|
<ImportGroup Label="ExtensionTargets">
|
|
</ImportGroup>
|
|
</Project> |