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

Tian Tan Yue Li

Published in: CoRR (2022)

Keyphrases

static analysis
source code
lightweight
abstract interpretation
programming language
design principles
dynamic analysis
java card
data sets
query evaluation
regular expressions
collective intelligence
test generation
reasoning engine