Jalangi is a framework that annotates and monitors JavaScript programs and can be used for running analysis dealing with validation/monitoring/debugging,etc...It provides a general framework that can be extended with plug-ins.It is already implementing a few analysis tools such as selective record-and-play, taint analysis or the ability to infer likely types of objects fields and functions. More interestingly, one of the plugin provides the first thorough implementation -as far as we know - of concolic testing for Javascript. Concolic testing is a mixture of concrete execution (using particular concrete values as inputs) with symbolic execution - which treats program variables as symbolic variables. The symbolic execution piggy-backs on the concrete execution through instrumentalization of the code. You basically identify through this method what are the concrete input values that allows you to comb through all the branches of the code. It provides a great tool to generate automatic test cases with high level coverage.
No comment yet.
Sign up to comment
Your new post is loading...
when unit testing and TDD is to tedious, have your code analyzed while using your app