S
static analysis
Projects with this topic
-
Performs interprocedural and intraprocedural PointsTo analysis on static Java methods using a bounded call string approach.
Updated
Performs interprocedural and intraprocedural PointsTo analysis on static Java methods using a bounded call string approach.