Assignment 7: Explicit labels for call statements

Moderator: Secure Coding Lab

DanielSchoepe
Mausschubser
Mausschubser
Beiträge: 49
Registriert: 28. Sep 2009 11:39

Assignment 7: Explicit labels for call statements

Beitrag von DanielSchoepe » 8. Jul 2012 20:13

Hi,

the assignment does not seem to specify how the "explicit" labeling syntax for statements with two labels shall look like. In our case the only such statement is call. Should specifying a label explicitly à la "[..]@pi" for other statements still be supported for call-statements, and, if so, how should the syntax look like?

Regards,
Daniel

aderhold
Moderator
Moderator
Beiträge: 212
Registriert: 21. Okt 2005 10:50

Re: Assignment 7: Explicit labels for call statements

Beitrag von aderhold » 9. Jul 2012 09:45

The syntax of the "old" labeled statements such as assignments to variables remains unchanged. For "call" statements, I do not insist on a particular syntax (and I will not carry out tests that require the parser to parse "call" statements with explicit labels), so you are free to choose a sensible syntax. My suggestion would be:

Code: Alles auswählen

[...]@pi1,pi2
For the automatic generation of the labels, the upper label (for the call of the procedure) should be generated before the lower label (for the return from the procedure).

Please make sure that it becomes clear from the output of your tool which labels have been generated for "call" statements (and for all other statements as well, of course) so that I can check whether the corresponding CFG makes sense.

Antworten

Zurück zu „Secure Coding Lab“