- o -

• obf_curr_id : obfuscate.c
• obf_mode : obfuscate.c , obfuscate.h
• obf_tree : obfuscate.c
• out_db_name : vpi.c
• output_db : score.c
• output_file : report.c
• ovl_assertions : ovl.c