wiki#symbolic-execution#symbolic-execution1page tagged with "symbolic-execution"infosecioctlance: windows driver vulnerability detection— symbolic execution and taint analysis for finding vulnerabilities in windows kernel driversback to wiki