The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation.

John Galea Daniel Kroening

Published in: CoRR (2020)

Keyphrases

security policies
neural network
machine learning
statistical analysis
data analysis
image analysis
data mining
decision making
image sequences
multiscale
optimal solution
hidden markov models
dynamic environments