On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.

Shankaranarayanan Krishna Aniket Lal Andreas Pavlogiannis Omkar Tuppe

Published in: CoRR (2023)

Keyphrases

static analysis
dynamic analysis
source code
reverse engineering
test generation
dynamic environments
java card
transitive closure
real world
symbolic execution
abstract interpretation