This project is devoted to analysis any variables' potential values in a Java program.