Dynamic taint tracking for Java with phosphor (demo)

Dynamic taint tracking for Java with phosphor (demo)
复制标题

使用磷进行 Java 动态污点跟踪(演示)

DOI:
10.1145/2771783.2784768
复制
发表时间:
2015
期刊:
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA
影响因子:
--
通讯作者:
Kaiser, Gail
Kaiser, Gail
中科院分区:
--
文献类型:
--
作者:
Bell, Jonathan;Kaiser, Gail

文献摘要

参考文献

被引文献

相似文献

动态污点跟踪是一种信息流分析,可应用于许多测试领域。Phosphor是第一个可移植的、精确的、高性能的Java动态污点跟踪系统。虽然以前在JVM中执行通用污点跟踪的系统需要专门的研究JVM,但Phosphor可以与标准的现成JVM(如Oracle的HotSpot和OpenJDK的IcedTea)一起使用。Phosphor也不同于以前的非通用的可移植JVM污点跟踪系统(例如,只跟踪String上的标记,而不跟踪其他类型的标记),因为它跟踪所有变量上的标记。我们还对Phosphor做了一些增强,通过控制流(除了数据流)跟踪污点标记,以及跟踪污点标记之间的任意数量的关系(而不是仅限于32个标记)。在本演示中,我们将展示编写测试工具的开发人员如何从Phosphor中受益,并简要解释如何与之交互。
Dynamic taint tracking is an information flow analysis that can be applied to many areas of testing. Phosphor is the first portable, accurate and performant dynamic taint tracking system for Java. While previous systems for performing general-purpose taint tracking in the JVM required specialized research JVMs, Phosphor works with standard off-the-shelf JVMs (such as Oracle's HotSpot and OpenJDK's IcedTea). Phosphor also differs from previous portable JVM taint tracking systems that were not general purpose (e.g. tracked only tags on Strings and no other type), in that it tracks tags on all variables. We have also made several enhancements to Phosphor, to track taint tags through control flow (in addition to data flow), as well as to track an arbitrary number of relationships between taint tags (rather than be limited to only 32 tags). In this demonstration, we show how developers writing testing tools can benefit from Phosphor, and explain briefly how to interact with it.
Java 的高效字符级污点跟踪
DOI: 10.1145/1655121.1655125
发表时间: 2009
期刊: --
影响因子: --
作者:
Erika Chin;D. Wagner
通讯作者: D. Wagner
DOI: --
发表时间: 2007
期刊: Asia-Pacific Computer Systems Architecture Conference
影响因子: --
作者:
Deepak Chandra;M. Franz
通讯作者: M. Franz