Declarative static analysis for multilingual programs using CodeQL.

Dongjun Youn Sungho Lee Sukyoung Ryu

Published in: Softw. Pract. Exp. (2023)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
java card
malicious code
knowledge representation
test suite
digital libraries
regular expressions
declarative programming
cross language information retrieval
test generation