Re: [kaffe] Verifier questions

onal, and I'd be happy to check the code out again and give advise when you run into trouble, but I really do think that it's a good idea to be able to share the code for something as important and modular as a verifier between projects. -Rob On 12/21/06, Chris Gray <[EMAIL PROTEC

[kaffe] Final Parameters in Anonymous Local Inner Classes

thing... thanks, Rob ___ kaffe mailing list kaffe@kaffe.org http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] GNU Classpath and Kaffe

ever remember a specific "typical" code freeze period as some other projects have. As Jim suggested by our not publishing Kaffe development versions on a time schedule, this is really more of a laid back project than a deadline-driven, stressful thing. -Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] Sun on Red Hat & Java

le Red Hat-Java deal, because as they use Red Hat for their POWER projects, using a non-certified Java version could create potential runtime problems." [1] Non-certified...pah! :) -Rob [1] http://www.osnews.com/story.php?news_id=8982 ___ kaffe mail

Re: [kaffe] Idea for a security compatible JIT

Hi John, Nice to see someone so excited about security! > JITters are by nature very severe potential security faults and should > only ever run trusted code. At the moment, Kaffe doesn't even have a complete bytecode verifier, so this is true for us even without JITing ;)

Re: [kaffe] Relicensing the Verifier, and Turning it On

Hi Tim, Just wondering if you wouldn't mind relicensing your contributions to the verifier under some other, non-GPL license. This will become more important when I finish modularizing it/debugging it, etc. I think that you're response pretty much covers it wonderfully :) Rob On T

Re: [kaffe] Relicensing the Verifier, and Turning it On

h a single glue file providing the interface between the verifier and the rest of kaffe? That would also make it a little easier to plug in the libgcj verifier, JustICE, or whatever else in the future. Rob ___ kaffe mailing list [EMAIL PROTECTED

[kaffe] Relicensing the Verifier, and Turning it On

d thus how much time I have to debug so that, potentially, 1.1.5 would have verification on be default. I'm happy to wait for 1.1.6 to do that; I mostly just wanted people's opinions. cheers, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] Re: circular linking difficulties

trace (which I assume is way too big to post here). Rob On Tue, 29 Jun 2004, Helmer [ISO-8859-15] Krämer wrote: > On Mon, 28 Jun 2004 17:17:35 -0400 (EDT) > [EMAIL PROTECTED] wrote: > > Hi Rob, > > > > What puzzles me is that we already have the CSTATE_DOING_LINK phase &

[kaffe] circular linking difficulties

ad to actually create a new thread to get it to work...it seems like something screwy is going on in the core, and I'm having real trouble putting my finger on it :( Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] circular linking difficulties

nt CVS head when it's run with -verifyremote as an option. thanks, Rob [1] http://www.kaffe.org/pipermail/kaffe/2003-August/095213.html [2] http://www.kaffe.org/pipermail/kaffe/2003-August/095231.html [3] http://www.kaffe.org/pipermail/kaffe/2003-August/095240.html [4] http://www.kaffe.org/pipermail/kaf

[kaffe] build error in "make check"

or 2 make[2]: Leaving directory `/home/gonzo/dev/jvm/kaffe-cvs-build/test/internal' make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory `/home/gonzo/dev/jvm/kaffe-cvs-build/test' make: *** [check-recursive] Error 1 best, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] international bug

rc/po/zh_TW.gmo make[2]: Entering directory `/home/gonzo/dev/jvm/kaffe-cvs-build/po' cd ../../kaffe-cvs-src/po && rm -f zh_TW.gmo && : -c --statistics -o zh_TW.gmo zh_TW.po mv: cannot stat `t-zh_TW.gmo': No such file or directory make[2]: *** [../../kaffe-cvs-src/po/zh_TW.gmo] Erro

[kaffe] error building latest CVS head

aling with such things. Rob gcc -DHAVE_CONFIG_H -I. -I../../../kaffe-cvs-src/kaffe/kaffevm -I../../config -I../../include/kaffe -I../../../kaffe-cvs-src/kaffe/kaffevm/systems/unix-jthreads -I../../kaffe/kaffevm/jit3 -I../../../kaffe-cvs-src/kaffe/kaffevm/jit3 -I../../../kaffe-cvs-src/libltdl -D

