1. A method for dynamic verification of a computer software application execution path, the method comprising: detecting, by one or more processors, execution of a target instruction of a computer software application, wherein the computer software application is configured to generate a token at an instruction near a waypoint instruction of the computer software application, 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 a token exists; and performing, by one or more processors, a computer-security-related remediation action responsive to determining that the token does not exist.