Sciweavers

PASTE
2010
ACM

The RoadRunner dynamic analysis framework for concurrent programs

13 years 7 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API for communicating an event stream to back-end analyses, where each event describes some operation of interest performed by the target program, such as accessing memory, synchronizing on a lock, forking a new thread, and so on. This API enables the developer to focus on the essential algorithmic issues of the dynamic analysis, rather than on orthogonal infrastructure complexities. Each back-end analysis tool is expressed as a filter over the event stream, allowing easy composition of analyses into tool chains. This tool-chain architecture permits complex analyses to be described and implemented as a sequence of more simple, modular steps, and it facilitates experimentation with different tool compositions. Moreover, the ability to insert various monitoring tools into the tool chain facilitates debugging and ...
Cormac Flanagan, Stephen N. Freund
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2010
Where PASTE
Authors Cormac Flanagan, Stephen N. Freund
Comments (0)