Breadcrumbs: Context Sensitivity for Dynamic Analyses

Brought to you by: dgrove-oss, hindm, steveb-oss

#29 Breadcrumbs: Context Sensitivity for Dynamic Analyses

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-09-21

Created: 2010-04-19

Creator: Michael Bond

Private: No

Breadcrumbs provides efficient, probabilistic context sensitivity for a variety of dynamic bug detection analyses. The paper "Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses," (Bond, Baker, Guyer, PLDI 2010) provides more details. The implementation integrates Breadcrumbs with two dynamic analyses: (1) data race detection and (2) origin tracking, an analysis that identifies the source of null pointer exceptions.

The attached file includes a README and a patch against Jikes RVM 3.1.0. Questions and feedback are welcome.

Discussion

Michael Bond - 2010-04-19

Patch against Jikes RVM 3.1.0 and a README

breadcrumbs-1.0.tar.gz

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Breadcrumbs: Context Sensitivity for Dynamic Analyses

Group

Searches

Help

#29 Breadcrumbs: Context Sensitivity for Dynamic Analyses

Discussion