Samsung/jalangi2

Wrong instrumentation for lambda expression

Mem2019 opened this issue · 1 comments

expression const lambda = (a,b) => a+b; will be instrumented to

const lambda = J$.X1(121, J$.W(113, 'lambda', (J$.R(81, 'a', a, 1), J$.R(89, 'b', b, 1)) => J$.B(10, '+', J$.R(97, 'a', a, 1), J$.R(105, 'b', b, 1), 0), lambda, 3));

which causes the unexpected token error...

The issue is with the use of J$ as a lot of Javascript/JQuery code assumes J$ to be Jquery however Jalangi identifies it as Jalangi construct. Manual/through script replace J$ with a different way of the recognizer