aggressive_slicer.cpp File Reference

#include "aggressive_slicer.h"
#include <util/message.h>
#include <goto-programs/goto_model.h>
#include <goto-programs/show_properties.h>
#include <linking/static_lifetime_init.h>
#include <analyses/call_graph_helpers.h>
#include "remove_function.h"

Include dependency graph for aggressive_slicer.cpp:

Go to the source code of this file.

Detailed Description

Aggressive program slicer

Definition in file aggressive_slicer.cpp.