Ben Liblit
e35b205bc2
Fix numerous unescaped "<" and ">" in Javadoc @author tags
...
The contents of @author go straight into HTML, just like most other
Javadoc material. So if you want to have a "<foo@bar.com>" e-mail
address as part of the author information, the angle brackets must be
escaped. Here I've opted to do that using "{@code <foo@bar.com>}",
which has some additional styling effects that seem appropriate for
e-mail addresses. We could also have used "<foo@bar.com>" for
escaping without code styling.
2016-11-27 21:24:03 -06:00
Ben Liblit
2a5503b9aa
Exclude Maven-generated HTML pages from validation
...
Eclipse validation warns about invalid HTML content in all
Maven-generated "target/site/dependency-convergence.html" files. The
warnings are legitimate: these HTML files are indeed invalid.
However, we don't maintain the tool that generates these files, so we
are not in a position to fix them. Better, therefore, to suppress
these warnings so that we can notice and fix other problems over which
we do have control.
2016-11-27 21:24:03 -06:00
Julian Dolby
166af27427
clean up types
2016-11-22 10:35:56 +08:00
Julian Dolby
8855f80c97
allow notion od edge labels to be overridden in the CDG
2016-09-26 19:42:19 -04:00
Julian Dolby
f3b5d41af9
refactor CFG to separate instructions from CFGs; this is to allow code like CDGs to be reused without an IR.
2016-09-26 13:37:51 -04:00
Manu Sridharan
1a7c527dbe
Remove unused conditionals
2016-09-20 14:04:03 -07:00
Manu Sridharan
e4101510a2
Add IExplodedBasicBlock.getOriginalNumber()
...
This method is useful when reasoning about SSAPiStatements, as their
successor block number refers to original basic blocks, not exploded
blocks.
2016-09-20 13:50:43 -07:00
Manu Sridharan
2c9eec0cff
Update callback APIs to expose path edge structure
2016-09-20 13:50:42 -07:00
Manu Sridharan
57198a22f3
Remove trailing whitespace; no functional change
2016-09-20 13:50:42 -07:00
Manu Sridharan
b761e3871b
Add new callbacks for tracking exploded supergraph
...
A subclass of TabulationSolver can now override the methods
newNormalExplodedEdge(), newCallExplodedEdge(), and
newReturnExplodedEdge() to take some action whenever (logically)
some edge in the exploded supergraph is "discovered" during
tabulation.
2016-09-20 13:50:42 -07:00
Julian Dolby
3156f03145
more CPA work
2016-09-19 13:51:18 -04:00
Julian Dolby
8b2ab22335
support for full CPA, when desired.
2016-09-15 21:32:35 -04:00
Julian Dolby
5eb1c7bc1d
HybriDroid support
2016-09-15 21:14:34 -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
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
73747cbb86
fixes for work with ECJ
2016-07-05 19:37:36 -04:00
Julian Dolby
22ce3d1144
Merge https://github.com/steohan/WALA
2016-06-29 13:03:50 -04: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
330692ad0e
Include files from dat directory in jar
2016-05-25 11:51:50 +02:00
Manu Sridharan
cd560b3b2b
switch version to 1.3.10-SNAPSHOT
2016-05-10 22:53:28 +09:00
Manu Sridharan
158a5deeb0
Version 1.3.9
2016-05-10 21:59:26 +09:00
Julian Dolby
e87b2e5d84
fixes for slicing of field-based CGs
2016-02-14 17:18:21 -05:00
Julian Dolby
57a8c7d019
Merge branch 'master' of https://github.com/wala/WALA
2016-02-11 12:09:50 -05:00
Julian Dolby
eb7748a745
fixes for slicing of graphs built with the field-based builder
2016-02-11 11:51:39 -05:00
steohan
715b1e86fe
Merge pull request #1 from wala/master
...
Pull from Wala
2016-01-13 02:23:04 +01:00
Stephan Gocht
2869af24df
Bugfixes, code and documentation improvements.
2016-01-13 02:07:11 +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
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
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
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
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