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