From f32260d675c94b5bbd8c352ca46c7951a1b3fc5d Mon Sep 17 00:00:00 2001 From: Mark Brand Date: Thu, 4 Oct 2018 16:03:22 +0200 Subject: [PATCH] Removing basic_block_limit from solver since it doesn't make sense. --- analysis/solver.h | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/analysis/solver.h b/analysis/solver.h index 98708c2..c01faa4 100644 --- a/analysis/solver.h +++ b/analysis/solver.h @@ -137,8 +137,7 @@ bool SolveFunction(FlowGraph& rfg, InstructionProvider& ip, template bool SolveFunction(FlowGraph& rfg, InstructionProvider& ip, std::map& edge_states, size_t step_limit = 0x1000) { - return SolveFunction(rfg, ip, edge_states, T::Merge, step_limit, - basic_block_limit); + return SolveFunction(rfg, ip, edge_states, T::Merge, step_limit); } template @@ -146,8 +145,7 @@ bool SolveFunction(FlowGraph& rfg, const MemoryImage& memory_image, std::map& edge_states, size_t step_limit = 0x1000) { std::unique_ptr ip = InstructionProvider::Create(memory_image); - return SolveFunction(rfg, *ip, edge_states, T::Merge, step_limit, - basic_block_limit); + return SolveFunction(rfg, *ip, edge_states, T::Merge, step_limit); } } // namespace analysis } // namespace reil