DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,939 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

1896 Commits

Author SHA1 Message Date
Martin Mohr 671bbcec01 Method Summaries: add support for reading array load instructions from XML 2014-05-16 15:19:21 +02:00
Martin Mohr 72a0b70e1c model for FileOutputStream.writeBytes 2014-05-16 15:19:21 +02:00
Martin Mohr 51b28a45b6 let FileInputStream.readBytes() modify the given array 2014-05-16 15:18:02 +02:00
Juergen Graf 7c80cd3c97 allow a default method state to be injected into the interprocedural exception analysis 2014-05-06 23:55:49 +02:00
Juergen Graf cc5162b95f remove some compiler warnings in nullpointer analysis 2014-05-06 23:55:49 +02:00
Juergen Graf 00a9b03389 always compute exception pruned cfg, not only when standard analysis was successful 2014-05-06 23:53:18 +02:00
Juergen Graf 561472dfe5 new java versions in osx have different java.home - fix autodetection 2014-03-10 14:43:29 +01:00
Martin Mohr db263ecefc additional 'pruning policy' to not prune anything; could be useful if one wants to temporarily switch off pruning without changing too much code 2014-02-25 16:59:08 +01:00
Martin Mohr 7f7684b57e remove IBM header from class contributed by JOANA project 2014-02-25 16:56:58 +01:00
Juergen Graf ce833aefe2 fix bug: count only really unresolved classes in ClassHierarchy 2014-02-17 15:01:18 +01:00
Juergen Graf 6d0a6ee0e8 add return value keys for RTA pointer analysis 2014-02-04 04:02:30 +01:00
Martin Mohr dcfd813ced convert default pruning policy into public singleton 2013-10-28 16:52:42 +01:00
Martin Mohr 30d6a458c3 extend the call graph pruner to allow for other pruning policies than 'keep branch if you find application node on it' 2013-10-28 16:42:36 +01:00
Martin Mohr 3a454d01bd fallback ContextInterpreter to avoid CodeScanner if this would crash 2013-08-28 18:46:45 +02:00
Martin Mohr cbb3f5db7b Bugfix: kill evil, cache-killing line 2013-08-21 16:55:42 +02:00
Juergen Graf cdaaddf88b Merge branch 'wala' into master 2013-07-02 14:23:24 +02:00
Manu Sridharan b984760100 support for reading method parameter annotations from Java bytecodes 2013-06-28 11:44:47 -04:00
Julian Dolby 55b64712fc merge conflict 2013-06-25 12:02:12 -04: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 05a9961108 add missing @Override annotations; no semantic change 2013-06-10 14:37:19 -07:00
Manu Sridharan 0a7a3092b1 trying to get around classloading issues 2013-05-27 09:45:50 -07:00
Manu Sridharan 878cfa615d changes to get tests passing on Java 7 2013-05-26 10:07:46 -07:00
Manu Sridharan 7ca109967d read J2SE jars from bootclasspath if wala.properties cannot be loaded 2013-05-25 16:05:25 -07:00
Andreas Sewe dc03348bce Fix thread-safety bug in BytecodeClass.computeMethodMap 
The map must not be modified after BytecodeClass.methodMap
has become non-null.
 2013-05-24 10:25:01 +02:00
Manu Sridharan 3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
Julian Dolby dd6510da29 Merge branch 'master' of https://github.com/wala/WALA.git 2013-05-15 14:04:44 -04:00
Manu Sridharan c4ce3999cd fix possible NPE 2013-05-15 10:55:58 -07:00
Julian Dolby 310d0fff25 changes to ease use of WALA from an executable jar. also some very 
basic support for GXL, a graph format used by some software engineering
tools.
 2013-05-15 13:36:30 -04:00
Manu Sridharan c0e3cb9831 fix for handling of static methods in ContainerContextSelector 2013-05-14 14:17:26 -07:00
Manu Sridharan 16a0e02fa0 add utility methods for creating n-CFA call graph builders 2013-05-10 20:55:13 -07:00
Manu Sridharan 89e90cd44e rename computeMethodMap() to computeMethodMapIfNeeded() 2013-05-07 14:59:12 -07:00
Andreas Sewe bc2594237b Made BytecodeClass.computeMethodMap thread-safe 2013-05-07 14:56:06 -07:00
Andreas Sewe d0b5e8ddd2 Made TypeName.findOrCreate thread-safe 2013-05-07 14:54:14 -07:00
Manu Sridharan 30686135da Fix for bug with pi nodes reported by Andreas Sewe 
We weren't handling the case where the val of the pi instruction
had an implicit points-to set.
 2013-05-07 14:43:49 -07:00
Manu Sridharan eac23e97a9 enable reading scope files from jars 2013-05-02 11:43:49 -07:00
Manu Sridharan e6bef253ff Merge branch 'master' into maven 2013-05-02 10:58:55 -07:00
Manu Sridharan 897268c7f9 fix comment 2013-04-30 12:09:55 -07:00
Manu Sridharan 1f254e9b74 formatting, fix warnings 2013-04-29 10:12:12 -07:00
Marcel Bruch 7c2d18cd58 [releng] added preliminary maven tycho build support 2013-04-29 13:13:22 +02:00
Manu Sridharan f439646cb1 fix potential NPE in AbstractRootMethod.addAllocation() 2013-04-15 08:58:42 +02: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 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
Manu Sridharan 368daf9427 organize imports 2013-04-09 14:16:01 -07:00
Manu Sridharan a7195852b1 don't cache synthetic method IR / DU in ExplicitNodes 2013-04-09 10:01:19 -07:00
Cosmin Radoi d137143ecf warning on SSAInstruction equals() 2013-04-08 17:08:32 -05:00
Manu Sridharan 0204a7fead Merge pull request #15 from cos/cgnode-weakref-ir-defuse 
use WeakReference so that CGNode.getIR() doesn't hit the cache too often
 2013-04-08 14:27:50 -07:00
Manu Sridharan 9549da9954 read runtime-visible annotations for fields 2013-04-08 13:50:26 -07:00
Manu Sridharan fa14d7a73d Require that gen'd vector contains 0. fixes #8 2013-04-08 10:51:25 -07:00