cfpq_data.grammars.generators.java_points_to_grammar#
- java_points_to_grammar(fields: List[str], *, start_symbol: Variable = Variable(S)) CFG [source]#
Returns a Java Points-to grammar that generates a language for the field-sensitive analysis of Java programs [1] with given fields labels.
- Parameters:
fields (List[str]) -- List of labels that represent the fields used in Java program.
start_symbol (Variable) -- Start symbol of the grammar.
Examples
>>> from cfpq_data import * >>> cfg = java_points_to_grammar(["0", "1"]) >>> len(cfg.productions) 11
- Returns:
cfg -- Java Points-to context-free grammar.
- Return type:
CFG
References