CROSSINGTUD / SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework
Eclipse Public License 2.0
41 stars 37 forks source link

Kill flow at call site is incorrect #58

Closed johspaeth closed 5 years ago

johspaeth commented 5 years ago

The analysis prevents the data-flow of a to flow into foo at such statements: a = a.foo();