TY - GEN
T1 - DUA-FORENSICS
T2 - 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013
AU - Santelices, Raul
AU - Zhang, Yiji
AU - Cai, Haipeng
AU - Jiang, Siyuan
PY - 2013
Y1 - 2013
N2 - We describe DUA-forensics, our open-source Java-bytecode program analysis and instrumentation system built on top of Soot DUA-Forensics has been in development for more than six years and has supported multiple research projects on efficient monitoring, test-suite augmentation, fault localization, symbolic execution, and change-impact analysis. Three core features of Soot have proven essential: the Java bytecode processor, the Jimple intermediate representation, and the API to access and manipulate Jimple programs. On top of these foundations. DUA-Forknsics offers a number of features of potential interest to the Java-analysis community, including (1) a layer that facilitates the instrumentation of Jimple code. (2) a library modeling system for efficient points-to. data-flow, and symbolic analysis, and (3) a fine-grained dependence analysis component. These features have made our own research more productive, reliable, and effective.
AB - We describe DUA-forensics, our open-source Java-bytecode program analysis and instrumentation system built on top of Soot DUA-Forensics has been in development for more than six years and has supported multiple research projects on efficient monitoring, test-suite augmentation, fault localization, symbolic execution, and change-impact analysis. Three core features of Soot have proven essential: the Java bytecode processor, the Jimple intermediate representation, and the API to access and manipulate Jimple programs. On top of these foundations. DUA-Forknsics offers a number of features of potential interest to the Java-analysis community, including (1) a layer that facilitates the instrumentation of Jimple code. (2) a library modeling system for efficient points-to. data-flow, and symbolic analysis, and (3) a fine-grained dependence analysis component. These features have made our own research more productive, reliable, and effective.
KW - Instrumentation
KW - Library model
KW - Program dependence
KW - Soot analysis framework
UR - https://www.scopus.com/pages/publications/84882955753
U2 - 10.1145/2487568.2487574
DO - 10.1145/2487568.2487574
M3 - Conference contribution
SN - 9781450322010
T3 - Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013
SP - 13
EP - 18
BT - Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013
Y2 - 20 June 2013 through 20 June 2013
ER -