8921a8cb71
allow specialization of source name map generation
2014-05-20 13:09:24 +02:00
e4d8380dc8
a couple of wrappers
2014-05-20 13:09:21 +02:00
51ea9dee0e
test new mechanisms
2014-05-20 13:09:19 +02:00
c20b59013e
threading support
2014-05-20 13:09:16 +02:00
2750f8e67b
1) use less verbose instrumentation to reduce problems with methods
...
getting too big
2) handle issues with exceptional control flow not being followed
properly sometimes
2014-05-20 13:09:13 +02:00
e788a94b06
fix missing parentheses in test to fix null pointer crash
2014-05-20 13:09:10 +02:00
837cb5aee5
1) compress dumped call graph edges
...
2) make instrumentor preserve the names of jar entries and classes as
they are input, rather than recomputing class names when writing the
output jar. This usually makes no difference, but can preserve broken
structures when the input jar file has mismatches between class names
and its entry names.
2014-05-20 13:09:07 +02:00
c4a04d7eec
more detail in assertion
2014-05-20 13:09:04 +02:00
a6315f8a62
more detail in assertion
2014-05-20 13:09:01 +02:00
4b7852472d
Update SSAConditionalBranchInstruction.java
...
Changing SSAConditionalInstruction.isObjectComparison(): previous definition returns true for comparisons of Primordial scope objects, but false for Application scope objects. The update version returns true in both cases
2014-05-20 13:08:59 +02:00
6a835c908e
use a more precise (covariant) return type for BitVectorIntSet.intersection
2014-05-20 13:08:56 +02:00
63ed63e7fa
add test for GetMethod context, interpreter and selector
2014-05-20 13:08:32 +02:00
f3dac38bc9
remove empty package
2014-05-20 12:49:58 +02:00
d1f6564d23
fix doc comments
2014-05-20 12:49:56 +02:00
349a8f8355
move GetMethod context, interpreter and selector into appropriate package, fix copyright notice
2014-05-20 12:49:53 +02:00
525c203a8b
improve doc comments
2014-05-20 12:49:45 +02:00
6c5ef65d5f
commit GetMethod context, interpreter and selector
2014-05-20 12:49:23 +02:00
b29bc2dac0
Fix imprecision in type inference when merging a point array type and cone array type
...
In TypeInference when merging a PointType with a ConeType it is safe to return the cone type if
the underlying types are the same. Previously, if an array cone type and array point type were
merged this would result in a java.lang.Object even when the two arrays had the same base type.
Checking for equality first may also save a few cycles for reference types since the
isSubclass check is no longer performed for identical types.
2014-05-19 22:02:45 -04:00
8b1fe5678a
original wala is at github:/wala/WALA fix old reference
2014-05-19 19:04:05 +02:00
42702aba15
export android model classes to other projects
2014-05-19 15:42:35 +02:00
d95e318234
Merge android specific changes from Tobias Blaschke into main branch.
2014-05-19 13:37:15 +02:00
cf9d623b40
change to compile in eclipse - move files from util to core due to dependencies
2014-05-19 13:24:47 +02:00
aeacbe9f3b
Merge pull request #46 from msridhar/fix-45
...
Update AbstractNestedJarFileModule.java
2014-05-16 11:00:43 -07:00
fee72dfb66
Update AbstractNestedJarFileModule.java
...
Fixes #45
2014-05-16 10:30:05 -07:00
c6cb700804
model for a native method SocketInputStream
2014-05-16 15:36:55 +02:00
a6917e46ad
Summary of FileOutputStream.writeBytes: simulate reading from array and writing to outside ('real world')
2014-05-16 15:19:21 +02:00
671bbcec01
Method Summaries: add support for reading array load instructions from XML
2014-05-16 15:19:21 +02:00
72a0b70e1c
model for FileOutputStream.writeBytes
2014-05-16 15:19:21 +02:00
51b28a45b6
let FileInputStream.readBytes() modify the given array
2014-05-16 15:18:02 +02:00
7c80cd3c97
allow a default method state to be injected into the interprocedural exception analysis
2014-05-06 23:55:49 +02:00
cc5162b95f
remove some compiler warnings in nullpointer analysis
2014-05-06 23:55:49 +02:00
00a9b03389
always compute exception pruned cfg, not only when standard analysis was successful
2014-05-06 23:53:18 +02:00
91fe95c05d
classpath file. i have no idea where it went
2014-04-30 10:13:10 -04:00
038a39dbf5
bug fixes for source buffers when the source files is all on a single
...
line
2014-04-29 11:21:58 -04:00
92bec0cc0b
move to Reader API to help with annoying /r/n issues is source mapping
2014-04-29 11:21:01 -04:00
6bb598e6dc
fix for annyoing \r\n newline issues in text from html files
2014-04-29 11:19:14 -04:00
a7c44d4789
new helper method
2014-04-29 11:17:38 -04:00
de5f123fbd
Merge branch 'master' of https://github.com/wala/WALA
2014-04-29 09:21:33 -04:00
05cf4e4f66
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.core/.classpath
2014-04-29 09:21:18 -04:00
600e5ad50f
synchronize methods. Fixes #43
2014-04-24 12:35:34 -07:00
ab5ee8b3a5
merge
2014-04-24 09:01:01 -04:00
a4c1774ee0
fix compile errors for com.ibm.wala.core
2014-04-11 12:54:59 -07:00
71060b7348
Document Android-Stuff (II)
2014-04-11 17:59:10 +02:00
f83ee59d8d
Add UnknownIntent to AndroidSettingFactory
2014-04-11 17:59:09 +02:00
92ee930865
Document Android stuff (I)
...
I'm going through all "my" classes and add documentation where missing.
2014-04-11 17:59:09 +02:00
cc2ffec023
Additional check in ParameterAccessor
...
getThisAs tests for supertype now
2014-04-11 17:59:09 +02:00
5f51dac201
Additional structural Models for Android
...
Now there are four structural models:
* SequentialAndroidModel: No loops
* SingleStartAndroidModel: User Interaction on a single component
* LoopAndroidModel: Stuff goes into background and comes back
* LoopKillAndroidModel: Restart of components due to low memory
2014-04-11 17:59:09 +02:00
1857121a44
Add "Custom Change" where applicable
...
Added the lines
BEGIN Custom Change
END Custom Change
2014-04-11 17:58:33 +02:00
3751366295
Bail out more information on failed assertion
2014-04-11 17:56:48 +02:00
dc2522f937
Add debugging info
...
Output the method and stackTrace for my new "most favourite" assertion
and continue.
2014-04-11 17:56:48 +02:00
Julian Dolby
Sam Blackshear
sjfink
Michael Heilmann
Andrew Johnson
Juergen Graf
Manu Sridharan
Martin Mohr
Juergen Graf
Manu Sridharan
Tobias Blaschke