Package-level declarations

Interprocedural Weighted Pushdown Systems for CPG.

Types

Link copied to clipboard
open class GraphWPDS : WPDS<L, S, W>
Simply a concrete child of the abstract WPDS class.
Link copied to clipboard
interface IInitialConfig
Functional interface for creation of initial WPDS configurations.
Link copied to clipboard
Different strategies to create initial WPDS configurations.
Link copied to clipboard
open class NFA
A non-deterministic finite automaton.
Link copied to clipboard
open class NFATransition
Transitions between two states of a non-deterministic automaton (NFA).
Link copied to clipboard
class TypestateAnalysis(markContextHolder: MarkContextHolder)

Implementation of a WPDS-based typestate analysis using the code property graph (CPG).

Link copied to clipboard
open class TypestateWeight : Semiring<T>
A "weight domain" for Typestate analyses with weighted pushdown systems.
Link copied to clipboard
open class Val