Here is a list of all functions with links to the files they belong to:

- z -

• zero_if_negative() : string_constraint_generator.h, string_constraint_generator_main.cpp
• zero_initializer() : expr_initializer.cpp, expr_initializer.h
• zero_string_length() : string_instrumentation.cpp, string_instrumentation.h