Julian Dolby
d10a50fc32
CPA smoke test
2016-09-15 21:33:51 -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
5eb1c7bc1d
HybriDroid support
2016-09-15 21:14:34 -04:00
Julian Dolby
1aa3d7fc59
fix bogus test of Date as property name
2016-09-15 21:08:05 -04:00
Julian Dolby
30bc2858c4
fix for slicer issue in javascript
2016-08-23 20:59:08 -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
Manu Sridharan
d0fdd2cdf0
Remove incorrect methods from ICFGSupergraph
...
These methods were constructing an IR based on some default
AnalysisOptions, which may not match the options used when constructing
the underlying CallGraph. This mismatch can lead to bad bugs.
Instead of these methods, analyses should get IR directory from the
CGNodes via CGNode.getIR().
Ideally we would fix the methods and not change the interface, but
that would require knowing the right AnalysisOptions, which itself
would necessitate an interface change.
2016-08-11 11:24:50 -07:00
Julian Dolby
7d7dd17a47
minor fix to getting method annotations for dalvik
2016-07-28 16:11:16 -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
Manu Sridharan
5e51615222
Fix some generic type warnings
2016-07-21 16:57:38 -07:00
Manu Sridharan
63eb5ade55
Also add lib/ directory contents to Maven jar
2016-07-20 12:25:47 -07:00
Julian Dolby
f5f75c7c66
find slf4j from maven
2016-07-05 20:01:04 -04:00
Julian Dolby
73747cbb86
fixes for work with ECJ
2016-07-05 19:37:36 -04:00
Ben Liblit
9db1494aa1
Merge branch 'master' of github.com:wala/WALA
2016-07-05 13:22:12 -05:00
Manu Sridharan
6daceaa0ed
Merge pull request #103 from liblit/eclipse-neon-fixes
...
Build fixes for Eclipse Neon
2016-07-05 08:59:09 -07:00
Manu Sridharan
202ca8d02e
Merge pull request #102 from liblit/null-analysis-errors-cleanup
...
Ignore potential null accesses in Eclipse
2016-07-05 08:58:42 -07:00
Ben Liblit
c3cbfc1c69
Merge branch 'master' of github.com:wala/WALA
2016-07-04 19:18:36 -05:00
Ben Liblit
80c075b4e4
Merge remote branch 'origin/master'
2016-07-04 14:05:49 -05:00
Julian Dolby
be6eec72a0
more temp file APIs
2016-07-01 10:51:30 -04:00
Julian Dolby
e8dfe604a5
fix bug in pull
2016-06-29 22:08:33 -04:00
Ben Liblit
52b6c1b235
Merge branches 'null-analysis-errors-cleanup' and 'eclipse-neon-fixes'
2016-06-29 12:50:07 -05:00
Julian Dolby
22ce3d1144
Merge https://github.com/steohan/WALA
2016-06-29 13:03:50 -04:00
Ben Liblit
c1aaec592c
Accidental "warning" setting should be "ignore"
...
The original intent was to ignore this potential problem in all projects in which it occurs; this one escaped my attention.
2016-06-28 16:54:19 -05:00
Ben Liblit
e7b328641e
Add stub for ITypeBinding.isIntersectionType()
...
This interface method was added in Eclipse Neon, so we need to implement
it here to have a non-abstract class. With this fix, WALA now builds
with no errors inside Eclipse Neon. (There are still a few thousand
warnings, but that's nothing new.)
2016-06-27 18:47:02 -05: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
21340b44cf
Merge pull request #101 from sewe/master
...
SecurityExceptions when analyzing JARs with broken/expired signatures
2016-06-08 10:48:49 -07:00
Andreas Sewe
e2e5bcf435
SecurityExceptions when analyzing JARs with broken/expired signatures
...
See <https://github.com/wala/WALA/issues/100 >
2016-06-08 11:08:10 +02:00
Julian Dolby
065a3ff767
pruned call graph takes edges as well as nodes
2016-06-06 14:17:12 -04:00
Manu Sridharan
a319b3e130
Switch back to using install for jars.
...
Just running 'verify' won't work since project dependencies are
resolved via the local maven repository.
2016-05-25 16:30:59 +02:00
Manu Sridharan
327dd1752c
Do 'verify' instead of 'install' in jar build
...
This way, we don't pollute the cache of .m2 every time the build runs.
2016-05-25 16:14:47 +02:00
Manu Sridharan
bd9d6d6c62
Move building Maven Central jars to end
2016-05-25 15:34:22 +02:00
Manu Sridharan
71fda78c11
Tweak JDK setting in Travis config
2016-05-25 15:15:51 +02:00
Manu Sridharan
c3472ef73b
More output to debug maven jar script on Travis
2016-05-25 15:09:51 +02:00
Manu Sridharan
1cf922b927
Build Maven Central jars on Travis
2016-05-25 14:31:17 +02:00
Manu Sridharan
330692ad0e
Include files from dat directory in jar
2016-05-25 11:51:50 +02:00
Manu Sridharan
8ac8b3d662
Change versions of Eclipse jars
...
This plays more nicely with Gradle
2016-05-25 11:51:25 +02:00
Manu Sridharan
f73419c343
Script to build maven central jars
2016-05-25 08:12:59 +02:00
Manu Sridharan
c549c246fc
Small typo fix
2016-05-25 08:12:30 +02:00
Manu Sridharan
f47e1a27b8
Add Maven Central build file
2016-05-24 11:59:59 +02:00
Manu Sridharan
8129d960b9
Create new com.ibm.wala.cast.java.ecj project.
...
The new project only depends on the minimal Eclipse plugins to make the
ECJ frontend work. Hence, it should be amenable to creating a Maven
Central jar.
2016-05-24 11:39:00 +02:00
Manu Sridharan
94a4c5277f
more EJC -> ECJ renaming
2016-05-24 11:17:11 +02:00
Manu Sridharan
29a306f4d0
Add launcher for ECJJavaIRTest
2016-05-24 10:54:51 +02:00
Manu Sridharan
57ff2a9dd5
Rename EJC* -> ECJ*, to match standard acronym
2016-05-24 10:51:58 +02:00