For full documentation and source code of the Native Predicate Solver plugin, check out native-predicate-solver. This Python script serves as a loader for the actual plugin since it is written in C++ ...
Ex-7 was the first exploit to figure out bytecode compiling, and used roblox's serializer, then started using proto conversion later on, however AzulX was treated as a script kiddie and later on ...