Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
13 #define CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
31 std::string
what()
const override
59 #endif // CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
std::string as_string() const
void string_instrumentation(symbol_tablet &, message_handlert &, goto_programt &)
predicate_exprt is_zero_string(const exprt &what, bool write=false)
Base class for all expressions.
incorrect_source_program_exceptiont(std::string message, source_locationt source_location)
std::string what() const override
A human readable description of what went wrong.
A base class for expressions that are predicates, i.e., Boolean-typed.
exprt buffer_size(const exprt &what)
A collection of goto functions.
exprt zero_string_length(const exprt &what, bool write=false)
Goto Programs with Functions.
A generic container class for the GOTO intermediate representation of one function.
source_locationt source_location
Base class for exceptions thrown in the cprover project.