How to identify if a game is built using Coronalab: There's a "libcorona.so" in /lib folder.
They changed their name to Solar2D as corona is a really bad name since 2020 ^-^ It's a rare engine, few games uses it. Oh well, let's get started.
Tools you'll need:
APK packing/unpacking tool - e.g...