reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.
http://keshmesh.cs.illinois.edu/
Other
16 stars 5 forks source link

Reuse the fields in SourceLineAnnotation class for the bug instance created for keshmesh fixer #12

Closed samira-t closed 12 years ago

samira-t commented 13 years ago

For adding a fixer for LCK02J, we reused some fields in SourceLineAnnotation to fill out the information needed by Keshmesh fixer as following:

We need to find a solution for that. We can add any annotation like (SourecLineAnnotation) to the BugInstance class of Findbugs to fill additional information. But that solution needs changing Findbugs.

reprogrammer commented 13 years ago

Issue #22 computes the offset information in the fixer. So, we no longer need to worry about passing the first and last offsets of the bug instance to the fixer.