Symbol	Description
APP	Application
AST	Abstract Syntax Tree
BCE	Binary Cross-Entropy
CFG	Control Flow Graph
CNN	Convolutional Neural Networks
DCR	Device Capability Reference
DGR	Dependency Graph Representation
DL	Deep Learning
ICFG	Inter-procedural control flow graph
IR	Intermediate Representation
MCT	Model-Checking Technique
PA	Program Analysis
SAS	Security Analysis Systems
LTL	Linear Temporal Logic
CTL	Computing Tree Logic
SMT	Satisfiability Modulo Theories