warning_case_termination

warning_cfg_in_non_void_func

warning_dangling_switch_code

warning_dead_store

warning_double_free

warning_stdlib_func_return

warning_uninitialized_memory

warning_xfree

writeCFG

writeEdge

writeFooter

writeHeader

writeMethodGraph

writeNode

writeNodeOnce

writeToFile