Julian Dolby
|
d24519e974
|
cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble.
|
2017-02-02 20:33:27 -05:00 |
Julian Dolby
|
ab22d9abb0
|
enable specialization of source extractor for Web pages
|
2015-11-30 21:28:40 -05:00 |
|
Julian Dolby
|
b721a3ceb0
|
updates to dynamic call graphs to better match static ones
|
2015-07-10 09:44:01 +02:00 |
|
Julian Dolby
|
5cc870dd77
|
fixes to Dalvik support, and work on running Dalvik tests on Travis
|
2015-02-26 09:34:03 -05:00 |
|
Julian Dolby
|
f4de822fbf
|
fixes for field-based pointer analysis and callgraph construction
|
2014-10-28 16:09:32 -04:00 |
|
Julian Dolby
|
1bb7610011
|
work toward pointer analysis based on the flowgraph from field-based
call graph builder
|
2014-10-19 22:44:03 -04:00 |
|
Julian Dolby
|
99512c5cd0
|
uuse PrinterWriter; make DOM model optional
|
2014-04-11 10:00:05 -04:00 |
Manu Sridharan
|
3d2350dde6
|
rewrite getURLForFile to use FileProvider
|
2013-11-30 10:02:32 -08:00 |
|
Julian Dolby
|
a9331dca6f
|
avoid using files since the automated tests get things out of jars
|
2013-08-07 16:44:21 -04:00 |
|
Julian Dolby
|
72fa4b7ff6
|
add prologue files explicitly, which is now needed
|
2013-08-07 15:16:13 -04:00 |
|
Julian Dolby
|
080325b5f6
|
merge
|
2013-06-25 11:57:37 -04:00 |
Manu Sridharan
|
f268ca91fd
|
remove precise lexical config options; we want this to just be on
|
2013-06-07 09:48:00 -07:00 |
Max Schaefer
|
ef0cf8589d
|
Forgot to set translator factory; fixed.
|
2013-06-07 08:29:24 +08:00 |
|
Max Schaefer
|
3adaaf50ee
|
Correlation finder now handles both HTML files and raw JS files as
input, doesn't use WebPageLoaderFactory to create CAst anymore.
|
2013-06-07 08:29:24 +08:00 |
|
Max Schaefer
|
3d974b8313
|
Temporary commit; things are broken, but I need to switch back to master for a bit.
|
2013-06-07 08:29:24 +08:00 |
|
Manu Sridharan
|
fd6a02422e
|
undo one change from previous commit
|
2013-04-30 12:17:05 -07:00 |
|
Manu Sridharan
|
8d5af4aece
|
fix warnings
|
2013-04-30 12:10:06 -07:00 |
|
Manu Sridharan
|
4f7ec12edd
|
Expose temporary file created by source extractor. Fixes #19
|
2013-04-10 12:22:57 -07:00 |
|
Manu Sridharan
|
11c6619c7f
|
Variety of changes to JS front end.
- crash fixes
- small enhancements to prologue and preamble
- tighter handling of timeouts during CG construction
|
2013-04-09 15:47:22 -07:00 |
dolby-oss
|
a9ec87f360
|
Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-03-01 02:45:51 +00:00 |
msridhar1
|
954a1f091b
|
more work on precise lexical configuration
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4495 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:22:55 +00:00 |
|
msridhar1
|
c861bfed80
|
introduce CGBuilderType enum, related refactorings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:22:14 +00:00 |
|
msridhar1
|
a3826f23a8
|
refactoring: rename some Util classes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:21:59 +00:00 |