/home/runner/work/SVF/SVF/svf/include/CFL/grammar/PAGGrammar.txt File Reference

Variables
Start	__pad0__
Fbar epsilon copybar Fbar Memflowbar addrbar loadbar V storebar Fbar loadbar Memflowbar	storebar
V Fbar V F addrbar addr gepbar_i V gep_i gepbarpath V gep_0 gepbar_i F gep_i gepbar_i Fbar	gep_i
copy	vgep
copybar	vgepbar
gep_1 gep_0 F vgep gep_0 F	gep_1
gepbar_1 gepbar_1 Fbar gepbar_0 vgepbar Fbar	gepbar_0

Variable Documentation

__pad0__

Start __pad0__

Definition at line 1 of file PAGGrammar.txt.

gep_1

gep_1 gep_0 F vgep gep_0 F gep_1

Definition at line 11 of file PAGGrammar.txt.

gep_i

Memflowbar storebar loadbar Memflowbar F F Memflowbar Fbar gep_i Memflowbar gepbar_i gepbar_i Memflowbar gep_i

Definition at line 8 of file PAGGrammar.txt.

gepbar_0

gepbarpath gepbar_0 gepbar_0 gepbarpath gepbar_0

Definition at line 12 of file PAGGrammar.txt.

storebar

Fbar epsilon copybar Fbar Memflowbar addrbar loadbar V storebar Fbar loadbar Memflowbar storebar

Definition at line 7 of file PAGGrammar.txt.

vgep

copy vgep

Definition at line 9 of file PAGGrammar.txt.

vgepbar

copybar vgepbar

Definition at line 10 of file PAGGrammar.txt.