Concolic Testing of JavaScript using Sparkplug
Zhe Li, Fei Xie
TL;DR
This paper presents an enhanced concolic testing method for JavaScript that leverages V8 Sparkplug and remill libraries, achieving comparable coverage and bug detection with reduced testing time.
Contribution
It introduces a novel approach combining V8 Sparkplug and remill for faster, more efficient concolic testing of JavaScript applications.
Findings
Achieved similar code coverage as existing methods
Detected bugs effectively in less testing time
Validated on 160 Node.js libraries
Abstract
JavaScript is prevalent in web and server apps, handling sensitive data. JS testing methods lag behind other languages. Insitu concolic testing for JS is effective but slow and complex. Our method enhances tracing with V8 Sparkplug baseline compiler and remill libraries for assembly to LLVM IR conversion. Evaluation on 160 Node.js libraries reveals comparable coverage and bug detection in significantly less time than the in-situ method.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Teaching and Learning Programming · Educational Technology and Assessment