Scheck does not detect bugs

[improved-broccoli]

Here is my test PHP file:

<?php

function foobar($var) {
    return $varr;
}

foobar();

First, I build a graph with codegraph -build -o /tmp/ -lang php . Then, I run scheck -with_graph_code /tmp/graph_code.marshall .

scheck have to detect 2 bugs:

• Undeclared variable in return statement in foobar function
• Missing argument in foobar calling

But scheck did not return any bugs.

Did I do something wrong?

Thanks.