aggressive_slicer.h File Reference

#include <list>
#include <string>
#include <util/irep.h>
#include <analyses/call_graph.h>
#include <goto-programs/goto_model.h>

Include dependency graph for aggressive_slicer.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	aggressive_slicert
	The aggressive slicer removes the body of all the functions except those on the shortest path, those within the call-depth of the shortest path, those given by name as command line argument, and those that contain a given irep_idt snippet If no properties are set by the user, we preserve all functions on the shortest paths to each property. More...

Macros
#define	OPT_AGGRESSIVE_SLICER

Detailed Description

Aggressive slicer Consider the control flow graph of the goto program and a criterion description of aggressive slicer here

Definition in file aggressive_slicer.h.

Macro Definition Documentation

OPT_AGGRESSIVE_SLICER

#define OPT_AGGRESSIVE_SLICER

Value:

    "(aggressive-slice)" \
    "(aggressive-slice-call-depth):" \
    "(aggressive-slice-preserve-function):" \
    "(aggressive-slice-preserve-functions-containing):" \
    "(aggressive-slice-preserve-all-direct-paths)"

Definition at line 99 of file aggressive_slicer.h.