- 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