Static Analysis of Corona Builds

We have a customer who would like us to do a static code analysis of our Corona application.  We are targeting both IOS and Android.  However, we can’t find a comprehensive tool that will analyze Lua source, or not nearly as thoroughly as say Java or .NET.

So we are looking into analyzers for the binary executables (which I thought might work).  But the static analysis vendor wants to know the compiler from which the Corona executables are compiled.  For example, here is what they are looking for for IOS:

Version: iOS 5.x, 6.x  Compiler: Xcode 4–5 (gcc, LLVM)

For Android, it is:

Version: Android API Level 8 – 17 (Android 2.2 - 4.2)  Compiler: JDK 1.6 

Does anybody have any information on this?  I *believe* (could be wishful thinking) that Corona eventually compiles using Xcode on the local machine, doesn’t that make it indistinguishable from any other Objective C application?