A number of pseudo functions are added to model unknown controlflow.
PSEUDO-HELL
PSEUDO-PAL
We plan on adding a additional Pseudo function for setjmp longjmp
Go to the first, previous, next, last section, table of contents.