Julian Dolby
|
c179b02238
|
split constructor logic out of target selector, so that it can be reused
more flexibly in the field-based builders
|
2014-05-28 13:35:11 -04:00 |
Manu Sridharan
|
3b1889121b
|
add missing copyright headers
|
2013-05-22 15:39:19 -07:00 |
msridhar1
|
1eb7236267
|
use a CallStringContext when hitting the recursion bound with constructors
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4499 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:23:57 +00:00 |
msridhar1
|
965896c210
|
add general recursion bounding via an additional context selector. Also, completely eliminate dependence on contexts for correct pointer analysis with new lexical scheme.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-02-17 20:23:21 +00:00 |