php-java-bridge Data Structures

Here are the data structures with brief descriptions:

save_cfg	A stack element which keeps the current cfg
vm_iterator	Keeps the state of the iterator

---