Manu Sridharan comments

Results 671 comments of


                                            Manu Sridharan

How can i use Jalangi framework in my use case

@JacksonGL can you give some advice here?

try to treat fall-through cases in switch as a single branch

@ksen007 is there any hope of addressing this one?

Add parameter to endExecution() to indicate a sudden exit

After discussion with @ksen007, we decided that to handle this case, we should add another parameter to the `endExecution` callback indicating when the program has exited suddenly, e.g., due to...

Reusing iids in src/js/runtime/analysis.js:A

@esbena is this still a problem?

cannot use argparse 1.0.2

I prefer a more conservative approach of updating dependencies on an as-needed basis. Unless we have a compelling reason to update argparse, I'll put this issue on the backburner.

instrumentation of html files containing onclick="return false;" throws SyntaxError exception

can't reproduce. have a full html file?

Support for Multi-Path symbolic execution

Unfortunately no, that is not supported in Jalangi 2. On Tue, Jan 30, 2018, 18:56 zhaogang wrote: > I saw in Jalangi1 there is implementation for Multi-Path symbolic > execution...

find dead writes during the execution of JavaScript programs?

You could base an analysis off of [MemInsight](https://github.com/Samsung/meminsight). You'd have to log all the uses of objects rather than just their last use. Then, given the trace, you could find...

Use Javascript based task runners?

Agreed. I will work on this when I get time.