Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis.

Yixiao Yang Chen Gao Zhiqi Li Yifan Wang Rui Wang

Published in: SETTA (2023)

Keyphrases

computer vision
database
image analysis
databases
machine learning
decision making
image sequences
operating system
quantitative analysis