Login / Signup
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools.
Han Liu
Jian Zhang
Cen Zhang
Xiaohan Zhang
Kaixuan Li
Sen Chen
Shang-Wei Lin
Yixiang Chen
Xinhua Li
Yang Liu
Published in:
CoRR (2024)
Keyphrases
</>
fine grained
static analysis
symbolic execution
java card
coarse grained
test generation
source code
dynamic analysis
access control
tightly coupled
abstract interpretation
data lineage
test suite
regular expressions
model checking
software systems
open source
user intent
databases
database