Skip to content

Commit

Permalink
Merge pull request #69 from wallds/patch-2
Browse files Browse the repository at this point in the history
Fix infinite loop
  • Loading branch information
mrexodia authored Feb 9, 2022
2 parents ad08f51 + df0d9a1 commit 8ca24f7
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 6 deletions.
2 changes: 2 additions & 0 deletions VTIL-Compiler/VTIL-Compiler.vcxproj
Original file line number Diff line number Diff line change
Expand Up @@ -211,6 +211,7 @@
<ItemGroup>
<ClCompile Include="common\auxiliaries.cpp" />
<ClCompile Include="optimizer\bblock_extension_pass.cpp" />
<ClCompile Include="optimizer\bblock_thunk_removal_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" />
Expand All @@ -230,6 +231,7 @@
<ClInclude Include="common\interface.hpp" />
<ClInclude Include="includes\vtil\optimizer-tests" />
<ClInclude Include="optimizer\bblock_extension_pass.hpp" />
<ClInclude Include="optimizer\bblock_thunk_removal_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" />
Expand Down
6 changes: 6 additions & 0 deletions VTIL-Compiler/VTIL-Compiler.vcxproj.filters
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,9 @@
<ClCompile Include="optimizer\fast_propagation_pass.cpp">
<Filter>Optimization Passes</Filter>
</ClCompile>
<ClCompile Include="optimizer\bblock_thunk_removal_pass.cpp">
<Filter>Optimization Passes</Filter>
</ClCompile>
</ItemGroup>
<ItemGroup>
<Filter Include="Includes">
Expand Down Expand Up @@ -114,6 +117,9 @@
<ClInclude Include="validation\unit_test.hpp">
<Filter>Validation</Filter>
</ClInclude>
<ClInclude Include="optimizer\bblock_thunk_removal_pass.hpp">
<Filter>Optimization Passes</Filter>
</ClInclude>
</ItemGroup>
<ItemGroup>
<None Include="VTIL-Compiler.licenseheader" />
Expand Down
7 changes: 1 addition & 6 deletions VTIL-SymEx/expressions/expression.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -548,15 +548,10 @@ namespace vtil::symbolic
}
case math::operator_id::shift_left:
case math::operator_id::shift_right:
{
rhs.resize( sizeof(uintptr_t), false );
break;
}

case math::operator_id::rotate_left:
case math::operator_id::rotate_right:
{
rhs.resize( sizeof(uintptr_t), false );
rhs.resize( 32, false );
break;
}
case math::operator_id::multiply_high:
Expand Down

0 comments on commit 8ca24f7

Please sign in to comment.