一个JavaScript动态程序分析框架。 可对任意JavaScript代码进行插桩,编写第三方监控代码,从而进行动态程序分析或者修改程序原有行为。原理类似于针对二进制代码进行分析的工具(Pin和Valgrind)
[url]https://www.eecs.berkeley.edu/~gongliang13/jalangi_ff/[/url]
[url]https://www.eecs.berkeley.edu/~gongliang13/jalangi_ff/[/url]