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

4924 Commits

Author SHA1 Message Date
Manu Sridharan 0eabfa2d05 Add slicer test 
This test relates to a mailing list question from 
Gebrehiwet Biyane Welearegai:

https://groups.google.com/forum/#!topic/wala-sourceforge-net/lS7lyCHfAaw
 2015-12-14 10:34:10 -08:00
Manu Sridharan 2f47ffa02b Clarify a comment 2015-12-11 15:50:25 -08:00
Julian Dolby 1936ccd94f changes for language work 2015-12-10 06:59:05 -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
Stephan Gocht fd0d06df5d Added correct handling for this pointer in member methods. 2015-11-30 23:03:28 +01:00
Stephan Gocht bed18b792c Extended exceptionan anlysis with exception filter. 2015-11-30 23:02:40 +01:00
Stephan Gocht 77b1ed71c7 Generalized Type. 2015-11-26 11:03:26 +01:00
Stephan Gocht 79883b3def Completed implementation of basic functionality. 2015-11-25 17:05:51 +01:00
Stephan Gocht c5c4799b35 Added minimalistic implementation of an exceptio analyisis. (Not fully 
functional yet.)
 2015-11-20 21:19:41 +01:00
Stephan Gocht 3acd97ebfb Fixed assertion fault, in case of multidimensional arrays. 2015-11-15 21:05:39 +01:00
Julian Dolby 2b2543cfbb fixed bugs with switch bytecodes in Dalvik. 
ignore exceptions in callgraph construction when they are ignored in
bytecode from Dalvik.
 2015-11-13 19:25:23 -05:00
Julian Dolby d010e36923 fix for NOP instructions 2015-11-13 09:57:02 -05:00
Julian Dolby 031ff4e121 use usual test naming convention 2015-11-11 20:55:16 -05:00
Julian Dolby ab16d9bc04 fixes for weird cases with control flow in finally blocks. 
code fixes and test that used to crash.
 2015-11-11 12:03:08 -05:00
Julian Dolby 876e52c3f8 fixes for dalvik maven packaging 2015-11-06 18:36:03 -05:00
Julian Dolby 9c55f01d99 fixes to creation of jar file by maven 2015-11-06 18:26:01 -05:00
Stephan Gocht dfaa44d111 Added quicksort example, and made larger change as it wasn't as expected 
first. This change should improve the results of the analysis.
 2015-11-06 18:52:11 +01:00
Stephan Gocht 381cf2d2f1 Fixed a bug, which allowed only usage of phi notes with exactly 2 uses. 
(There may be more than 2 uses in a phi note.)
 2015-10-26 00:50:01 +01:00
Julian Dolby 849177fa5e changes for new language support 2015-10-25 16:13:07 -04:00
Stephan Gocht 7d7e236fd6 Added test for exception pruning (including example for usage). 2015-10-23 14:56:33 +02:00
Stephan Gocht 851f9b2ef3 Added comments. 2015-10-23 14:56:02 +02:00
Stephan Gocht 65fcc2d5da Fixed a bug causing crash. 2015-10-23 14:55:39 +02:00
Stephan Gocht ec4f5e506a Removed unnecessary generic. 2015-10-23 14:54:49 +02:00
Stephan Gocht 7238f6d1ed Fixed a bug, which was introduced in the previous commit. (Resulted in 
infinite recursion.)
 2015-10-23 09:48:20 +02:00
Stephan Gocht f8cae1b509 Added Tests and Testdata for array bounds analysis. 2015-10-19 23:20:36 +02:00
Stephan Gocht e85816a986 Fixed getPis method. 2015-10-19 23:15:40 +02:00
Stephan Gocht 4e073e9afe Added new PiPolicy to add pis for all variables used in a conditional 
branch.
 2015-10-19 23:15:21 +02:00
Julian Dolby 556d8ff043 Eclipse Java Compiler standalone for WALA source front end 2015-10-14 13:41:23 -04:00
Julian Dolby 31e4028a94 adapt to wala changes 2015-10-14 13:36:48 -04:00
Julian Dolby 0265a1c2dc Eclipse Java Compiler as a standalone source code front end 2015-10-14 13:32:34 -04:00
Stephan Gocht 58dd111203 Added classes for exception pruning and adapter for null pointer and 
array out of bounds analysis.
 2015-10-12 19:52:29 +02:00
Stephan Gocht 9024f19bf6 Added an array out of bounds analysis. 2015-10-12 19:51:14 +02:00
Stephan Gocht f78ef5bcbb Added new class for simpler access to intraprocedural null pointer 
analysis.
 2015-10-12 19:39:06 +02:00
Manu Sridharan ce10710125 Avoid repeatedly initializing possibleEntryPoints 
Added while investigating #88, but this does not fix the problem
 2015-10-11 16:12:13 -07:00
Stephan Gocht b32f798ae1 Modified files from earlyer change [1], so no format changes are done. 
[1] 52ea4af62c
 2015-10-11 19:25:05 +02:00
Julian Dolby d73e07b4c9 fixes for Scala interface to Polyglot-based Java source 2015-10-09 19:05:04 -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 95fde98533 Merge branch 'master' of https://github.com/wala/WALA 2015-09-25 13:42:54 -04:00
Julian Dolby 6c4d0de3c5 clean up for Eclipse/Maven 2015-09-25 13:39:47 -04:00
Manu Sridharan ae2a428394 Fix Ant build file 2015-09-21 10:43:30 -07:00
Julian Dolby 45af0414b7 more attempts to placate annoying ibm jvm 2015-09-18 21:48:13 -04:00
Julian Dolby 3ad0c2009a restructure tests 2015-09-16 13:27:31 -04:00
Julian Dolby 5517371a9b adapt to IField changes 2015-09-16 13:25:53 -04:00
Julian Dolby 26b126203d fix imports; restructure annotations tests 2015-09-16 13:25:21 -04:00
Julian Dolby 13de4a3bd1 add support for generic signatures 2015-09-16 13:23:21 -04:00
Julian Dolby 10e626bbce allow overriding to add operators 2015-09-16 13:22:23 -04:00