From:  thierry.sans@gmail.com
Date:  03 May 2018 22:00:14 Hong Kong Time
Newsgroup:  news.mozilla.org/mozilla.dev.tech.js-engine.internals
Subject:  

Generate CFG

NNTP-Posting-Host:  138.51.94.231

Hello,

Using SpiderMonkey, I am trying to generate the Control Flow Graph (CFG) as explained here: 

https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/Hacking_Tips#Hacking_tips

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.