A Static Analysis Framework for Detecting Bugs in Introductory Programs.

Wenchu Xu Yanran Ma

Published in: ISSRE Workshops (2021)

Keyphrases

static analysis
abstract interpretation
source code
dynamic analysis
symbolic execution
computer science
malicious code
open source
software systems
integrity constraints
computer programs