From 38c882e75f964c016176cb88f8bb762e2ac510df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Can=20B=C3=B6l=C3=BCk?= Date: Sat, 22 Aug 2020 06:34:14 +0200 Subject: [PATCH] Uncomment loop detection. --- VTIL-Architecture/trace/tracer.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/VTIL-Architecture/trace/tracer.cpp b/VTIL-Architecture/trace/tracer.cpp index fca56e6..bd2e967 100644 --- a/VTIL-Architecture/trace/tracer.cpp +++ b/VTIL-Architecture/trace/tracer.cpp @@ -308,13 +308,12 @@ namespace vtil { // Determine whether we're in a loop or not. // - bool potential_loop = true; + bool potential_loop = false; // Determine whether this block can be the entry/exit to a loop. // - //for ( auto& it : it_list ) - // potential_loop |= it.block->owner->has_path( it.block, lookup.at.block ); - //potential_loop &= it_list.size() > 1; + for ( auto& next : lookup.at.block->prev ) + potential_loop |= next->owner->has_path_bwd( next, lookup.at.block ); // If block does not touch our variable, skip the logic. //