Hi! I'm looking for the PHP 5 grammar specification. I'm studying the possibility of implementing an abstract interpretation tool with flex/bison in order to find security vulnerabilities (Injection vulnerabilities, XSS) in the code in a static manner. I know Pixy but I would like to study another possibility. Where I can find the grammar? What do you think about this idea?