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

4836 Commits

Author SHA1 Message Date
Stephan Gocht 0387bd1591 Removed Warning 2016-01-10 15:34:10 +01:00
Stephan Gocht b75d93cb1c Changed pi policy to only create pi nodes for integer variables. 2016-01-08 14:10:55 +01:00
Stephan Gocht 448c8c5f86 Missing Files for last commit. 2015-12-20 19:35:00 +01:00
Stephan Gocht c3b7f9ffb3 Documentation and Refactoring. 2015-12-20 19:34:40 +01:00
Stephan Gocht 467707701f Added InstructionByIindexMap, to make sureinstructions are identified by 
iindex in hash and equals only.
 2015-12-20 13:35:51 +01:00
Manu Sridharan a76486ef94 Depend on org.eclipse.e4.ui.workbench optionally 
This makes IFDSExplorerExample work with more recent Eclipse versions.
 2015-12-16 10:58:40 -08:00
Manu Sridharan 02c9929759 Use more call graph exclusions for Java 1.7 2015-12-16 10:56:49 -08:00
Manu Sridharan e95663e24a Be more robust to broken java_runtime_dir 
If java_runtime_dir in wala.properties is invalid, fall back to the
boot class path instead of just failing.
 2015-12-16 10:56:09 -08:00
Julian Dolby 46a483f320 language changes 2015-12-15 19:33:59 -05:00
Julian Dolby dc552316b9 language changes 2015-12-15 19:31:04 -05:00
Julian Dolby f02c77ba08 Allow patching call sites for older jvms. Warning: the new 
patch-calls option does not work in Java 8, due to verifier changes.
 2015-12-15 12:57:50 -05:00
Julian Dolby ad64e958dc changes for language work 2015-12-15 12:53:36 -05:00
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