Field-insensitive, location-sensitive bitvector analysis. More...

#include "custom_bitvector_analysis.h"
#include <util/expr_util.h>
#include <util/pointer_expr.h>
#include <util/simplify_expr.h>
#include <util/string_constant.h>
#include <util/xml_irep.h>
#include <langapi/language_util.h>
#include <iostream>

Include dependency graph for custom_bitvector_analysis.cpp:

Go to the source code of this file.

Detailed Description

Field-insensitive, location-sensitive bitvector analysis.

Definition in file custom_bitvector_analysis.cpp.