Building Call Graph of WebAssembly Programs via Abstract Semantics.
Mattia PaccamiccioFranco RaimondiMichele LoretiPublished in: CoRR (2024)
Keyphrases
- graphical representation
- formal semantics
- connected components
- graph representation
- declarative semantics
- fixpoint semantics
- random walk
- stable model semantics
- graph theory
- graph structure
- dynamic logic
- relational structures
- computer programs
- normal logic programs
- graph properties
- weighted graph
- directed graph
- logic programming
- high level
- bipartite graph
- structured data
- graph based algorithm
- database languages
- undirected graph
- specification language
- stable models
- graph theoretic
- spanning tree
- graph model
- graph mining
- directed acyclic graph
- answer sets
- graph matching
- low level