Interprocedural Sparse Conditional Type Propagation
PaulHoule
railsatscale.com
railsatscale.com70 points11 comments
We prototyped an interprocedural static analysis tool using sparse conditional constant propagation.
railsatscale.comWe prototyped an interprocedural static analysis tool using sparse conditional constant propagation.