am looking for some static analysis tool that
can do  alias analysis of c code....

the problem is
given a variable what are aliases to it ?

since thee is no thing like dynamic binding in C ,
i think this information can be easily found out by
statically analysing the code..any tool ..which does this job?