Julian Dolby
66d9e896c4
remove unsafe cast
2016-11-22 10:37:04 +08:00
Julian Dolby
3156f03145
more CPA work
2016-09-19 13:51:18 -04:00
Julian Dolby
8b2ab22335
support for full CPA, when desired.
2016-09-15 21:32:35 -04:00
Julian Dolby
cfbef4fe47
clean up load additional file
2016-09-15 21:24:16 -04:00
Julian Dolby
7928e57435
clean up load additional file
2016-09-15 21:18:31 -04:00
Julian Dolby
0f0c3d6bd9
add more functionality to analysis engine: create SDGs and
...
parameterize to do both regular and field-based analysis in JavaScript
2016-08-18 22:43:12 -04:00
Julian Dolby
0b52e9389e
Merge branch 'master' of https://github.com/wala/WALA
2016-07-25 21:41:11 -04:00
Julian Dolby
7b59f3141c
fix analysis options in js engine
2016-07-25 18:34:40 -04:00
Manu Sridharan
315d836d18
Fix building jars with JDK 7
2016-07-22 14:46:35 -07:00
Manu Sridharan
373a4d8aa4
Update Maven Central files to allow building under Java 8
2016-07-22 12:32:51 -07:00
Ben Liblit
7b6811b2dd
Ignore potential null accesses in Eclipse
...
Eclipse Mars Service Release 2 finds 45 potential null pointer accesses
across WALA's various Eclipse projects. Eclipse ignores these by
default, but any individual user may have changed their personal Eclipse
configuration to treat them as warnings or errors. Thus, some people
will find that the code builds while others find that it fails. Better
to explicitly use a known-good configuration.
In the long run someone should inspect these cases one-by-one and fix
them where appropriate. But that is probably better managed as part of a
larger effort to tidy up nulls in WALA. I'm not planning to take that on
now or any time soon, though, so this is a better setup for now.
2016-06-27 13:11:42 -05:00
Julian Dolby
aeac2a6df0
check call has enough arguments
2016-06-22 13:05:02 -04:00
Julian Dolby
76286a330c
make Android entrypoint locator work for source code
2016-06-10 21:21:08 -04:00
Manu Sridharan
cd560b3b2b
switch version to 1.3.10-SNAPSHOT
2016-05-10 22:53:28 +09:00
Manu Sridharan
158a5deeb0
Version 1.3.9
2016-05-10 21:59:26 +09:00
Julian Dolby
e28b97b1ec
fix null pointer exception handling tag
2016-03-28 12:56:36 -04:00
Julian Dolby
e87b2e5d84
fixes for slicing of field-based CGs
2016-02-14 17:18:21 -05:00
Julian Dolby
9267003c5b
changes for language and solver work
2015-12-09 17:28:45 -05:00
Julian Dolby
ab22d9abb0
enable specialization of source extractor for Web pages
2015-11-30 21:28:40 -05:00
Julian Dolby
0265a1c2dc
Eclipse Java Compiler as a standalone source code front end
2015-10-14 13:32:34 -04:00
Manu Sridharan
e46bb81081
Update version to 1.3.9-SNAPSHOT
2015-10-09 12:55:49 -07:00
Manu Sridharan
ed5093d6db
Properly update version to 1.3.8
...
Other changes were accidentally committed last time.
2015-10-09 11:06:03 -07:00
Manu Sridharan
077cabc4eb
Revert "update version to 1.3.8"
...
This reverts commit 4aac703ee5
.
2015-10-09 11:03:46 -07:00
Manu Sridharan
4aac703ee5
update version to 1.3.8
2015-10-09 10:45:57 -07:00
Julian Dolby
671bd98977
Java 8 suport enhancements, mostly to model lambdas compiled to
...
invokedynamic
2015-08-12 15:20:21 -04:00
Manu Sridharan
4c3827bf49
more Maven-related changes
2015-07-30 20:39:26 -07:00
Manu Sridharan
b7ab80734f
remove Eclipse dependendence from cast.js
2015-07-30 15:03:45 -07:00
Julian Dolby
563b6ba6aa
fixes for for ... in ... form in JavaScript
2015-07-24 22:44:10 -04:00
Julian Dolby
b721a3ceb0
updates to dynamic call graphs to better match static ones
2015-07-10 09:44:01 +02:00
Manu Sridharan
052023581d
update version to 1.3.8-SNAPSHOT
2015-05-31 13:53:07 -07:00
Manu Sridharan
f2f65bfbc5
oops, version should be 1.3.7
2015-05-29 13:20:25 -07:00
Manu Sridharan
894f010ff9
version 1.3.8
2015-05-29 12:20:53 -07:00
Manu Sridharan
7ad8700064
update version numbers to 1.3.7-SNAPSHOT everywhere
2015-05-28 10:37:01 -07:00
Julian Dolby
d85347f231
Merge branch 'master' of https://github.com/wala/WALA
2015-04-05 21:20:03 -04:00
Julian Dolby
0975441a43
changes for hybrid analysis
2015-04-05 21:19:56 -04:00
Julian Dolby
c5b538eade
more metadata
2015-03-24 22:41:42 -04:00
Julian Dolby
7f48ca1de6
missed a change
2015-03-24 22:14:13 -04:00
Manu Sridharan
f6167c6f0c
add models for reduceRight and filter
2015-03-17 16:47:12 -07:00
Manu Sridharan
42880c6516
handle sparse arrays
2015-03-17 16:31:31 -07:00
Manu Sridharan
21763cc8f2
bug fix
2015-03-17 16:31:15 -07:00
Manu Sridharan
1c07d3bba3
corrected model for Array.prototype.pop
...
WALA's previous model would always return undefined,
since mutating the Array length would delete the
relevant value before it was accessed.
2015-03-11 14:10:58 -07:00
Manu Sridharan
41f4209334
Models for Array.prototype.some, every, and reduce
2015-03-10 16:17:39 -07: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
096e2f796f
1) new support for function.prototype.apply in field-based CGs
...
2) fixes to Dalvik bytecode reader
3) fixes to Shrike writing Java 7 byte code
2014-12-11 21:48:23 -05:00
Cosmin Radoi
a09c9f6eeb
fix: remove import
2014-11-25 13:43:37 -06:00
Cosmin Radoi
853b5fc37a
replace Filter with Predicate
2014-11-25 13:23:47 -06:00
Julian Dolby
1fd4cadc17
more work on field-based pointer analysis
2014-11-24 11:20:13 -05:00
Julian Dolby
d9bf9906ca
model prototypes in field-based pointer analysis
2014-11-18 22:27:25 -05:00
Julian Dolby
339de954ea
add global to field-based pointer analysis
2014-11-04 21:33:22 -05:00
Julian Dolby
68ad4dbba6
first cut at heap graph for field-based pointer analyais
2014-10-30 21:14:12 -04:00
Julian Dolby
6f1ab8d0b5
add global abstract object to set of all instance keys
2014-10-29 08:52:57 -04:00
Julian Dolby
f4de822fbf
fixes for field-based pointer analysis and callgraph construction
2014-10-28 16:09:32 -04:00
Julian Dolby
5137760580
fixes to field-based pointer analysis notion of all instance keys.
...
filter for only those actually present in the CG
2014-10-22 11:27:48 -04:00
Julian Dolby
981fc9a4a1
fix duplicate function name.
...
ø
2014-10-22 11:26:31 -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
c9ad359d65
new test to remind me that prototype no longer works with correlation tracking:
...
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestPrototypeCallGraphShapeRhino.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestPrototypeCallGraphShape.java
com.ibm.wala.cast.js.test.data/examples-src/pages/prototype.html
work (not yet finished) on fixes to property accesses for JavaScript:
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstSSAPropagationCallGraphBuilder.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/callgraph/AstJavaSSAPropagationCallGraphBuilder.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java
currently unused tests to remind me to fix bugs:
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js.test.data/examples-src/tests/loops.js
com.ibm.wala.cast.js.test.data/examples-src/tests/primitive_strings.js
fixes to exception handler code generation in JavaScript:
com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java
com.ibm.wala.cast.js.test.data/examples-src/tests/try.js
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
fixes to make the system build on both juno and luna
com.ibm.wala.cast.js.test.data/pom.xml
pom.xml
targets/e42/e42.target
targets/e44/e44.target
targets/pom.xml
com.ibm.wala.core.tests/META-INF/MANIFEST.MF
com.ibm.wala.dalvik.test/META-INF/MANIFEST.MF
com.ibm.wala.ide.jdt.test/META-INF/MANIFEST.MF
com.ibm.wala.ide.jdt/source/com/ibm/wala/cast/java/translator/jdt/FakeExceptionTypeBinding.java
com.ibm.wala.ide.jdt/source/com/ibm/wala/ide/util/JavaEclipseProjectPath.java
com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
com.ibm.wala.ide.jsdt.tests/src/com/ibm/wala/ide/jsdt/tests/AbstractJSProjectScopeTest.java
com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java
com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java
beginnings of "pointer analysis" on top of field-based analysis
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/FlowGraph.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PropVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/RetVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/VarVertex.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/VertexFactory.java
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysis.java
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/ExceptionReturnValueKey.java
fixes for crashes in correlartion tracking
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/correlations/extraction/ClosureExtractor.java
fixes for Dalvik IR generation
com.ibm.wala.core/src/com/ibm/wala/cfg/BytecodeCFG.java
com.ibm.wala.core/src/com/ibm/wala/cfg/ShrikeCFG.java
com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/drivers/APKCallGraphDriver.java
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/JVMLDalvikComparison.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexCFG.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/dex/instructions/UnaryOperation.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/AbstractIntRegisterMachine.java
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/DexSSABuilder.java
fixes to stack map generation when instrumenting for Java 7
com.ibm.wala.shrike/src/com/ibm/wala/shrike/cg/DynamicCallGraph.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/ConstantInstruction.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/Analyzer.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/ClassHierarchy.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/analysis/Verifier.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/shrikeCT/ClassInstrumenter.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapConstants.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapTableReader.java
com.ibm.wala.shrike/src/com/ibm/wala/shrikeCT/StackMapTableWriter.java
2014-10-15 16:01:38 +09:00
Julian Dolby
6c47da8091
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/shrike/DynamicCallGraphTestBase.java
com.ibm.wala.ide.jdt.test/launchers/JDTJava15IRTests.launch
2014-10-06 15:43:42 -04:00
Julian Dolby
36709b9d1a
java 7 support, with much pain for stack maps :)
2014-10-06 15:34:16 -04:00
Julian Dolby
a1bc84356d
scandriod merge
2014-10-01 21:32:36 -04:00
Julian Dolby
774be73672
Merge https://github.com/jgf/wala-mirror
2014-09-11 10:43:13 -04:00
Julian Dolby
26f5254e3e
more support for Java 7:
...
analysis now understands and propagates MethodHandle objects
fixes to Shrike InvokeDynamic instruction
Former-commit-id: fb826f124423bcbca08f729cee1794fbda711d16
2014-08-07 16:02:48 -04:00
Juergen Graf
8f6ec6bc54
cleanup
2014-07-30 15:05:15 +02:00
Juergen Graf
357ac26dee
fix bugs with instruction index of javascript ssa instructions
2014-07-29 19:46:24 +02:00
Juergen Graf
ccc2cf1506
small cleanup in wala.cast
2014-07-29 19:45:24 +02:00
Juergen Graf
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
Julian Dolby
3910608d60
JavaScript slicer support
2014-07-11 11:55:02 -04:00
Julian Dolby
dd3124479e
allow control flow in induced cfgs, and various related fixes
2014-07-08 14:44:06 -04:00
Julian Dolby
df0c94f718
string concat function
2014-07-08 14:39:38 -04:00
Julian Dolby
5c0285c410
fixes to source variable name tracking, and new test to verify fix
2014-07-01 21:23:52 +02:00
Michael Heilmann
ea40719069
Merge branch 'master' of https://github.com/wala/WALA into development
2014-06-26 17:52:47 +02:00
Michael Heilmann
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
Julian Dolby
bdea38f6bc
remove some printing
2014-06-26 11:11:00 -04:00
Julian Dolby
eaca036730
fix build info for maven
2014-05-28 15:11:09 -04:00
Julian Dolby
9444d24f4c
put commons-io-2.4 in more places
2014-05-28 14:17:55 -04:00
Julian Dolby
7227f1fcb6
use commons io library
2014-05-28 14:01:31 -04:00
Julian Dolby
6538514b86
use commons io library
2014-05-28 13:52:40 -04:00
Julian Dolby
c916e41c7a
tweaks to models
2014-05-28 13:36:07 -04:00
Julian Dolby
4469e06514
handle more cases with constructors
2014-05-28 13:35:40 -04:00
Julian Dolby
c179b02238
split constructor logic out of target selector, so that it can be reused
...
more flexibly in the field-based builders
2014-05-28 13:35:11 -04:00
Julian Dolby
dcfa05d922
ignore generated variables in hack for window state
2014-05-28 13:34:25 -04:00
Julian Dolby
50373e122d
1) handle files with byte order marks
...
2) ignore code in comment blocks
2014-05-28 13:33:49 -04:00
Juergen Graf
4772f36d47
add standard type parameter to most pointer analysis references. When it breaks we move back to ? extends InstanceKey.
2014-05-20 22:00:06 +02:00
Juergen Graf
ef4513d377
revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable
2014-05-20 19:52:01 +02:00
Juergen Graf
428a3975ed
Merge branch 'wala' into master
...
Conflicts:
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/loader/JavaSourceLoaderImpl.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInstructionFactory.java
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInvokeInstruction.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/WebPageLoaderFactory.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/loader/JavaScriptLoader.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JSInstructionFactory.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JavaScriptInvoke.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstCallGraph.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AbstractLexicalInvoke.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstInstructionFactory.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalRead.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalWrite.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/FixedParametersInvokeInstruction.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/translator/AstTranslator.java
com.ibm.wala.core/.classpath
com.ibm.wala.core/.settings/org.eclipse.jdt.core.prefs
com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java
com.ibm.wala.util/src/com/ibm/wala/util/NullProgressMonitor.java
com.ibm.wala.util/src/com/ibm/wala/util/ProgressMaster.java
2014-05-20 17:59:16 +02:00
Julian Dolby
92bec0cc0b
move to Reader API to help with annoying /r/n issues is source mapping
2014-04-29 11:21:01 -04:00
Julian Dolby
6bb598e6dc
fix for annyoing \r\n newline issues in text from html files
2014-04-29 11:19:14 -04:00
Julian Dolby
05cf4e4f66
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.core/.classpath
2014-04-29 09:21:18 -04:00
Julian Dolby
99512c5cd0
uuse PrinterWriter; make DOM model optional
2014-04-11 10:00:05 -04:00
Julian Dolby
26684af676
bug fix for finding primitive objects
2014-04-11 09:58:34 -04:00
Julian Dolby
893f4b7308
type in CAst var decls
2014-03-16 18:05:49 -04:00
Julian Dolby
de043e0780
add type left out of commit
2014-02-09 19:10:55 -05:00
Julian Dolby
969a209f1e
adaot to type generalization
2014-02-08 22:51:38 -05:00
Julian Dolby
e04ac682f3
final class
2014-02-08 22:51:22 -05:00
Julian Dolby
0964104dde
use java functionality to handle urls
2014-02-08 22:50:59 -05:00
Julian Dolby
a1ca9203a6
flow graph handles some flow through the arguments array. also a fake
...
'pointer analysis' is constructed using the flow graph.
2014-02-08 22:50:32 -05:00
Julian Dolby
e585e1d1c2
trivial final modifier
2014-02-08 21:35:30 -05:00
Julian Dolby
428d5a0005
find arguments array vns
2014-02-08 21:34:55 -05:00
Julian Dolby
ec36f2f081
propagate source names in prototype lookups
2014-02-08 21:34:34 -05:00
Julian Dolby
026f04cbfc
get more error information from Rhino
2013-11-26 17:20:16 -05:00
Julian Dolby
56236dec53
further work on analysis for JavaScript in Eclipse
2013-10-16 17:37:53 -04:00
Julian Dolby
26c2be5ffb
skip unknown call sites rather than crashing
2013-09-26 13:13:05 -04:00
Julian Dolby
dd4d794517
merge
2013-09-18 14:00:04 -04:00
Julian Dolby
42714d9bf3
fixes for getting original source code for included locations
2013-09-18 13:55:17 -04:00
Manu Sridharan
898e1c3810
add modeling of window.onload invocation
2013-09-16 09:37:18 -07:00
Julian Dolby
e9cdd57fed
make some prototype function names more explicit
2013-08-29 10:18:05 -04:00
Julian Dolby
1dd180cf93
no longer add prologue files implicitly, since this code cannot always
...
find them now that we allow all kinds of prologues to be used
2013-08-07 15:17:48 -04:00
Julian Dolby
0117b88698
reflect function statements into 'window' object. i have checked that
...
firefox does this.
2013-08-07 15:11:25 -04:00
Julian Dolby
d528c16b0f
refactoring to integrate field-based cg builders with Eclipse-based
...
JavaScript front end
2013-08-05 14:35:41 -04:00
Max Schaefer
7dd4dc7f2a
Fixing project names in Ant build files.
2013-07-19 13:11:16 +08:00
Manu Sridharan
757ae95ef0
add getNumberOfUses()
2013-07-10 09:44:47 -07:00
Manu Sridharan
e1e67e6b9f
remove unused import
2013-07-10 09:44:46 -07:00
Manu Sridharan
059d841c8c
removing lexical reads and writes from invoke instructions; WIP
2013-07-10 09:44:46 -07:00
Juergen Graf
cdaaddf88b
Merge branch 'wala' into master
2013-07-02 14:23:24 +02:00
Julian Dolby
080325b5f6
merge
2013-06-25 11:57:37 -04:00
Julian Dolby
3015d1c5f9
added container access to ModuleEntry
2013-06-25 11:53:58 -04:00
Manu Sridharan
162a001ce6
remove more code for older lexical access scheme
2013-06-07 09:58:25 -07:00
Manu Sridharan
f268ca91fd
remove precise lexical config options; we want this to just be on
2013-06-07 09:48:00 -07:00
Manu Sridharan
321695617c
delete more code
2013-06-06 20:02:42 -07:00
Manu Sridharan
472a98d7cf
delete some code
2013-06-06 20:02:42 -07:00
Manu Sridharan
d4b252ad51
kill NEW_LEXICAL flag
2013-06-06 20:02:41 -07:00
Max Schaefer
79b12e332e
Only introduce property name contexts for constant keys.
2013-06-07 08:29:24 +08:00
Max Schaefer
ef0cf8589d
Forgot to set translator factory; fixed.
2013-06-07 08:29:24 +08:00
Max Schaefer
79caece0c1
Introducing convenience method for creating a loader factory without a preprocessor.
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
68db1cc279
avoid recursive apply contexts
2013-06-03 16:47:02 -07:00
Max Schaefer
fcd28ee419
More refactoring of ParameterNameContextSelector, which is now called
...
PropertyNameContextSelector.
2013-06-03 14:13:37 +08:00
Max Schaefer
3a0741571f
Some cleanup in ForInContextSelector; now renamed to
...
ParameterNameContextSelector.
2013-06-03 12:18:29 +08:00
Manu Sridharan
c0bae5cf86
use maven-dependency plugin to copy dependencies
2013-05-30 14:44:00 -07:00
Max Schaefer
61c48fe1bc
Fixed failing test case for field-based call graph construction:
...
visitJavaScriptPropertyRead/Write need to be able to handle static
property writes (weren't those encoded differently before?).
2013-05-29 08:41:55 +08:00
Manu Sridharan
faff1a9125
add copyright headers
2013-05-22 16:21:33 -07:00
Manu Sridharan
54593a8f46
add code for field-based call graph
2013-05-22 16:04:25 -07:00
Manu Sridharan
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
Manu Sridharan
e6bef253ff
Merge branch 'master' into maven
2013-05-02 10:58:55 -07:00
Manu Sridharan
dcc7cd206d
bug fix: allow each language to determine when a CGNode represents the "definer" method for a lexical access
2013-04-29 20:34:40 -07:00
Marcel Bruch
c6e88b6d80
fixed classpath, added jericho jar to classpath
2013-04-29 13:18:36 +02:00
Marcel Bruch
87c164e402
added js projects to tycho build
2013-04-29 13:13:23 +02:00
Marcel Bruch
7c2d18cd58
[releng] added preliminary maven tycho build support
2013-04-29 13:13:22 +02:00
Julian Dolby
1cc5e5ce9c
fixes for bug with dead code and exception handlers
2013-04-10 21:16:12 -04:00
Manu Sridharan
00eb1d2bd2
Set all projects to build against Java 6; no semantic change. Fixes #20
2013-04-10 16:01:27 -07:00
Manu Sridharan
4f7ec12edd
Expose temporary file created by source extractor. Fixes #19
2013-04-10 12:22:57 -07:00
Manu Sridharan
dae0b33233
Merge branch 'master'
...
Conflicts:
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/loader/JavaSourceLoaderImpl.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShapeRhino.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestSimplePageCallGraphShapeRhino.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestSimplePageCallGraphShapeRhinoJericho.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/vis/JsViewerDriver.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/loader/JavaScriptLoader.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/tree/CAstEntity.java
2013-04-09 15:56:47 -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
Juergen Graf
80920368ef
incorporate changes from other branch
...
- remove extraneous printing
- fixes for parse errors in JS and HTML
- fixes for handling parse errors in JS and HTML
- update comments
- Change BitVectorRepository to use LinkedLists
- improve javadoc
- fix for for in contexts for NEVER case
- missing VectorKill println method
2013-03-12 00:21:26 +01:00
Julian Dolby
7c3e13d09f
remove extraneous printing
2013-03-03 19:43:45 -05:00
Julian Dolby
6bb51a6e58
fixes for parse errors in JS and HTML
2013-03-01 10:08:30 -05:00
Julian Dolby
87b856928c
fixes for handling parse errors in JS and HTML
2013-03-01 10:07:20 -05:00
Julian Dolby
189a251a93
fix for for in contexts for NEVER case
2013-02-08 08:54:24 +01:00
Juergen Graf
d77cfc60fc
incorporate changes from other branch
...
- Annotation support
- Properly fix path-with-spaces bug.
- fix bug involving paths with spaces
- add a simple driver for building a call graph via a scope file
- Properly return null as default constructor of an array.
- organize imports
- better handling of missing bytecodes
- javadoc
- test fix
- small Javadoc fix
- added date-property.js
- 1) added InstanceKey.getCreation sites and its implementations 2) fixes for issues with keys representing dynamic properties i) all properties are converted to strings,
- publicize method makeClasspath(). deprecate quoteStringIfNeeded()
- organize imports
- javadoc
- renamed classes to make relationship to mod-ref analysis clearer
- add support for lexical writes
- Code to compute transitive lexical accesses of methods.
- extract some generally useful code from ModRef
- Generate proper InstanceFieldKeys for property accesses with Numbers.
- rewrite to make hardest test appear last
- fix test to properly check reachability
- add an array test that doesn't quite work
- add method to get a PointerKey for a global
- compare FieldValueDispatch objects based on CGNode as well
- Handle duplicate field names between subclass and superclass.
2013-02-06 12:34:25 +01:00
Julian Dolby
afccdd2189
Annotation support
2013-02-02 21:27:45 -05:00
Manu Sridharan
1d06b2f764
organize imports
2013-01-22 15:42:04 -08:00
Julian Dolby
9aa474fdb1
1) added InstanceKey.getCreation sites and its implementations
...
2) fixes for issues with keys representing dynamic properties
i) all properties are converted to strings, in an approximation of JS
semantics
3) fix to handling of instance keys representing numbers in binary +;
now it understands that adding constant keys of type Number requires
adding a non-constant Number key to the lval
2013-01-07 20:18:27 -05:00
Manu Sridharan
730151956f
organize imports
2013-01-04 12:00:26 -08:00
Manu Sridharan
6084f4ff61
Generate proper InstanceFieldKeys for property accesses with Numbers.
...
Note that this change actually breaks a couple of our unit tests. But,
it seems they were only passing by accident before anyway, and this change
at least leads to a more consistent handling of dynamic property accesses
with String vs. Number property names.
2012-12-18 10:11:59 -08:00
Manu Sridharan
5bcdb30014
add method to get a PointerKey for a global
2012-11-30 13:37:34 -05:00
Manu Sridharan
4a87d7b145
compare FieldValueDispatch objects based on CGNode as well
2012-11-30 11:04:48 -05:00
Juergen Graf
b82d5dba90
Merge branch 'wala' into master
2012-11-06 04:23:10 +01:00
Manu Sridharan
3ee6f9d229
Merge branch 'master' of github.com:wala/WALA
2012-10-08 13:34:04 -07:00
Manu Sridharan
fae5d9f3dd
weaken recursion check slightly
2012-10-08 13:33:45 -07:00
Manu Sridharan
bcee68c412
bug fix in generated IR
2012-10-08 13:32:59 -07:00
dolby
d8985fe60b
Merge branch 'master' of https://github.com/wala/WALA.git
2012-10-03 10:53:39 -04:00
dolby
f7a7d66b28
move loop unrolling code to wala from Miniatur/MemSAT
2012-10-03 10:53:04 -04:00
Manu Sridharan
695b9948a3
fix getNodes() to correctly return nodes corresponding to constructors
2012-10-02 12:27:31 -07:00
dolby
fae5c86114
fixes for users of JDT interfaces, such as Miniatur/MemSAT
2012-10-01 13:11:10 -04:00
Manu Sridharan
fadcbe538d
Merge branch 'master' of riverdale.watson.ibm.com:jsanalysis
2012-09-28 15:52:00 -07:00
Max Schaefer
69b93ca7a5
More principled way of checking whether a file belongs to the harness.
2012-09-24 14:01:47 -04:00
Manu Sridharan
27d9f65b63
add some Javadoc
2012-09-20 12:08:31 -04:00
Manu Sridharan
210d4c53ea
improved Javadoc
2012-09-19 11:45:49 -04:00
Manu Sridharan
a3efc8bbc3
Merge branch 'master' of riverdale.watson.ibm.com:jsanalysis
2012-09-18 14:07:37 -04:00
Max Schaefer
e130a5b963
Some refactoring of prologue.js and preamble.js to use more consistent
...
names.
2012-09-18 13:22:17 -04:00
Manu Sridharan
e4c9c7ab91
add some javadoc
2012-09-12 11:36:54 -07:00
Manu Sridharan
24eb803211
organize imports; no semantic change
2012-09-04 16:24:37 -07:00
Manu Sridharan
60db861a5f
complete conversion to Unix line endings
2012-09-04 16:05:49 -07:00
Manu Sridharan
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
Manu Sridharan
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
Max Schaefer
2a13228e50
Fixed for-in loop body extractor after recent changes to CAst representation of for-in loops.
2012-08-30 10:55:19 -04:00
dolby
17ab92b8f2
assert that the first line number is always not -1
2012-08-28 21:49:04 -04:00
Manu Sridharan
5b8da4ad32
oops, really fix the merge conflict
2012-08-28 13:13:10 -07:00
Manu Sridharan
3e04aba5fb
Merge branch 'master' of riverdale.watson.ibm.com:jsanalysis
...
Conflicts:
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/util/CallGraph2JSON.java
2012-08-28 13:12:01 -07:00
Manu Sridharan
419d1d50cc
Merge branch 'github_master' and remove Eclipse dependencies.
...
Specifically, rewrite ProgressMaster to not depend on Eclipse, and move
to com.ibm.wala.util. Now, we can use timeout-based code in packages
without introducing an Eclipse dependency.
2012-08-28 12:39:52 -07:00
Juergen Graf
b8477d2144
incorporate changes from other branch
...
- basic compatibility with Java 7 (i.e., don't crash immediately)
- Added utility class for converting call graphs to JSON.
- add edgeExists CLI option to check if some edge exists in the call graph
2012-08-06 12:49:03 +02:00
Max Schaefer
f091bb3aca
Added utility class for converting call graphs to JSON.
2012-07-31 14:31:34 -04:00
Max Schaefer
c9bdd48360
Added utility class for serialising call graphs to JSON.
2012-07-31 14:14:04 -04:00
Juergen Graf
4648f0404a
Merge branch 'wala' into master
2012-07-17 13:57:43 +02:00
Manu Sridharan
9847bf21f4
Merge remote-tracking branch 'origin/master'
2012-07-12 10:30:56 -07:00
Manu Sridharan
9a0e105e51
fix so that new lexical scheme can be enabled with Java frontends
2012-07-12 10:27:24 -07:00
Max Schaefer
ff3416a89f
Be more careful when determining source-level names for SSA variable to
...
avoid index-out-of-bounds accesses.
2012-07-05 11:20:25 -04:00
Max Schaefer
fca3999e9a
Fixed rewriting of non-constant switch cases.
2012-07-05 09:37:47 -04:00
Manu Sridharan
f6e52c9b93
Merge remote-tracking branch 'riverdale/master'
2012-07-04 10:27:13 -07:00
Max Schaefer
7bdc127ce5
Workaround for invalid end positions in CAst.
2012-07-04 12:19:05 -04:00
dolby
d0d1ff1a2b
Merge branch 'master' of https://github.com/wala/WALA.git
2012-07-03 19:22:37 -04:00
dolby
f7eb9bd174
apply changes for WALA git issue 3
2012-07-03 19:22:08 -04:00
Manu Sridharan
1a5f8954f2
fix NPE
2012-07-03 15:55:14 -07:00
dolby
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
Juergen Graf
10792bec73
Merge branch 'wala' into master
2012-05-16 14:02:20 +02:00
dolby
b2034ed90f
extensions to HTML file source position tracking
2012-05-08 14:03:43 -04:00
dolby
dfe06b8ff3
changes to Web source mapping to exploit rhino 1.7R3 source offsets
2012-05-08 13:17:01 -04:00
Juergen Graf
c71fa6674a
Merge branch 'wala' into master
2012-04-19 14:39:05 +02:00
Manu Sridharan
2edb070437
changed FileProvider to have instance methods
2012-04-16 14:57:14 -04:00
Juergen Graf
7477b1730b
Merge branch 'wala' into master
2012-03-19 13:33:48 +01:00