Extending Dynamic Constraint Detection with Polymorphic Analysis | IEEE Conference Publication | IEEE Xplore