CROSSINGTUD / SPDS

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

#58 The forward analysis must not kill at call flows #59

Closed johspaeth closed 5 years ago