Comments (2)
You are right. I never instrumented delete operations. Let me see if I can add delete callbacks.
On Jul 17, 2014, at 3:33 PM, Manu Sridharan [email protected] wrote:
It looks like analyses do not get a callback for delete operations in analyzed code. I wrote the following program:
var x = { f : 3 };
delete x.f;
console.log(x);
Here is the Jalangi-instrumented version:J$.noInstrEval = false;
jalangiLabel0:
while (true) {
try {
J$.Se(65, '/tmp/delete_jalangi_.js');
J$.N(73, 'x', x, false, false);
var x = J$.W(25, 'x', J$.T(17, { f: J$.T(9, 3, 22, false) }, 11, false), x, false, true);
delete J$.R(33, 'x', x, false, true).f;
J$.M(57, J$.I(typeof console === 'undefined' ? console = J$.R(41, 'console', undefined, true, true) : console = J$.R
<
span class="p">(41, 'console', console, true, true)), 'log', false)(J$.R(49, 'x', x, false, true));
} catch (J$e) {
J$.Ex(81, J$e);
} finally {
if (J$.Sr(89))
continue jalangiLabel0;
else
break jalangiLabel0;
}
}
// JALANGI DO NOT INSTRUMENT
We need visibility into delete operations for an analysis. Would it be hard to add this support, @ksen007?—
Reply to this email directly or view it on GitHub.
from jalangi.
from jalangi.
Related Issues (20)
- remove literal() callback for constructor calls? HOT 3
- no invokeFun callback when invoked function throws an exception
- Add ChainedAnalyses2 by default when running with analysis2 HOT 1
- ChainedAnalyses2 adds significant slowdown
- Wrong scope for the exception variable in catch blocks HOT 1
- No callbacks called for assignments to the for-in loop variable
- Weird instrumentation for for-in assignments to properties HOT 1
- Wrong instrumentation for reads of eval
- Feature request: callback for the getter/setter values
- Bug in computeTopLevelExpressions for `o.p += ...`
- Bug: analysis.declare gets isArgument=false, for a shared parameter and argument name
- no literal callback for top-level function declarations in eval'd string HOT 4
- tizen browser test failed on my machine HOT 1
- A mistake in documentation HOT 1
- shadowing of undefined HOT 1
- console.log.length HOT 1
- How can i use Jalangi framework in my use case HOT 1
- non-minified version of demo.js HOT 2
- Need help
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from jalangi.