Newspeak is a simplified programming language, well-suited for the purpose of staticanalysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.