Basic Static Analysis Definition