Dynamic program analysis tool for automatic concurrency defect detection in multi-threaded Java programs

Dynamic program analysis tool for automatic concurrency defect detection in multi-threaded Java programs

The analysis tool was developed within the scope of a research & development project for Samsung.

The tool incorporates the following major segments:

• static Java byte-code instrumentation engine designed by the program analysis group; the instrumentation engine allows to modify target byte-code in order to include event markers used to produce a specific execution trace;
• concurrency defect detection engine ThreadSanitizer (external tool); ThreadSanitizer is used to process an execution trace generated by the instrumentation code and identify race conditions and dead lock situations.

Implementer

System Programming