Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.

Tian Tan Yue Li

Published in: ISSTA (2023)

Keyphrases

static analysis
source code
abstract interpretation
lightweight
dynamic analysis
data sets
databases
high level
domain knowledge
web applications
regular expressions