Re: [kaffe] difference between kaffe and Sun's JDK: IllegalAccessException

s the type "B" which is statically bound to "this" in the bytecode instead of checking out the object's dynamic type. Rob On Mon, 19 Apr 2004, Ito Kazumitsu wrote: > Hi, > > The attached program, > > - when run with Sun's JDK (java version "1

[kaffe] Goodbye for Now

ith my happenings. This project has been moving forward at an amazing pace lately. I have no doubts that it's still going to be going strong when get back :) I've learned a ton by working on it and especially by reading the posts and talking to the other developers. Thanks guys. ch

[kaffe] completed bytecode verifier!

imply ignore the error unless it really becomes a problem. It doesn't take much to convince yourself that this is OK. TODO next: remove all the (now) unnecessary checks currently performed in code-analyse.c. Time to go have a beer ;) Cheers, Rob __

[kaffe] serialization checkin

with a fresh cvs checkout. Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] Klasses.jar.bootstrap

anyone has a current (i.e. compiled today) working version of rt.jar and wouldn't mind sending it my way, I'd be much obliged. Thanks, Rob Found 4 semantic errors compiling "java/awt/event/ItemEvent.java": 6. import java.awt.Checkbox; ^---^ ***

Re: [kaffe] Klasses.jar.bootstrap

> http://www.kaffe.org/~robilad/rt.jar . Thanks! Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] Sun's javac and compiling rt.jar without debugging symbols

Hi Mark, Try using KJC (kjc.jar is included in kaffe 1.1.x) or jikes 1.18 instead of Sun's javac, but include kaffe's rt.jar in the classpath. Also, I would use 1.1.1 instead of 1.1.0 as there's been a lot of improvement between the two development releases. Cheers, Rob On

Re: [kaffe] completed bytecode verifier!

eaking up the loading of superclasses with an extra CSTATE, but my attempts to get that to work also did not pan out. Rob On Fri, 8 Aug 2003, Timothy Stack wrote: > > Hi Tim, > > hi, > > > I think I managed to figure out what is going wrong here. > > Hopefully my expl

Re: [kaffe] completed bytecode verifier!

Hi Tim, I'm working on fixing the problem with KJC now. The problem is that the core kaffe classes are failing verification...if you run KJC with -verifyremote and not with -verify it should work. Rob On Thu, 7 Aug 2003, Timothy Stack wrote: > > > > Hi all, > > &

[kaffe] regeneration of Klasses.jar.bootstrap needed?

nu/java/lang/reflect/TypeSignature" [JLS 8] java/io/ObjectStreamField.java:1: error:Can not found "gnu/java/lang/reflect/TypeSignature" [JLS 7.5.2, 7.6] java/io/ObjectStreamField.java:1: error:Cannot find class "gnu/java/lang/reflect/TypeSignature" [JLS 8] make[1]: ***

[kaffe] Build Problems

] Error 1 I believe that baseClasses.o should be linked during this call to gcc to fix the issue. I have tried running automake, then configure, then make and it doesn't seem to find that dependency. Any suggestions? Thanks, Rob ___ kaffe ma

Re: [kaffe] hsqldb - Abstract method in non-abstract class error

emove that check entirely. I can't see any technical problems with this change and have regression tested the latest CVS head with KJC and it passes everything. Rob On Thu, 31 Jul 2003, Jim Pick wrote: > Hi, > > I'd like to use hsqldb 1.7.1 for the simple regression testing rep

[kaffe] Jython

Hi, Has anyone here gotten jython 2.1 to run successfully on kaffe? Thanks, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] Quick Stack Trace Question

Hi all, When my verifier throws a VerifyError kaffe exits fine, but I get a: <> What generally causes a lack of stacktrace being available? I also don't get a stack trace using Sun's java, but it at least doesn't give me a <>. Just making sure what

Re: [kaffe] State of the Verifier

