a1b36e3488
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4146 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 23:00:31 +00:00
d838a6c42f
javadoc, generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4145 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:59:44 +00:00
06b529e146
javadoc, formatting, more generic types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:59:13 +00:00
4f27f73bf0
added generic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:34:06 +00:00
3eda14a1a6
refactoring / javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4133 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:33:56 +00:00
38b99221fa
javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4132 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:33:44 +00:00
05a516c1e2
javadoc and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4130 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 23:08:47 +00:00
53294397f8
javadoc, formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 22:31:27 +00:00
67d26e74c5
allow IR translator to give warnings and errors via the loader
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4125 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-14 01:16:36 +00:00
9006fce690
some bug fixes to CAst IR generation, especially in handling exceptions
...
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:27:15 +00:00
2f2c6a2555
clean ups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4122 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:21:47 +00:00
1cfde94f59
some simple generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4118 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:18:58 +00:00
cb9482c57b
some simple generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4117 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:18:17 +00:00
006f97a514
better toString method
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4116 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:17:48 +00:00
c726bd87f1
remove dead piece of state
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4115 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:17:20 +00:00
7c518d1867
added instruction index field to SSAInstruction (javascript not working atm)
2011-04-12 19:49:06 +02:00
5c43668553
Merge branch 'wala' into master
2011-04-11 16:40:48 +02:00
032f82f713
typing cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4105 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-05 16:41:43 +00:00
c4891ba35d
fixes to defining types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:17:31 +00:00
fce2752c64
cleaned up source module loading
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4087 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:02:28 +00:00
783fa6ffb9
cleaned up source module loading
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4086 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:01:29 +00:00
8c3104c74a
fix for bizarre eclipse typing error
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4085 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:00:43 +00:00
4257d9de83
improved toString message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4084 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 14:59:52 +00:00
857e456806
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-03 04:08:05 +00:00
1a67e8817c
remember unresolved classes
2011-03-30 13:03:16 +02:00
47711fd310
read enhanced bytecode postions from class attributes
2011-03-30 13:03:16 +02:00
5a042f3f69
tighten typing for NumberedGraph, using covariance as allowed as of java 1.5
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4042 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:46:53 +00:00
fa825de846
refactoring of fixpoint API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:43:18 +00:00
7781e78f7f
added annotation attribute
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4019 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-12-14 14:30:14 +00:00
da98a43469
make module loader a bit more flexible
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3987 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-03 17:49:59 +00:00
c7558b3646
fixes for Rational
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-02 19:11:58 +00:00
fde1be89b5
add more extensive exception message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3979 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:39:22 +00:00
6157acd567
Fix stack overflow on long methods bug.
...
See test case for more details.
- Convert the problematic recursion (SEARCH of SSA conversion) into an "iterative" code (by introducing a stack data structure.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3961 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 20:53:31 +00:00
fc0d5ecc47
- Fix the cast rewriter to rewrite labels too.
...
- Fix the translation of switch statements to keep the labels "alive" (part of the AST).
- Added test case for the bug.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3960 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 20:27:17 +00:00
9cae049830
Added viewer for CHA/CG/PA for Java/JavaScript.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 17:11:12 +00:00
1d4d158de3
Replace manual creating of URL (using, e.g., "file:" + f.getAbsolutePath() ) with progrematic one.
...
(File.toURI().toURL()). Good for cross platform (Mac vs. Windows)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3953 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 16:22:08 +00:00
92c271bfa1
Make method more robust. (return null instead of throwing NPE/ClassCastException). Good for synthetic code (e.g., constructors)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3952 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 15:59:48 +00:00
bbfe032fc3
bugfix, adapt to change in parameters of SourceFileModule constructor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3951 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 15:57:18 +00:00
c25fab6332
Allow querying about the number of lexical reads/writes for an invocation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3950 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:30:49 +00:00
a86edfaad1
Technical: Moved printouts under DEBUG flag.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3949 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:27:43 +00:00
268e8268e0
Move repeating error msg under DEBUG flag
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3948 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 08:20:53 +00:00
2fea4f6e4f
- Fix unit tests both for Mac and Windows environment.
...
- Replace Html Parser with one that is based on Jericho (require running ./fetch_libraries.sh on cast.js project.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3942 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-27 15:15:03 +00:00
59bdaf6d27
more checking
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3937 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-14 20:29:29 +00:00
e4b9d03be5
bug fixes for unicode names and to prevent analysis from modifying the symbol table
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3936 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-14 20:29:05 +00:00
f55da4c677
fix to copy symbol table for IR, needed for handling mutation by lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3917 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:03:22 +00:00
447823c629
kill unused supportRefinement option
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 18:30:55 +00:00
b8ecc8d48a
nuked ReflectionSpecification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 17:19:54 +00:00
2e724aac3e
fixes for JavaScript motivated by Web examples
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3823 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:38:28 +00:00
a4d157480d
adapt to checkcast change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:36:52 +00:00
9e95053a59
add / fix some docs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3803 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-02-21 23:09:28 +00:00
05744fe19b
change isVolatile() in IMethod to isBridge(), better reflecting Java spec
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3777 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-03 16:56:49 +00:00
e877067710
Ishizaki-san's patch for hasMonitorOp
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3733 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-17 13:58:55 +00:00
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
06d6ff8c8f
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3651 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 14:10:12 +00:00
ba1307cba2
reduce verbosity of printing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3626 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-03 18:25:39 +00:00
f229e9c2ac
mostly comments. A few new type parameters. No semantic changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-29 15:26:35 +00:00
c707604d22
beginnings of support for handling indirect references (e.g. access via pointers) to the SSA values in the IR. Currently, pushed through Shrike but with only the beginnings in core. Also, not yet integrated with the way lexical scoping works in CAst, which ought to be fixed
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-20 18:59:53 +00:00
314b50db61
more verbose parse error
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3603 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-20 18:54:40 +00:00
2e8da872c0
support for replication-based translation of Do loops in Java, so that the standard LOOP node type can be used.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3596 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-15 16:06:09 +00:00
031d95194d
fix isFinal
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-14 20:21:08 +00:00
31c5efdc56
add IClass.isPrivate()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3593 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-14 17:24:26 +00:00
ff1318ef4c
new class loader apis to allow querying source file names and streams using a method and offset into it, rather than a class. This is to accommodate languages in which method bodies can be from multiple places, e.g. due to constructs lie #include. To reflect the fact that classes are no longer assumed to have a single source file, the old apis using just a class are deprecated and declared to throw NoSuchElementException.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3589 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 16:51:21 +00:00
f39b9cf43a
revert previous checkin (a major API change to IClass.getSourceFile())
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 14:38:07 +00:00
d5e6dd443f
REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3581 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 14:13:52 +00:00
d38bfeb577
Added toString() impl.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3565 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-05 15:38:27 +00:00
c3769d5717
performance and other fixes driven by models of Web pages for JavaScript
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3562 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-04 14:11:31 +00:00
de6adbc4d7
more migration to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 17:42:28 +00:00
17c2aa7588
remove unnecessary ClassHierarchyExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 13:04:33 +00:00
948dab4d0d
remove ClassHierarchyException from IClass.getAllMethods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3557 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 12:50:17 +00:00
9939142eae
switch from Assertions._assert to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-30 13:16:52 +00:00
829145e97b
Nuke ClassHierarchyException from IClass.getSuperclass()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3539 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-28 19:52:34 +00:00
7822d1489f
slight generalization
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3504 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 16:37:47 +00:00
addfb7ddc2
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-20 12:54:33 +00:00
f6f7b92bfe
clean ups, and work on error reporting in the CAst front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-15 12:52:40 +00:00
dd65f0b53a
add copyright notices.
...
avoid using Trace.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3438 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 13:49:22 +00:00
e80dc6ef8c
refactor handling of constants in Shrike to abstract away from Java bytecode
...
introduce factories to create SSAInstruction objects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-10 18:33:07 +00:00
957cb2b8ca
deprecate Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 20:31:14 +00:00
b2bae33bab
generalize parsing of Descriptors to also handle languages other than Java
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-26 15:11:45 +00:00
9293a5fdeb
more support for linking bytecode to Java source
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3308 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-13 18:51:06 +00:00
ed13ddbb17
bug fix 2666538: make ClassLoaderReference immutable, and related API fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3302 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-13 14:20:35 +00:00
aeda43e97e
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-09 17:59:09 +00:00
ec2c48b42a
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3263 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-09 17:49:23 +00:00
3e198f8244
merge of development on internal branch. Support for cross-building JNI code for Windows, and refactoring of abstract loader support.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3242 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-26 16:54:30 +00:00
65bfb788b7
adapt to core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 15:59:01 +00:00
9979d0899c
more fixes to lexical scoping for JavaScript
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3196 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-30 16:33:22 +00:00
f8d02b4541
fixes for JavaScript for Anders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3191 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-27 17:40:11 +00:00
37e0676e93
fixes to unary operators for JavaScript
...
(i.e. unary +x is not the same as x+0, same for unary -x)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3190 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-22 14:38:34 +00:00
8d3c76715c
misc. fixes motivated by JavaScript
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-19 15:12:39 +00:00
cc1771db48
allow clients to use AstCGNode
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-23 14:32:42 +00:00
c78d2c50a8
fix method type to match parent class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3148 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-23 04:46:57 +00:00
b1f300156e
patch from yinnon to make analysis scopes obey list order
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-17 19:52:27 +00:00
ff27c9122f
further work on lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3133 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 14:27:42 +00:00
5fd0909a7d
changed execution environment to J2SE1.5. Fixed some warnings.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 17:01:50 +00:00
309a9b6d72
enhancements to handling of lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3109 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 14:08:12 +00:00
f90c091819
integrate changes for X10 analysis and fix for inexplicable compile issue with Eclipse 3.4
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-11-06 17:57:20 +00:00
42ffd051dc
optimization of getAllExposedUses for lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3046 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-10-03 20:10:09 +00:00
83e7591ab5
bug fixes with TypeReferences and RuntimeException reasoning
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2998 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-08-20 16:07:50 +00:00
ba37e01522
generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2965 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-27 21:32:04 +00:00
6ba0be8559
bug fix to use the getInstructions() method more consistently
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2963 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-25 18:19:55 +00:00
9880fafd30
clean up diagnostic messages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2837 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:49:12 +00:00
17f29570aa
optimizations for IR caching when context is irrelevant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2800 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 13:34:25 +00:00
ec363cc10a
fix hashcode problems and misc. minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2733 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-31 15:47:32 +00:00
e509347a24
support for include-style constructs at the AST level
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2731 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-25 15:16:21 +00:00
24ee144ef4
fix compile problems from wala.core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2678 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 13:41:45 +00:00
bc4ebd38b8
delete obsolete ContextSelector.mayUnderstand()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2670 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-04 18:55:40 +00:00
aa33858080
Simplify MethodTargetSelector and ContextSelector interfaces; delete optimizations based on allSitesDispatchIdentically and mayReturnSyntheticMethod.
...
Also some Cast bug fixes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2654 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 21:32:31 +00:00
473fe90b7c
delete IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2650 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 01:48:33 +00:00
d1265b3575
minor tweaks for handling internal translator errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2633 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-28 17:44:04 +00:00
9f2fa75340
delete PointerFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2611 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-24 00:05:42 +00:00
d1294698bd
committed patch from Evan Battaglia to support outer.new inner() form. Thanks!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2590 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-18 15:16:16 +00:00
c8cc0fea10
commited patch from nvintila documenting LiveAnalysis. Thanks!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2589 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-18 15:02:00 +00:00
738de8039d
thread IProgressMonitor and CancelException through many APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2576 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 22:34:33 +00:00
118cdac3e8
new logic to interpret Class.newInstance() on a class constant, such as generated by forName(String constant).
...
Thanks Marco.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2574 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 18:49:00 +00:00
efe864998d
added method getTargets(IClass,MethodReference)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2561 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-12 01:40:08 +00:00
ecfb8b8d43
enhance reflection support to evaluate Class.forName() on a string constant.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2541 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-05 19:08:29 +00:00
9f79481fbe
adjust to change in ModRef API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 13:55:18 +00:00
a2f9a975e4
adjust to ModRef API change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2474 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 13:46:23 +00:00
76c8a7f194
more cleanup of util packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:53:51 +00:00
a359ba825d
refactoring: move some classes into appropriate packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:20:51 +00:00
9e79661c60
just refactoring ... introduce 2 new packages in wala.util.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2447 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:05:51 +00:00
41c8709c86
fixes for script entry point call sites
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2398 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 16:32:33 +00:00
0a5f2232f5
delete obsolete ValueDecorator interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2388 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:40:11 +00:00
fcfcdd191b
nuke support for "dispatch bound" call graph construction heuristic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2353 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:55 +00:00
3882bcbbeb
significant refactoring and generalization of instance keys and CFA builders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2287 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 18:24:58 +00:00
0a68d7609a
more tracing informatio for parsing problems
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2241 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-31 16:25:27 +00:00
45bd43ebf8
add method IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 15:08:16 +00:00
8197ab47d6
fix some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2192 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 22:09:29 +00:00
6e3039613b
pathc for file offsets in Positions from Evan Battaglia; make native translator to CAst more robust to errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2189 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 21:11:19 +00:00
f07ec1d5b5
patch 1850117, fix some unguarded assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 17:08:23 +00:00
72ba229e6c
clean up header comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 16:38:22 +00:00
eab8542e5f
clean up Language and AnalysisScope interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-11 16:37:42 +00:00
36086b4a18
add some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 16:33:57 +00:00
198bbfd6d3
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2147 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:36:44 +00:00
6185a33408
add echo instruction; adapt invokes to handle multiple return values
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:03:00 +00:00
8e46277e51
move echo instruction to CAst core; generalized invokes to deal with multiple return values; generalize function support to handle non-first-class functions, modeled as statics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 04:26:21 +00:00
05cfca0a3d
Factory method make(...) no longer takes an explicit arg to define the languages, but gets this info from the AnalysisScope instead. Added type parameters in a few places for clarity and static checking.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:20:20 +00:00
fe69687001
bug fix and related API changes for interface type tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2103 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-05 19:48:54 +00:00
52f13b2fc0
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2094 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 21:40:34 +00:00
3e33169ecc
add some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2093 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 20:44:04 +00:00
47fcf748ee
first phase of restructuring to fix string constant pointer analysis problems
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-29 18:22:50 +00:00
0e36a5a553
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2046 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:57:45 +00:00
a8b61ccb17
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:51:04 +00:00
92499cf576
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2043 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:44:17 +00:00
9d980f3901
refactoring to bring reusable CAst translation code out of the PHP and JavaScript translators, and into the generic Cast projects. Also, adapted native code to compile on Mac OS X Tiger
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2017 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 01:51:42 +00:00
076a4325dd
turn some debugging off; adapt to Wala changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1929 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-23 04:07:46 +00:00
0cfb36979c
conservatively guess mayBePrimitive for all SSABinaryOperations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-22 16:34:35 +00:00
e09e1e7b27
change ControlFlowGraph.getExceptionalSuccessors to return a List, in order of increasing catch scope
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-04 15:49:12 +00:00
44d92505c6
Fixed getSignature method in order to return the usual scheme for method signatures in WALA.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-11 15:36:38 +00:00
cd78f3aa71
generics for control flow graph and filters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-02 14:45:07 +00:00
a2194053d6
type parameters for IRFactory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1710 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-01 14:41:18 +00:00
c9ed34510d
adapt to wala.core IteratorPlusOne change and clean up some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:51:10 +00:00
1282f62f8e
hide Pair constructor; misc. generics-related cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1701 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:19:52 +00:00
03a70ad997
adapt to new generics in wala core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1697 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 21:50:02 +00:00
30f8a45b76
add factories and objects to allow slicer to be extended to handle multiple languages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-08 12:01:12 +00:00
8f103735d0
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1569 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-06 18:31:22 +00:00
d5e8077395
merge code from loop unroller into standard CAstRewriter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1560 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-01 15:37:46 +00:00
b45f0aa8b9
merge code from loop unroller into standard CAstRewriter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1558 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-01 15:36:40 +00:00
6a1a7d0e75
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1514 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:19:33 +00:00
0d32f296f4
bug fix to refactoring to array assignment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-18 18:13:44 +00:00
edad2d5b68
Factored handling of array ref nodes from visitAssignNodes() so that code can be shared with array handlers for derived languages.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1506 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-18 15:55:54 +00:00
4b0508356a
fixes for default values of null; more customization hooks for SSA conversion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:09:59 +00:00
5a676e0c83
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:22 +00:00
84c69b3e57
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1471 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:15 +00:00
bb1ce4fa36
Now delegates to an ArrayOpHandler (this, by default) to handle
...
IR generation for array reads and writes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:49:55 +00:00
e523cd7800
New class to encapsulate translator's handling of various
...
array operations (reads, writes).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:48:40 +00:00
ce4cdd7f88
generalize hackish notion of 'internal' names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 18:14:26 +00:00
c91caedab6
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1435 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:07:32 +00:00
d72e0a1752
restructure to allow CGNodes to dwell in more than one CallGraph. lift some functions up from CGNode to CallGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1420 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 16:24:45 +00:00
c039c173e0
add accessor to test whether a given node is already mapped by a control flow recorder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 12:05:36 +00:00
39da63410a
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1390 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:09:29 +00:00
da8c93ec1a
misc. housekeeping and some slicer bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 14:11:24 +00:00
323f72c3fe
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1368 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:38 +00:00
e34aa83beb
delete CallGraph.getInterpreter() and CFGProvider
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1345 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 03:04:50 +00:00
eb86207d02
fix to index error from Nick
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1325 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:49:19 +00:00
03c523a52e
fixes to pointer analysis to handle languages that have a separate 'null' type for which no one should be reading/writing fields; minor fixes to misc hack context selector
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1323 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-28 14:30:15 +00:00
5144df56be
more assertion checking of control flow map during IR generation; bug fix to CAst rewriting to handle control flow edges out of the code being rewritten; bug fix to AstTranslator for control flow in finally blocks so that it throws either the prior exception or any new one
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1312 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-25 20:08:56 +00:00
6f61f9c9e2
introduce factory for Iterator2Collection
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-21 16:13:34 +00:00
3218734169
moved CAstRewriterFactory to CAst core project
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-16 16:04:30 +00:00
e261caa228
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1282 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-15 14:01:44 +00:00
1812d506bd
fix to isInit predicate in AstMethod
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1277 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-14 17:43:30 +00:00
d958868f41
a but more javadoc; added accessor for getting all value numbers exposed to lexical scoping; allow scopes during translation to ask for parent scopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1274 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-12 13:43:16 +00:00
9f1ab271a9
remove some unnecessary IClassHierarchy parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1256 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-06 20:15:48 +00:00
e5e40ab661
1) change implementation of CGNode hierarchy to avoid type parameters.
...
2) nuke BasicEntrypoints
3) tweak interface to InstanceKeyFactory for constants
4) refactoring for HeadlessWALA application
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 18:50:37 +00:00
8472f026f5
support for cross-language call graphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1215 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:31:35 +00:00
93e0e4c06e
change some Iterators in API to Collections
...
remove some unnecessary WarningSet parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1209 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-31 02:38:56 +00:00
8e741a8149
misc cleanup and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 19:33:42 +00:00
16938f0f70
getLocalReadKey() is now aware that certain invoke instructions
...
have uses other than parameters and lexical uses (e.g. X10's
async invoke instruction, which has a separate use for the
"place expr").
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:41:47 +00:00
a95a541834
New API method added to identify the last lexical use, used
...
when invoke instruction references entities other than parameters
and lexical uses (e.g. the "place expr" in X10's async invoke).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:40:54 +00:00
b0dae9066a
Added toString() impl.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:39:08 +00:00
44e81fe29f
misc. cleanups and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1166 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:47 +00:00
db4d2da065
added Byte case in getConstantValue of AbstractScope
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1142 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 02:41:25 +00:00
a946870b21
small cleanups for TypeInference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 19:32:02 +00:00
eacd5d6a95
delete Entrypoints interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1127 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:44:59 +00:00
86d1020a43
feature 1718935: make Entrypoints implement Iterable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1117 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 21:31:03 +00:00
c93222a501
feature 1717405: rename getFieldReference() to getReference()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:01:24 +00:00
0c456261ff
restore code that is being used
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 19:58:01 +00:00
25cfa83e11
make SSAInstruction.equals() consistently use ==
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 17:26:35 +00:00
8c2927636c
move PrunedCFG to wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-03 17:07:57 +00:00
0ff21e9cce
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1011 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-26 16:04:16 +00:00
f01c8208f6
introduce some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@995 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 14:10:57 +00:00
8c5fdceec3
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@994 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 13:51:15 +00:00
0023341733
new instruction to represent checking whether a local or a field is defined
...
new abstract base for CAst rewriters, used by the CAstCloner
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-19 13:48:01 +00:00
5483465978
fixes to adding default values when desired
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@925 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 17:50:12 +00:00
c51ad28e66
new CAstSymbol type for information about a symbol being declared. new support for default init values for unitialized variables
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@920 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:02:17 +00:00
095a1846f8
add more IR-based accessors for CAst context interpreter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 19:55:25 +00:00
d10f912ee4
make IBasicBlock an Iterable<IInstruction>. Rename iterateAllInstructions() to iterator()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@877 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-22 10:50:31 +00:00
5f3e4543d1
Graph API change: Graph is now an Iterable of Nodes!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@865 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-21 21:07:01 +00:00
685bad81fb
fix bug involving SSA conversion of catch statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@855 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-14 03:38:59 +00:00
ca3f29676a
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@852 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:10:01 +00:00
25a4b64c12
Added source position information for entire code bodies as a whole
...
Rewrote to the mechanism for invoking the callbacks for lexical scoping to not suck as much as before, i.e. it is somewhat less inefficient
adapt to filter instance key changes
bug fixes to IR generation for switch statements
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@839 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:00:43 +00:00
1ad96deff3
Added JavaDoc comment to BLOCK_EXPR.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:33:35 +00:00
bcce58c4ed
A little more use of generics.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@747 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:16:23 +00:00
9e79e45c93
some minimal javadoc comments for new instruction classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@732 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 03:07:33 +00:00
e87a0d4a19
formatting and javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@718 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-12 21:16:57 +00:00
05e1f973a6
squash remaining Eclipse warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@700 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 15:33:45 +00:00
76a0b991e7
clean up some generics stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@694 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 10:05:07 +00:00
a92bff31bb
some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@692 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 20:45:07 +00:00
f4fef68587
miscellaneous minor cleanups. eclipse build stuff. import statements.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@680 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 19:08:31 +00:00
eb8c4dd925
fixes to build.xml stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@641 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-04 19:37:55 +00:00
334e6fc3c7
fixes to conversion of native code to wala'ized names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@639 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 21:22:02 +00:00
3d9390a397
Initial contribution of core script analysis code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@616 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 17:17:13 +00:00
msridhar1
dolby-oss
Juergen Graf
sjfink
yinnon_haviv
omertripp
rmfuhrer
egeay
mkogane