1. A method for dynamic verification of a computer software application execution path, the method comprising: generating, by one or more processors, responsive to detecting execution of a waypoint instruction of a computer software application, a token indicating an expiration time for the token as the time when the token is generated plus an expected elapsed time between execution of the waypoint instruction and execution of a target instruction of the computer software application; detecting, by one or more processors, execution of the target instruction of the computer software application, wherein the computer software application is configured to generate the token at an instruction near the waypoint instruction of the computer software application, wherein the token includes a copy of the target instruction and a computer memory address that indicates where the target instruction is located, and wherein the waypoint instruction lies along an execution path that leads to the target instruction; determining, by one or more processors, responsive to detecting execution of the target instruction, whether the token exists that is associated with the target instruction; and performing, by one or more processors, a computer-security-related remediation action responsive to determining that the token does not exist.