Chopsticks is a simple parser and static analysis tool for the C language. At present only a limited subset of C is actually supported. The source code is parsed into an Abstract Syntax Tree and this is then converted automatically into a Control Flow Graph which is then used in CTL Model Checking to check it possesses certain properties. The idea for this came from the Goanna project at NICTA (http://nicta.com.au/research/projects/goanna/).

Ruben Henner Zilibowitz
18/5/09