1/*******************************************************************\
3Module: Java string literal processing
5Author: Chris Smowton, chris.smowton@diffblue.com
7\*******************************************************************/
9#ifndef CPROVER_JAVA_BYTECODE_JAVA_STRING_LITERALS_H
10#define CPROVER_JAVA_BYTECODE_JAVA_STRING_LITERALS_H
28 bool string_refinement_enabled);
36 bool string_refinement_enabled);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Expression to hold a symbol (variable)
The symbol table base class interface.
symbol_exprt get_or_create_string_literal_symbol(const java_string_literal_exprt &string_expr, symbol_table_baset &symbol_table, bool string_refinement_enabled)
Creates or gets an existing constant global symbol for a given string literal.
API to expression classes.