Building call graph of WebAssembly programs via abstract semantics.
Mattia PaccamiccioFranco RaimondiMichele LoretiPublished in: ITASEC (2024)
Keyphrases
- graphical representation
- dynamic logic
- graph model
- stable model semantics
- random walk
- structured data
- graph representation
- graph structure
- transformation rules
- graph properties
- formal semantics
- graph theory
- fixpoint semantics
- directed graph
- connected components
- logic programming
- higher level
- propositional dynamic logic
- database languages
- graph theoretic
- semantic information
- control flow
- declarative semantics
- programming language constructs
- social networks
- model theoretic
- stable models
- spanning tree
- graph matching
- database systems
- high level