8494f98106
Merge branch 'wala' into master
2011-11-09 13:03:31 +01:00
d75e4455c6
delete obsolete comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4285 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-26 13:53:29 +00:00
0f66936790
Merge branch 'wala' into master
2011-10-26 14:34:59 +02:00
c274ecacc9
bug fix: deal with case when app-specific context selector and interpreter are null.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4284 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-25 13:55:32 +00:00
44a3dae093
Merge branch 'wala' into master
2011-10-21 15:15:20 +02:00
2723084bac
ran into a method with 30 parameters. hopefully this is enough?
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4278 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-09-25 21:52:20 +00:00
fa5a0aa452
mod ref field access analysis
2011-09-20 15:50:39 +02:00
c240d41b4f
Merge branch 'wala' into master
2011-08-16 22:16:32 +02:00
7a6af352b9
moved IR-independent visualization of graphs to util project
...
added DFS path find that finds all paths in sequence rather than just one
moved the WalaException out of warnings subpackage
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4257 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-16 16:51:11 +00:00
62820d2fba
create default properties if no wala.properties file exists
2011-07-29 14:06:14 +02:00
26d65e9f9c
added callgraph pruning to remove less relevant library methods
2011-07-28 12:08:59 +02:00
6877158843
load scope file from jar as fallback
2011-07-27 13:44:38 +02:00
efb729e038
Merge branch 'wala' into master
2011-07-27 01:15:29 +02:00
82d751a814
try to fix javac compile errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4226 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 17:06:09 +00:00
a6a8188244
change getPointerKeys() to return an Iterable, so we're not forced to construct a Collection (can cause a space blowup for a very large points-to relation)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4224 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 15:53:33 +00:00
496a98c4bd
add possiblility to search existing types without creating new ones
2011-07-14 21:35:46 +02:00
f5ac0c543f
Merge branch 'wala' into master
2011-07-12 19:50:39 +00:00
fbfdb32b11
expose a field to subclasses
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4207 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-02 15:40:33 +00:00
ee3c8f3847
Thread a progress monitor through parts of pointer analysis constraint generation, so we can cancel if it's taking too long
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4193 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-30 18:59:29 +00:00
f8197b4f2c
patch to fix FileProvider bug from Marcel Bruch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-27 19:50:33 +00:00
f8d6f5b917
Merge branch 'wala' into master
2011-05-27 12:25:53 +02:00
b84657d1a9
add some new classes from wala
2011-05-26 16:43:36 +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
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
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
a76f93a28c
Merge branch 'wala' into master
2011-04-13 13:02:15 +02:00
2b87f070a7
make getBCInfo() synchronized to prevent duplicate code loading by different threads
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-12 19:20:13 +00:00
7c518d1867
added instruction index field to SSAInstruction (javascript not working atm)
2011-04-12 19:49:06 +02:00
8c04179fcc
remove unused class of exception analysis
2011-04-12 17:02:39 +02:00
2d3052bede
intraprocedural nullpointer exception analysis
2011-04-11 16:28:51 +02:00
5c43668553
Merge branch 'wala' into master
2011-04-11 16:40:48 +02:00
bef3480898
fix for empty cfg entry node was incomplete... fix fixed ;)
2011-04-06 14:22:11 +02:00
fc366d728e
added notion of source modules, which are presumed to be text files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4083 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 14:58:58 +00:00
3d95532603
added type parameter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4082 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 14:58:15 +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
cbb9f421a9
advanced sythetic instructions for initial points-to/aliasing set up
2011-03-30 13:03:16 +02:00
fe5d5cdcb2
custom caching to guarantee: method.getIR() == method,getIR() - also for contained IR statements
2011-03-30 13:03:16 +02:00
56cdf169b0
distinguish control deps from data deps in the pdg
2011-03-30 13:03:16 +02:00
baf67a8dbb
setter for native spec (.xml) file
...
added fallback: load xml from filesystem if loading from jar does not work
2011-03-30 13:03:16 +02:00
211e542ee5
entry and exit nodes in every cfg
2011-03-30 13:03:16 +02:00
b9cd802759
setter for pointerkey factory
...
public phi nodes
2011-03-30 13:03:16 +02:00
442975b603
implement hasEdge for exploded cfg + fix entry nodes with instruction
2011-03-30 13:03:16 +02: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
d7ebb57ee6
add substasks to progressmonitor
2011-03-30 13:03:16 +02:00
e2a0abc119
only run dot-exe if the property is set
2011-03-30 13:03:16 +02:00
9aa9187edc
fix for CFG bug reported by Benedikt N on mailing list, plus test case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-24 19:41:46 +00:00
e33b9d3861
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4075 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-21 16:03:36 +00:00
06b652d1fb
fix bug reported by Benedikt Nordhoff on mailing list: for cases where an enclosing exception handler catches all exception types, don't add an exceptional edge from a throw instruction to method exit.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-08 23:41:03 +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
Juergen Graf
sjfink
msridhar1
dolby-oss