Magic Lamp's Software Simulation technology is based on the latest compilers research in inter- procedural data-flow analysis. Using the algorithms, heuristics and best practices known to experienced programmers, it exercises binary Java code across multiple modules and layers, for all paths and inputs without running the code, and detects errors missed by testing. Magic Lamp can provide an on-site or off-site audit service that allows clients to reliably and quickly improve quality and security without disturbing existing processes or diverting resources from other commitments.