Displaying 1 result from an estimated 1 matches for "unrelatedtoa".
2017 Apr 26
2
Contributing a new sanitizer for pointer casts
Hi Vedant,
> I enjoyed reading through your EuroLLVM slides and OOPSLA paper.
> Detecting the creation of contract-violating pointers is an
> interesting idea, and your paper demonstrates that the checking can
> be comprehensive and effective.
Glad you enjoyed them. :-)
> However, I have concerns about the quality of diagnostics, the
> complexity of the driver, and about