Simulation is key enabler for automated Static Testing. By simulation it investigates software code behavior by exercising all paths through software code, for all inputs, without running the code like automatic code review using algorithms and heuristics of human code reviewers, but fast, accurate and scalable to large programs by using only the binary code.