使用WALA进行Javascript污点分析

Question

我正在开发一个针对Firefox操作系统应用程序的分析工具，通过代码分析将给定的应用程序分类为恶意或非恶意。我的初始工作是对JavaScript文件执行静态污染分析。是否可以使用WALA来完成此项任务？如果可以，怎么做呢？

- Shahanas

---

你的意思是 JS_WALA 吗？ - meskobalazs

不。我询问的是用于Java和JavaScript分析的Watson Libraries for Analysis (WALA)。JS_WALA是使用JavaScript实现的wala工具。 - Shahanas

@meskobalazs 我想知道，尽管JavaScript是统治Web的强大语言之一，但我无法找到任何针对基于JavaScript的Web应用程序的静态污点分析工具 :( - Shahanas

做一个动态解释语言的静态分析是很困难的。我发现了这篇白皮书，它可能会有趣：http://prolangs.cs.vt.edu/refs/docs/weiryder-issta13.pdf - meskobalazs

我认为我在我的论文中正在处理非常相似的事情，请通过[e-mail]与我联系。 - Brian Pfretzschner

Answer 1

WALA不包含JavaScript的生产级污点分析。这里有一些示例代码可以帮助您入门：

https://github.com/wala/Examples/tree/master/TaintExamples/source/tutorial/examples

- msridhar