open_issues/code_analysis: GCC plugins; CTraps.