ranjitjhala

·12 anni fa·discuss

We only used the constant indexes for illustration. The system checks, at compile time, that values that are controlled by the attacker (e.g. inputs) are properly sanitized. See this:

http://goto.ucsd.edu:8090/index.html#?demo=permalink%2F14014...

that uses Lists instead of pointers, for a short example.