Symbiotic is an effective tool for analysis of LLVM bit-code, participating in C category of SV-COMP competition. In order to participate also in Java category, a support for Java 8 is needed. The goal of the thesis is thus to investigate options for translating Java 8 (or higher) programs to C (or directly to LLVM) and to provide a prototype implementation (based on results from the investigation). The investigation must comprise software packages like ASM, Soot, JLang and JBMC. A prototype implementation must be evaluated on SV-COMP's Java tests suite and achieved results must be described in the text.