the same calling thread, so it already has the lock for class A. etc. etc. What I can do instead is to create a new CSTATE_BEING_LINKED or something instead of doing the loadClassToState() method. That probably works...that sound alright? I'm still getting my feet wet in the kaffe core int

Re: [kaffe] State of the Verifier

ow its name, I treat it's name as its type. Lots of casts and shit, a little messy, but it gets the job done without messing with the loader. Cheers, Rob > > > I'm just not convinced you need to mess with class loading to do this. > > > There is a lot of compl

Re: [kaffe] State of the Verifier

system of Kaffe. However, I'm pretty sure what I'm planning on doing isn't going to interfere with anything else, as classes will still be loaded through code-analyze just before they are needed at execution of a method. Should I post a patch that you can look at to better decide whether what I'm doing is a bad idea? Thanks, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] State of the Verifier

try can be created and memory allocated for the Class instance without causing the class to be loaded until it is needed later during execution. Does that seem reasonable? If not, then I think I might have to start using classEntry's instead of Hjava_lang_Class pointers throughout the typ

Re: [kaffe] State of the Verifier

Hi Tim, My fault about the getField(), getMethod() assumptions. It seems that they do, in fact, work as you suggested they do. I'm gonna backport them to kaffe today :) cheers, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cg

Re: [kaffe] State of the Verifier

that all cause the referenced class to be loaded and, in most > > cases, linked. > > The JanosVM versions don't, so you can try backporting those. I'll go ahead and give this a shot. If it works out, then we don't have to worry about all them reloadin

Re: [kaffe] State of the Verifier

cases, linked. > > The JanosVM versions don't, so you can try backporting those. Are you sure the janosVM versions don't force the referenced class to be linked? I just spent some time poking around the 1.0a source and it seems that they do... of course, I could simply be

[kaffe] State of the Verifier

g to be to remove the checks from this file so that is simply puts together information for the JIT compilers. Cheers, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] erroneous regression test: test/regression/ProcessTest

t any options. I'm not checking in the change because I don't think that it's safe to assume that "kaffe" is the right command to execute in all systems. In particular, it doesn't include whatever flags were used to execute the parent version of the pro

[kaffe] Re: KJC Classes Fail Verification (fwd)

Hi all, It turns out that the error was in the BCEL verifier and not in KJC. I've forwarded the relevant information and checked in a quick fix that _should_ fix the issue with KJC. cheers, Rob -- Forwarded message -- Date: 10 Jul 2003 11:54:08 +0200 From: Laurent V

Re: running Java applications within kaffe (Re: [kaffe] shutdownHookchanges broke the build)

Hi Tim, > > > From a cursory examination it looks like some bad code is generated > > > somewhere. The 'dummy' variable has a different value after the first > > > call to addShutdownHook() :( > > > > FYI, I'm pretty sure its kjc's fa

Re: [kaffe] small compilation fix

Hi, I've gone ahead and checked it in for ya. cheers, Rob On Tue, 8 Jul 2003, Dalibor Topic wrote: > Hi, > > as I've checked in the latest eclipse patch, I oversaw a small bit of breakage. > Attached is a small, but necessary compilation fix. If noone checks it in &

[kaffe] Advogato

Hey all, I recently joined Advogato (as gonzo) and was wondering how I would go about getting listed as a Contributor or Developer or something for the Kaffe Open VM project on that site :) I figured someone here (Jim?) would be the person to know. Sorry if this is a little off topic ;) Rob

Re: [kaffe] The Verifier and Regression Tests

Hi Mark, > On Mon, 2003-06-30 at 00:05, Rob Gonzalez wrote: > > It would be nice if people would test kaffe with the verifier on whatever > > they're working on. By default kaffe doesn't not do any verification, but > > if you run it with -verifyremote it will ve

[kaffe] modifying KJC in kaffe source tree

ither with -noverify or with a fixed version of kjc (i.e. one that passes verification). So here's a real practical reason why such a build system would be awesome :) Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] Kaffe Architecture Documentation

