cfpq_data.grammars.generators.java_points_to_grammar

java_points_to_grammar(fields: List[str], *, start_symbol: Variable = Variable(S)) → CFG

Returns a Java Points-to grammar that generates a language for the field-sensitive analysis of Java programs [1] with given fields labels.

Parameters:

fieldsList[str]

List of labels that represent the fields used in Java program.

start_symbolVariable

Start symbol of the grammar.

Returns:

cfgCFG

Java Points-to context-free grammar.

References

[1]

https://dl.acm.org/doi/10.1145/2858965.2814307

Examples

>>> from cfpq_data import *
>>> cfg = java_points_to_grammar(["0", "1"])
>>> len(cfg.productions)
11