Julian Dolby
080325b5f6
merge
2013-06-25 11:57:37 -04:00
Manu Sridharan
fa14d7a73d
Require that gen'd vector contains 0. fixes #8
2013-04-08 10:51:25 -07:00
Manu Sridharan
8e8e5fa8ba
Merge branch 'minor' of https://github.com/cos/wala into cos-minor
...
Conflicts:
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/VectorKillFlowFunction.java
2013-02-06 16:54:46 -08:00
Cosmin Radoi
aa6487fafc
missing VectorKill println method
...
modeled after the VectorGen method
2013-02-06 18:21:01 -06:00
Manu Sridharan
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
Manu Sridharan
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
msridhar1
82d751a814
try to fix javac compile errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4226 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-22 17:06:09 +00:00
dolby-oss
4da02a9125
Changes to extend supported context sensitivity to CPA-style:
...
1) extend ContextSelector interface to allow it to specify parameters of interest
2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
3) various related fixes and extensions:
a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
c) a bit more support for empty int sets
d) void function objects
e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 13:58:56 +00:00
sjfink
1c8924f766
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4038 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:23:29 +00:00
sjfink
6bd8363503
refactor to isolate core utilities from dependence on Eclipse IProgressMonitor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:06:58 +00:00
sjfink
fa825de846
refactoring of fixpoint API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:43:18 +00:00
msridhar1
b3df24132f
move BitVectorKillAll to wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4023 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-03 21:09:21 +00:00
msridhar1
c8fba1cb0b
fix some comments / javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3829 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-07 15:35:26 +00:00
msridhar1
05499a6d15
add a standard flow function that kills everything. Fix a typo in IdentityFlowFunction.toString()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3814 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 16:46:12 +00:00
msridhar1
536500c767
supergraph implementation over an ExplodedInterproceduralCFG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3812 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 15:26:44 +00:00
sjfink
8bff008a30
patch from Y. Haviv to optimize getResult()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3801 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-02-11 15:19:13 +00:00
sjfink
df9065bfc2
add comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3772 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 18:24:13 +00:00
sjfink
7a4189b49e
add comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3771 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 16:14:24 +00:00
sjfink
b044e3541c
delete some deprecated code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3762 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-11-13 18:10:57 +00:00
msridhar1
4734ca3682
fix comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3753 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-09-01 21:57:13 +00:00
sjfink
a26c27be44
fix generic types on EdgeManager.getPredNodes and getSuccNodes. finally.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3707 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-26 14:14:21 +00:00
sjfink
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
sjfink
80a636f601
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3670 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 15:08:51 +00:00
sjfink
6c00d0630b
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3669 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-12 15:04:59 +00:00
msridhar1
070530d63d
change comment and rename a variable
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3644 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-11 14:43:54 +00:00
msridhar1
3e305cfe88
extract a method; no API change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3643 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-11 13:54:34 +00:00
sjfink
de6adbc4d7
more migration to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-01 17:42:28 +00:00
sjfink
9939142eae
switch from Assertions._assert to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-30 13:16:52 +00:00
msridhar1
3d816dc160
fix how we decide if we got reuse at a call site
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3542 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-28 20:55:46 +00:00
msridhar1
0bd511af9e
changed propagate() to return a boolean indicating whether new propagation was performed
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3541 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-28 20:43:59 +00:00
sjfink
193560f977
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3540 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-28 20:14:15 +00:00
sjfink
814bc5d6f1
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3521 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-22 18:41:52 +00:00
sjfink
957cb2b8ca
deprecate Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 20:31:14 +00:00
sjfink
9af05cfd6f
tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3423 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 18:14:46 +00:00
msridhar1
e08ed2663f
Deprecate Iterator2Collection.toCollection(); use toSet() or toList() instead.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 15:24:42 +00:00
sjfink
93411336ba
misc. small fixes and documentation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3372 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-26 20:56:08 +00:00
sjfink
419b006146
delete deprecated class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-17 18:43:16 +00:00
sjfink
4df91174c2
delete deprecated PartiallyCollapsedSupergraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-17 17:16:15 +00:00
sjfink
b001a5d2f5
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3292 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-12 16:02:13 +00:00
sjfink
4472b30826
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3279 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-11 17:44:29 +00:00
sjfink
f63e374a4b
more IllegalArgumentExceptions. a few small bug fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3278 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-11 16:57:32 +00:00
sjfink
4d1f7ab35f
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3272 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-10 21:18:07 +00:00
sjfink
9e87c27c3f
bug fix for call flow
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3240 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-26 16:17:19 +00:00
dolby-oss
b61135c8be
adapt to Shrike changes: divorce SSAInstruction from the Shrike Instruction, which requires adding a type parameter to ControlFlowGraph and propagating that change. Also, stop using the JVML opcode in a few places where it was (unnecessarily) being used.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 15:58:31 +00:00
sjfink
c186b63222
add anyRelated() method to IBinaryNaturalRelation. use to optimize getResult() in LocalPathEdges
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3153 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-29 17:20:51 +00:00
sjfink
03d8a932b5
fix a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3147 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-18 23:35:29 +00:00
sjfink
4c9e08f139
a little tuning for partially balanced tabulation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3146 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-18 23:30:39 +00:00
sjfink
8fe8418b3f
bug fix for recursion
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3130 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 09:44:41 +00:00
sjfink
04de4843ce
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-05 22:00:28 +00:00
sjfink
b4b821ef1e
bug fix in getResult() for seeds which are not entries
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3122 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-05 18:04:03 +00:00