IntraJ: an on-demand framework for intraprocedural Java code analysis (International Journal on Software Tools for Technology Transfer)