/tools/smatch-data/

• ../
• no_return_funcs