TSA: Thread Sharing Analysis

TSA is a tool for automatically finding thread shared data access locations in multithreaded Java programs. This project includes both static and dynamic sharing analysis libraries. The easiest way to use the code is to import the project into Eclipse and run everything inside the IDE.

If you find TSA useful, please cite our ICSE'16 paper "Scalable Thread Sharing Analysis" authored by Jeff Huang.

Command line usage

• Static TSA: java -jar tsa.jar Example

TSA also supports user-specified entry method, which can be configured in tsa.conf: tsa.entry=test. test is the entry method name. For example, try

java -jar tsa.jar SharingExample2

• Dynamic TSA: java -javaagent:lib/profile-agent.jar -cp tsa.jar Example

External libraries

Soot -- A Java optimization framework

ASM -- A Java bytecode manipulation and analysis framework

Questions

Please contact jeff@cse.tamu.edu for any TSA related questions.