Asttoctl2
Asttomember
C_vs_c
Check_exhaustive_pattern
Check_reachability
Cocci_vs_c
Ctlcocci_integration
Ctltotex
Externalanalysis
Flag_engine
Flag_matcher
Isomorphisms_c_c
Lib_engine
Lib_matcher_c
Pattern_c
Postprocess_transinfo
Pretty_print_engine
Transformation_c