Re: Joe-E Doc
"Karp, Alan H" <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <B9B0C3C501993E4CBCF04411E76197C8184AF8C8@G3W0637.americas.hpqcorp.net> |
David Wagner wrote: > > Our approach is dangerous: if we overlook a single case where the Java > compiler implicitly introduces method calls or field > accesses, Joe-E code > may be able to bypass the taming checks. We're essentially > blacklisting, > and that's always risky. > The last time I looked, the .class file lists the imported methods as text strings. That means you can use grep to check for untamed methods to see how well you've done. I don't know about field accesses. ________________________ Alan Karp Principal Scientist Virus Safe Computing Initiative Hewlett-Packard Laboratories 1501 Page Mill Road Palo Alto, CA 94304 (650) 857-3967, fax (650) 857-7029 http://www.hpl.hp.com/personal/Alan_Karp