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

Functions
	Fbar (M ? copybar) *

Variables
Start	__pad0__
M addr V	addrbar
V Fbar V F gepbar_i V gep_i M epsilon gepbar_i Memcpy gep_i gep_i Memcpy gepbar_i ArrayPath V	gep_0
ArrayPath gepbar_0 gepbar_0 ArrayPath	gepbar_0
Memcpy addrbar V addr gep_i Memcpy gepbar_i F Memcpy	Fbar

Function Documentation

Fbar()

Fbar

(

M ?

copybar

)

Variable Documentation

__pad0__

Start __pad0__

Definition at line 1 of file PEGGrammar.txt.

addrbar

M addr V addrbar

Definition at line 8 of file PEGGrammar.txt.

Fbar

Memcpy addrbar V addr gep_i Memcpy gepbar_i F Memcpy Fbar

Definition at line 11 of file PEGGrammar.txt.

gep_0

V Fbar V F gepbar_i V gep_i M epsilon gepbar_i Memcpy gep_i gep_i Memcpy gepbar_i ArrayPath V gep_0

Definition at line 9 of file PEGGrammar.txt.

gepbar_0

ArrayPath gepbar_0 gepbar_0 ArrayPath gepbar_0

Definition at line 10 of file PEGGrammar.txt.