Login / Signup
Targeted Symbolic Execution for UAF Vulnerabilities.
Zhen Huang
Published in:
ICSRS (2023)
Keyphrases
</>
symbolic execution
test generation
static analysis
test data generation
source code
specification language
information security
data flow
test cases
orders of magnitude
information systems
software engineering
general purpose
simulated annealing
quality assurance
simulated annealing algorithm