cprover
|
Field-insensitive, location-sensitive escape analysis. More...
#include "escape_analysis.h"
#include <util/cprover_prefix.h>
#include <util/pointer_expr.h>
#include <util/simplify_expr.h>
Go to the source code of this file.
Field-insensitive, location-sensitive escape analysis.
Definition in file escape_analysis.cpp.