News for hackers. Stuff that matters.

A comment on Control-Flow Integrity in V8. Parent comment

Re:Control-Flow Integrity in V8 by nextaccountic on Monday October 09, 2023 @05:25PM (#37825716)
Okay, but in this case software verification like with Coq or F* could help
[ Parent | on HN ]
Re:Control-Flow Integrity in V8 by hovav on Monday October 09, 2023 @06:43PM (#37826374)
Yes! See, e.g., Fraser Brown et al., "Towards a Verified Range Analysis for JavaScript JITs," in proc. PLDI 2020, https://www.cs.utexas.edu/~hovav/dist/vera.pdf
[ Parent | on HN ]