Inference of function argument & function call

[jzy2000]

Hi, I've been exploring this tool, seeking for ability to infer value of function arguments such as value of "foo" in sample#1, as well as inferring values of implicit variables, such as value of "fx()" call in sample#2 . Would you please share insights on getting this done with dfatool? Thanks in advance.

Sample#1

function fx(foo) {
    console.log("value of foo is:"+foo);
};
fx("bar");

Sample#1 Variation

(function fx(foo) {
    console.log("value of foo is:"+foo);
})("bar");

Sample#2

function fx() {
  return "foo";
}
console.log("value of fx() is:"+fx());