78ef6e3a03
further work
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:15:26 +00:00
9ad5c55d85
generate lexical access instructions for methods accessing their own exposed vars. still need to fix call graph construction
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:26 +00:00
4c6d062dbb
blunt force trauma to CAst frond end:
...
1) Structural changes in the AstTranslator to allow retranslation and generation of custom IR. This is mostly moving state from the translator itself into the context.
2) Some refactoring to share some AST generation code across the Java and JavaScript front ends.
3) Switching to the latest Rhino, release 1.7R3; this is a pervasive change to the JavaScript Rhino translator, since it involves switching to the new AST interface in Rhino.
4) Common code to, as an option, translate Do-style loops by replicating the loop body. This allows the use of CAstNode.LOOP forms for such loops.
5) Some bug fixes to the mechanisms of the CAstRewriter to handle weird control flow cases.
6) An example of retranslation to specialize JavaScript methods based on how many arguments they receive at call sites.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4425 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-27 20:15:33 +00:00
59e46916ce
Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:27 +00:00
f5ac0c543f
Merge branch 'wala' into master
2011-07-12 19:50:39 +00:00
81c12b97af
cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4189 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-30 15:41:40 +00:00
f8d6f5b917
Merge branch 'wala' into master
2011-05-27 12:25:53 +02:00
4da02a9125
Changes to extend supported context sensitivity to CPA-style:
...
1) extend ContextSelector interface to allow it to specify parameters of interest
2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
3) various related fixes and extensions:
a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
c) a bit more support for empty int sets
d) void function objects
e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 13:58:56 +00:00
3fffba2c87
javadoc and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-26 18:44:49 +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
0ce752ccff
formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4129 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 23:08:17 +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
7c518d1867
added instruction index field to SSAInstruction (javascript not working atm)
2011-04-12 19:49:06 +02: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
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
04f5b76b1d
remove unused folder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4067 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-10 21:30:46 +00:00
3a49f17ebc
update code formatting for Eclipse 3.6
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:14:47 +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
660488f010
Added qualifier for plugin version
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4012 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-12-09 16:01:17 +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
3fa3c8b03c
change to how default values for value numbers are recorded for SSA conversion by CAst
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3916 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:02:15 +00:00
086c22dc13
provide more options for choosing classfiles vs source files. Thanks to Dan Marino.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3852 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-07-19 14:05:19 +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
d7443eb6d6
Need a way to extend JavaClass implementation for X10.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3792 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-01-07 22:16:24 +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
d079132c07
fix type-o in comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3646 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 13:00:29 +00:00
e85f813477
work on generalizing type inference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3625 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-03 18:24:46 +00:00
18a3e1ef07
fix minor warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3604 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-20 18:55:14 +00:00
50a4df0f32
more stuff deemed 'relevant' for JMM
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3602 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-20 17:07:18 +00:00
4595806dc9
slice locks for concurrent code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-19 18:02:53 +00:00
7c01256b30
fix hackish multithreaded support to deal with array writes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3594 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-14 19:15:45 +00:00
0890ed0795
trivial bug fix
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3585 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-07 16:41:10 +00:00
125dcbedd9
Made buildAnalysisScope() public so that, e.g., one can build a class hierarchy without building a call graph.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3573 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-06 20:25:32 +00:00
d498070dcf
JavaClass can now represent the root class, in case it resides in source (previously, it required every class to have a superclass).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3568 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-05 17:22:57 +00:00
ff82965836
Extracted a common subexpression to a local in defineFunction().
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3567 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-05 15:52:32 +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
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
e66d5ed88a
approximate support for multithreaded code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3532 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-23 18:00:20 +00:00
caaec26c5e
Removed polyglot dependencies from the bundle manifest and classpath, now that the code dependencies have been moved to another plugin project (com.ibm.wala.cast.java.polyglot).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3469 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-16 20:18:53 +00:00
6868b753eb
organize imports and tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 13:50:45 +00:00
37344b9716
allow eclipse integration to use source code for java projects, and pass it to the JDT-based CAst front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3436 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-12 03:04:42 +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
134b84db07
adapt X10 support to WALA changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-24 17:06:49 +00:00
2b24aa35ff
fix polyglot CAst compile errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3354 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-18 22:47:26 +00:00
b1cdc4fecf
call new factories
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3305 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-13 17:06:09 +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
1cb571d1f0
add some missing exception edges
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3273 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-11 13:30:52 +00:00
edbee5a1e7
adapt to core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 15:59:18 +00:00
1b17786512
when reflection handling is disabled in the AnalysisOptions, disable stuff like handling of string constant arguments to reflective methods, etc.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3209 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-03 20:38:47 +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
51a5784b25
fix build bug
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3173 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-14 15:53:16 +00:00
1135a37fb5
refactor polyglot-based java code in its own projects
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3167 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-09 14:11:39 +00:00
f46c779af8
add type parameter to match parent class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-23 15:22:37 +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
7ce05498fd
refactor java source test code to ease making plugin tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 14:29:11 +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
577d3b9875
enhancements to handling of lexical scoping; fixes for X10
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3110 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 14:08:57 +00:00
66884c2c37
fix Eclipse 3.4.1 compiler warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-01 19:40:43 +00:00
a02c79527e
Fixes for exceptions thrown by array accesses (incomplete)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-31 21:27:10 +00:00
725396826a
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2949 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-04 01:57:01 +00:00
c8cdff09ec
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2905 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-25 14:45:02 +00:00
3ccd19bcc6
refactoring to prepare for JDT front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 16:02:01 +00:00
9e91232b7c
refactoring to prepare for JDT front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2841 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:55:21 +00:00
7ab6785602
refactoring to prepare for JDT front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 15:53:47 +00:00
9956ead545
revamp deterministic hash code support for a few key classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2802 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-12 14:22:11 +00:00
c0296330f8
fixes for break from arbitrary code block
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2712 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-18 14:17:23 +00:00
0ef440b09b
commit patches to fix issues with uses of null (Thanks Evan)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2710 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-18 13:28:27 +00:00
42336728df
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@2653 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 21:32:27 +00:00
300568f339
delete PointerFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2612 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-24 00:05:54 +00:00
1482a589d2
patch for zero-one-container engine for Java source
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2608 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-23 22:46:47 +00:00
2528855d68
committed patch for outer.new inner() form. Thanks!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2593 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-18 22:25:21 +00:00
b648bd3ceb
committed patch from Evan Battaglia to support outer.new inner() form. Thanks!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2591 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-18 15:17:16 +00:00
ddd7456fc0
Extracted code from computeClassPath() that finds the innermost class loader to a method so that it can be overridden (for languages that derive from Java and use additional ClassLoaderImpls). Added some type parms. computeClassPath() now skips FileModules, in case any "leak" into the module set. Added overridable method skipSourceFile() so that generated source that's in the source path can be skipped (e.g. Java source generated from X10 source files).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2515 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-31 15:54:05 +00:00
1605e7ea45
adjust to change in ModRef API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2475 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-25 13:55:15 +00:00
1064d27836
more cleanup of util packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2459 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:53:36 +00:00
d5b1e3edcc
Delete CallGraphBuilderFactory. Related cleanups.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2456 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:38:45 +00:00
665d6ffe11
refactoring: move some classes into appropriate packages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2451 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:20:02 +00:00
17f4413f08
just refactoring ... introduce 2 new packages in wala.util.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2445 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-24 22:04:37 +00:00
b38097cb7a
don't crash on empty IRs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2417 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-19 04:33:03 +00:00
8e4275e01c
delete obsolete ValueDecorator interface
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2390 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-15 14:40:28 +00:00
9aa79306f4
clean up some slicer APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2376 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 19:20:53 +00:00
20445b5e21
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2372 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 16:51:23 +00:00
32200d46d0
nuke support for "dispatch bound" call graph construction heuristic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2352 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:50 +00:00
a0e8c87bff
tweak code formatting for enums
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 16:26:05 +00:00
fb4c3ff44d
significant refactoring and generalization of instance keys and CFA builders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2286 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 18:24:54 +00:00
61eb28bde2
tweak code formatting template
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2263 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 16:31:10 +00:00
29f015f282
clean up and refactor some APIs surrounding file I/O and exclusions files. Needed in order to allow clients to use some APIs with application-specific exclusions.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2249 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-02 22:27:50 +00:00
7828ca63b7
small slicer interface generalizations
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2238 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 17:49:48 +00:00
ffcf365596
add method IClass.isStatic()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2233 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-21 15:08:30 +00:00
d71fc2afa8
revert code compliance level to 5.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2203 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:47:39 +00:00
11e68af500
fix some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2194 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 22:09:35 +00:00
23bf1dda2f
patch for file offsets in Positions from Evan Battaglia
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2190 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 21:11:45 +00:00
73f8d6fe31
patch 1850117, fix some unguarded assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2178 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-13 17:08:35 +00:00
056d8ec27a
adapt to language changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2169 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 23:08:29 +00:00
dabff0d1cb
adapt to EMF removal
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2163 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 21:28:23 +00:00
msridhar1
dolby-oss
Juergen Graf
sjfink
egeay
rmfuhrer