12#ifndef CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
13#define CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
32 std::string
what()
const override
Base class for exceptions thrown in the cprover project.
Base class for all expressions.
A collection of goto functions.
A generic container class for the GOTO intermediate representation of one function.
source_locationt source_location
incorrect_source_program_exceptiont(std::string message, source_locationt source_location)
std::string what() const override
A human readable description of what went wrong.
std::string as_string() const
void string_instrumentation(symbol_tablet &, goto_programt &)
exprt buffer_size(const exprt &what)
exprt zero_string_length(const exprt &what, bool write=false)
exprt is_zero_string(const exprt &what, bool write=false)