[Soot-list] Getting started with soot

[thjacobs at umich.edu]

I am a graduate student at the university of Michigan, interested in the field
of type checking.

I am hoping to do a followup to an article by Stephen Freund, "A type system for
the java Bytecode Language"
http://theory.stanford.edu/people/jcm/papers/03-jar.pdf
by including some of the type safety features of SafeJava
http://www.eecs.umich.edu/~bchandra/publications/phd.pdf

The authors of the first article refered me to your project for bytecode
checking. I downloaded the the source and eclipse plugin, got the source code
to compile, and got the plugin set up in eclipse (using windows. Is that a
problem?). When I try running the soot plugin, it executes, creates a
sootOutput folder, but there are no results in the folder.

So my two questions currently are:

1. Can you offer advice as to what I'm doing wrong in my use of soot, or how I
can run a simple test to get the hang of using it?

2. I don't know if any of you out there are familiar with the Apache Jakarta
BCEL project, but if you are, I wonder if you could compare their system with
yours and/or offer me any advice as to which is more applicable to what I want
to do. My initial reaction to both systems is that soot is preferable, and has
better support; that's why I'm sending this email.

Thank you so much,

Tom