se, or vice versa. Either way, it would definitely be a cool thing to have around. kaffe is an intimidating project for newbies to tackle without a good road map. Rob On Tue, 1 Jul 2003, Gerlando Falauto wrote: > > Hi folks, > > has there been an effort to write some organic do

Re: [kaffe] failed regression tests

run regression tests using KJC. is it cool to change the KJC source in kafe CVS's source tree? for now, if you use jikes 1.18 you should pass all the regression tests. or you can use KJC but make sure you pass the -noverify flag to kaffe to get over KJC's internal error. or add KJC

[kaffe] kaffe's default is now to verify all untrusted files

atic type checking on bytecode, will probably be ready for checkin sometime this weekend. At that point, kaffe will have a complete bytecode verifier and will be able to run untrusted code! Cheers, Rob ___ kaffe mailing list [EMAIL PROTECTED] ht

Re: [kaffe] failed regression tests

essing has > > changed. perhaps the expected output of the regression test should be > > updated? > > Weird. worked fine for me with kjc, two days ago. I'll give it another shot > today. I still get the problem, but i'm using jikes 1.18 and not kjc. Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] The Verifier and Regression Tests

this problem that the VM was using instead of the array type, so no problems here :) Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] The Verifier and Regression Tests

too strict. Thus if you run kaffe and it rejects files that Sun's does not, definitely let me know. My goal is to make it fault for fault compatible with Sun's behavior and not that of the actual specification. Thanks, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] failed regression tests

InnerTest$Inner [9] public static haven't spent too much time with this one yet... if i can post any further info about any of these tests, lemme know. Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] Build system for kjc / external jars + Jetty/JSP success

That way kaffe itself stays on debian-free but the supplementary package does not. Of course, then the users need to snag two packages... As an aside, it would be awesome to have kaffe.org running on kaffe :) ~~Rob For the curious, this is from the Debian archives regarding the Apache 1.1 License,

[kaffe] another man patch

Hi all, This is just a small patch that includes documentation for -verifyremote in the man page. Cheers, Rob --- ../kaffe-cvs/kaffe/man/kaffe.1.in 2003-06-25 10:26:39.0 -0500 +++ kaffe/man/kaffe.1.in2003-06-25 10:12:22.0 -0500 @@ -13,7 +13,7 @@ .BI "[\-mx&qu

Re: [kaffe] verifyMode, obsolete flags, a man page patch,and trusted code

do think that the primordial classloader also searches the > classpath? Kaffe now has the AppClassLoader, which only searches > the classpath and the PrimordialClassLoader, which only searches > the bootclasspath; if the latter also searches the classpath, it > should be fixed. That clears things up :) Thanks, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Re: [kaffe] verifyMode, obsolete flags, a man page patch,and trusted code

bject to change without notice" (in the 1.4 release, the -Xverify option is not documented at all, though it is still processed by the Sun JVM). Cheers, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] class library compilation...dependency error?

libraries/javalib should cause the class library jar to be rebuilt. Cheers, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] #if 0

Hi again, In kaffe/kaffevm/exceptions.c, around throwOutOfMemory there is a "#if 0" preprocessing block...what exactly does "#if 0" mean? Thanks, Rob ___ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

[kaffe] verifyMode, obsolete flags, a man page patch, and trusted code

which are not? At the moment my verifier checks that the first few characters of the class being verified are "kaffe/" or "java/" and that its loader is the default loader, but I'm not convinced this is 100% safe. Any thoughts would be appreciated. Thanks, Rob ps - Jus

[kaffe] ensuring that a type signature is valid

pe signatures into pass 2 verification (currently undergoing bug-for-bug compatibility tests with Sun's verifier). I just wanted to confirm that such a checks or a parser isn't buried in the code base somewhere already. Cheers, Rob ps - I've been bustling to finish my thesis the last

[kaffe] ensuring that a type signature is valid

pe signatures into pass 2 verification (currently undergoing bug-for-bug compatibility tests with Sun's verifier). I just wanted to confirm that such a checks or a parser isn't buried in the code base somewhere already. Cheers, Rob ps - I've been bustling to finish my thesis the last