Sign in
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.
Shankaranarayanan Krishna
Aniket Lal
Andreas Pavlogiannis
Omkar Tuppe
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
static analysis
dynamic analysis
source code
reverse engineering
symbolic execution
state space
object oriented
artificial intelligence
regular expressions
real world
domain knowledge
software development
wordnet
abstract interpretation