Login / Signup
On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr.
Serena Lucca
Christophe Crochet
Charles-Henry Bertrand Van Ouytsel
Axel Legay
Published in:
FPS (1) (2023)
Keyphrases
</>
symbolic execution
data sets
static analysis
databases
artificial intelligence
open source
genetic programming
learning algorithm
case study
database systems
evolutionary algorithm
fitness function
reverse engineering