Using SpiderMonkey, I am trying to generate the Control Flow Graph (CFG) as explained here:
I am using the command:
IONFILTER=pdfjs.js:16934 IONFLAGS=logs,scripts,osi,bailouts ./js --ion-offthread-compile=off ./example.js 2>&1
However the files ion.json and cfg.json are not generated in /tmp/ as described in the documentation.
Any idea what the problem is?
FYI, I have compiled SpiderMonkey 61 in debug mode (--enable-debug --disable-optimize)
Moreover, is there a way to run SpiderMonkey, generate the CFG graph but without executing the code?
Thanks a lot.