| Login: gback Fullname: gback Revisions: 101 Lines of Code: 2512 Added Lines of Code: 4545 Lines of Code per Change: 24.9 |
| Date | Author | File/Message |
|---|---|---|
| 4/16/04 3:01 PM | gback | - added Util/IO/SystemProperties.java
- added static {} to PA and Solver that read property files 'pa.properties'
and 'solver.properties', respectively. Must be in current directory right now.
(3 Files changed,
32 Lines changed) joeq/Compiler/Analysis/IPA/PA.java 1.103
(+9
-4)
joeq/Util/InferenceEngine/Solver.java 1.35
(+3
-1)
joeq/Util/IO/SystemProperties.java 1.1 added |
| 2/27/04 10:16 AM | gback | - added support for comments
- fixed bug where source listing would break if class wasn't in a package
(1 Files changed,
12 Lines changed) joeq/Util/IO/SourceLister.java 1.2
(+12
-3)
|
| 2/26/04 8:39 PM | gback | added pa.writeparesults option (yes by default).
When yes, create a shell file 'runparesults' which contains a command
that starts PAResults in a JVM with the classpath and -D settings used
to run the PA analysis. Rationale: run PA from within ant, but
since ant doesn't support reading from stdin in <java> tasks, we must
run PAResults from the shell. Tested only on Unix.
(1 Files changed,
31 Lines changed) joeq/Compiler/Analysis/IPA/PA.java 1.63
(+31
-1)
|
| 2/23/04 8:02 PM | gback | commented out line that breaks the compile
(1 Files changed,
2 Lines changed) joeq/Compiler/Analysis/IPSSA/Apps/FindOwnership.java 1.2
(+2
-2)
|
| 2/8/04 4:57 PM | gback | CVS ate my previous commit message, so here it is again:
- added support for -Dpa.usejoeqclasslibs=yes to use replacement implementations
for analysis purposes. See ClassLib/pa/*
- integrated SimpleInterpreter
- removed castprecision, applesandoranges, and collectiontypes
(1 Files changed,
1 Lines changed) joeq/Compiler/Analysis/IPA/PAResults.java 1.42
(+1
-39)
|
| 2/8/04 4:54 PM | gback | *** empty log message ***
(4 Files changed,
401 Lines changed) joeq/Compiler/Analysis/IPA/PA.java 1.62
(+6
-1)
joeq/Compiler/Analysis/IPA/CollectionType.java 1.5 removed joeq/Compiler/Analysis/IPA/PAProxy.java 1.1 added 368 joeq/Compiler/Analysis/IPA/PAResults.java 1.41
(+27
-134)
|
| 2/8/04 4:50 PM | gback | added "store", "loaderpath", "new" and dot command. These works like so:
"store" - displays current store
"loaderpath" - set classpath for SimpleInterpreter
"new name type arg0 arg1 arg2 ..." - creates new object of type with first
reflectively found public constructor, passing args, stores the object
under 'name' in store for future access.
"name.method arg0 arg1, arg2 ..." - invokes first reflectively found method
with name 'method' on object that is stored under 'name'. Return value
is stored as "$last" in store.
processCommand now takes a SimpleInterpreter argument to maintain
store and classloader path.
(2 Files changed,
330 Lines changed) joeq/Util/SimpleInterpreter.java 1.1 added joeq/Main/Driver.java 1.29
(+43
-3)
|
| 2/8/04 4:34 PM | gback | A small program generator class that create a class in a package that
exports another class's package-accessible fields. This can be used to
allow direct access to a class's fields without using accessor methods
or without making the fields public. Could be a temporary hack.
(1 Files changed,
50 Lines changed) joeq/Util/MakeProxy.java 1.1 added 50 |
| 2/3/04 3:55 PM | gback | Support reloading of nodes.
This changes the output format and obsoletes your pa.* output files.
(3 Files changed,
259 Lines changed) joeq/Compiler/Quad/AndersenPointerAnalysis.java 1.58
(+13
-13)
joeq/Compiler/Analysis/FlowInsensitive/MethodSummary.java 1.47
(+244
-113)
joeq/Compiler/Analysis/IPA/ClassInvariantAnalysis.java 1.4
(+2
-2)
|
| 2/3/04 3:53 PM | gback | hack to correctly read fake members from textual representation
(1 Files changed,
2 Lines changed) joeq/Class/jq_Member.java 1.38
(+2
-1)
|
