OPAL - Open-source Program Analysis Library