jalangi2 icon indicating copy to clipboard operation
jalangi2 copied to clipboard

Issue in TraceAll.js command

Open Jack4425 opened this issue 4 years ago • 1 comments

Hi,

I recently started working on Jalangi.I'm trying to run the following commands in TraceAll.js file

node src/js/commands/jalangi.js --inlineIID --inlineSource --analysis src/js/sample_analyses/ChainedAnalyses.js --analysis src/js/runtime/SMemory.js --analysis src/js/sample_analyses/pldi16/TraceAll.js tests/pldi16/TraceAllTest.js

node src/js/commands/esnstrument_cli.js --inlineIID --inlineSource --analysis src/js/sample_analyses/ChainedAnalyses.js --analysis src/js/runtime/SMemory.js --analysis src/js/sample_analyses/pldi16/TraceAll.js --out /tmp/pldi16/TraceAllTest.html tests/pldi16/TraceAllTest.html

node src/js/commands/esnstrument_cli.js --inlineIID --inlineSource --analysis src/js/sample_analyses/ChainedAnalyses.js --analysis src/js/runtime/SMemory.js --analysis src/js/sample_analyses/pldi16/TraceAll.js --out /tmp/pldi16/TraceAllTest.js tests/pldi16/TraceAllTest.js

The first one works perfect but the second and third one are showing errors as you can see below.

Error: ENOENT: no such file or directory, open '/tmp/pldi16/TraceAllTest.html'

Error: ENOENT: no such file or directory, open '/tmp/pldi16/TraceAllTest.json'

The TraceAllTest.html has the same path as in the above command but don't know why it is showing error? Any suggestion in this case please. Thanks

Jack4425 avatar May 28 '21 09:05 Jack4425

Hi @Jack4425 very sorry for the slow response. Not sure if it's still helpful, but for the cases that were failing, did the /tmp/pldi16 directory already exist? I wonder if Jalangi is missing logic to create output directories that don't exist.

msridhar avatar Jul 07 '21 00:07 msridhar