Interactive Static Analysis Plugin in Eclipse