Может я что то не понимаю и уже изобрели аля x64dbg для джавы, но все же задам вопрос :
блять, а как анализ скомпилированного джава кода может быть не статичным?)
Ну а так для анализа после обфускации тебе нужно сносить локальные вариейблы методов(некоторые декомпиляторы это сами делают, некоторые нет), ремапить по второму кругу желательно фулл джарку вместе с названием полей, методов, классов.
Для этого отлично подойдет proguard(в нем вроде можно почистить локальные вариейблы даж), но для этого нужен мозг, ибо он изначально включает всякие шринки(а ещё нужно подключить библиотеки) и я очень сомневаюсь что у тебя хватит мозгов все это отключить.